page d'accueil   sommaire  

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



responsable


Thierry MASSART


équipe


Christian HERNALSTEEN Gabriel KALYON SHIRMOHAMMADI MAHSA Jean-François RASKIN


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