Inventaire


Site en anglais

Superviseurs corrects, efficaces et robustes

Unité : Méthodes formelles et vérification | ULB512



Description :


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é. 

Liste des responsables :


  • MASSART Thierry


Liste des bailleurs :


  • Entreprises privées