Skip to Main content Skip to Navigation
Conference papers

Formal engineering methods for modelling and verification of control systems

Dominique Méry 1 Jean-François Pétin 2
1 MODEL - MODEL (Méthodes formelles et applications)
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:04:01 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM


  • HAL Id : inria-00098619, version 1



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, 6 p. ⟨inria-00098619⟩



Record views