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
2 CRAN - Centre de Recherche en Automatique de Nancy
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.
Keywords : méthode formelle Formal method control engineering contrôle vérification
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00098619
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:04:01 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • HAL Id : inria-00098619, version 1

Collections

INRIA | CRAN | CNRS | UNIV-LORRAINE | LORIA

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

153

 

Contact                    Legal Notice                    Personal Data