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

Superviseurs corrects, efficaces et robustes

La mise au point d'un environnement de conception de logiciels de superviseurs et de contrôleurs industriels distribués conduit à de nombreux problèmes intéressants, en particulier la définition d'outils de distribution automatique de code et de modules de validation de ces logiciels pour augmenter leur fiabilité.

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

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