Skip to Main content Skip to Navigation

Combinaison de méthodes formelles pour la spécification de systèmes industriels

Abstract : Specifying industrial systems requires collaboration between an engineer that knows how the system works and an engineer that know the specification language. Graphical specification languages can help this collaboration. In this PhD Thesis a method is defined that combines ASTD (Algebraic State Transition Diagram), a formal graphical notation, with B and Event-B langagues. The ordering of actions is specified using ASTD and the data model is specified using Event-B. B specification is used to verify the consistency of the model : Event-B events have to be executed when the corresponding transitions have to be executed. A combined refinement allows to incrementaly design the system
Complete list of metadata

Cited literature [36 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Monday, March 26, 2018 - 5:05:39 PM
Last modification on : Wednesday, March 31, 2021 - 3:15:05 AM
Long-term archiving on: : Thursday, September 13, 2018 - 8:28:02 AM


Version validated by the jury (STAR)


  • HAL Id : tel-01743832, version 1



Thomas Fayolle. Combinaison de méthodes formelles pour la spécification de systèmes industriels. Algorithme et structure de données [cs.DS]. Université Paris-Est; Université de Sherbrooke (Québec, Canada), 2017. Français. ⟨NNT : 2017PESC1078⟩. ⟨tel-01743832⟩



Record views


Files downloads