Abstract : This paper highlights the benefits of formal methods to improve the quality and efficiency of process control engineering, according to two key aspects: the definition of a formal engineering framework which allows the re-usability of specifications at a high level of abstraction and the ability to prove some properties of the process control models. An introductory example presents a formal structuring framework using the B method and highlights the main temporal requirements for modelling and proving control systems in this framework. Taking into account these temporal modalities requires an extension of the B model. An attempt using \textsc{TLA} is suggested and discussed.
9th symposium on information control problems in manufacturing Advances in Industrial Engineering - INCOM'98, 1998, Nancy/France, ELSEVIER, 6 p, 1998, IFAC
https://hal.inria.fr/inria-00098619
Contributeur : Publications Loria
<>
Soumis le : lundi 25 septembre 2006 - 17:04:01
Dernière modification le : mardi 24 avril 2018 - 13:34:44
Dominique Méry, Jean-François Pétin. Formal engineering methods for modelling and verification of control systems. 9th symposium on information control problems in manufacturing Advances in Industrial Engineering - INCOM'98, 1998, Nancy/France, ELSEVIER, 6 p, 1998, IFAC. 〈inria-00098619〉
