Algebraic approach for dependable logic control systems design
Résumé
This article presents a formal method that enables to design a logic control system from specifications given in natural language. The aim of the proposed method is to prevent designer's faults coming from specifications misinterpretation. A significant part of the article is devoted to the presentation of the formal framework that underlies this formal design method: the algebra II. The operations and relations on this algebra allow to state formally specifications of a logic control system and to detect inconsistencies in a specifications set. This inconsistency problem is solved by introducing priority levels. From the consistent set of specifications obtained, control laws can be generated by using theorems and properties of the algebra II. An application of this formal design method to an industrial example permits to illustrate its main advantages.
Domaines
Automatique / Robotique
Origine : Fichiers produits par l'(les) auteur(s)
Loading...