page d'accueil   sommaire  

Christian HERNALSTEEN


coordonnées


Faculté des Sciences
Christian HERNALSTEEN
fax 02 650 56 09, Christian.Hernalsteen@ulb.ac.be
Campus de la Plaine
CP*, boulevard du Triomphe, 1050 Bruxelles



unités de recherche


Méthodes formelles et vérification [Verification and formal methods] (Verif)



projets


Superviseurs corrects, efficaces et robustes [Correct, efficient and robust controllers]
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é. [The elaboration of a framework for the development of distributed industrial supervisors and controllers leads to interesting problems, in particular to tools for the automatic distribution of codes and validation modules to improve their robustness.]



theses


Hernalsteen, C. (1998), ''Specification, Validation and Verification of Real-Time Systems in ET-LOTOS'', Dir. Prof. T. Massart, Département d'Informatique, ULB, Bruxelles., 1998



disciplines et mots clés déclarés


Analyse de systèmes informatiques Informatique appliquée logiciel Informatique générale

contrôle distribué distribution de code temps-réel