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.
Type de document :
Communication dans un congrès
9th symposium on information control problems in manufacturing Advances in Industrial Engineering - INCOM'98, 1998, Nancy/France, ELSEVIER, 6 p, 1998, IFAC
Liste complète des métadonnées

https://hal.inria.fr/inria-00098619
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:04:01
Dernière modification le : jeudi 11 janvier 2018 - 06:21:04

Identifiants

  • HAL Id : inria-00098619, version 1

Collections

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, ELSEVIER, 6 p, 1998, IFAC. 〈inria-00098619〉

Partager

Métriques

Consultations de la notice

93