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 metadatas

Cited literature [36 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01743832
Contributor : Abes Star <>
Submitted on : Monday, March 26, 2018 - 5:05:39 PM
Last modification on : Wednesday, September 4, 2019 - 1:52:18 PM
Long-term archiving on : Thursday, September 13, 2018 - 8:28:02 AM

File

TH2017PESC1078.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01743832, version 1

Collections

Citation

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, 2017. Français. ⟨NNT : 2017PESC1078⟩. ⟨tel-01743832⟩

Share

Metrics

Record views

181

Files downloads

937