Unités

Méthodes formelles et vérification

Responsable d'Unité : Oui

Le service méthodes formelles et vérification consacre ses efforts de recherche et d'enseignement aux méthodes rigoureuses et automatiques qui permettent de concevoir des systèmes informatiques fiables. Ces méthodes trouvent des applications naturelles dans la conception de systèmes informatiques critiques, comme les systèmes de contrôle embarqués dans les moyens de transport (métros, avions, voiture), les systèmes de contrôle de production (dans un cadre industriel), etc.

Projets

GASICS: théorie des jeux pour l'analyse et la synthèse de systèmes informatiques interactifs

Le projet GASICS étudie les formalisations à l'aide de la théorie des jeux des systèmes informatiques interactifs, et développe des algorithmes pour les analyser et les synthétiser. Le but de projet est d'étendre la théorie classique des jeux joués sur des graphes à deux joueurs et à somme nulle, à des cas à plusieurs joueurs et à somme non-nulle. Le projet vise également à montrer l'applicabilité de ces nouvelles théories à l'analyse et à la synthèse de systèmes informatiques interactifs.      Voir: http://www.ulb.ac.be/di/gasics/

ARTIST 2

Artist 2 est un réseau d'excellence du 6ème programme cadre de l'Union Européenne sur le développement fiable de systèmes embarqués.  Nous participons plus particulièrement au cluster ''Test and Verification of Embedded Systems'' du NoE. Voir http://www.artist-embedded.org/artist/

Quasimodo: Propriétés quantitatives des systèmes dans la conception de systèmes embarqués à partir de modèles

Le but de Quasimodo est le développement de nouvelles techniques et de nouveaux outils pour la conception, l'analyse, le test et la génération de code à base de modèles dans le cadre des systèmes embarqués pour lesquels il est important de pouvoir assurer des bornes sur la consommation des ressources.      Voir: http://www.quasimodo.aau.dk/

MOVES: modélisation, vérification et évolution de logiciel

Voir http://moves.vub.ac.be/

Centre Fédéré en Vérification

Le Centre Fédéré en Vérification est un groupe de travail qui regroupe les équipes de recherche actives en vérification assistée par ordinateur en Communauté Wallonie-Bruxelles de Belgique. Il existe depuis 1999 et est financé par le Fonds National de la Recherche Scientifique Belge (convention FRFC n° 2.4530.02) depuis 2002. Le groupe de travail organise des séminaires et donne un cadre officiel aux collaborations de recherche entre les différentes équipes qui le composent. Voir http://www.ulb.ac.be/di/ssd/cfv/