Skip to Main content Skip to Navigation
Theses

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

Résumé : La spécification d’un système industriel nécessite la collaboration d’un ingénieur connaissant le système à modéliser et d’un ingénieur connaissant le langage de modélisation. L'utilisation d'un langage de spécification graphique, tel que les ASTD (Algebraic State Transition Diagram), permet de faciliter cette collaboration. Dans cette thèse, nous définissons une méthode de spécification graphique et formelle qui combine les ASTD avec les langages Event-B et B. L’ordonnancement des actions de la spécification est décrit par les ASTD et le modèle de données est décrit dans la spécification Event-B. La spécification B permet de vérifier la cohérence du modèle : les événements Event-B doivent pouvoir être exécutés lorsque les transitions associées doivent l’être. Un raffinement combiné des ASTD et d’Event-B permet la spécification incrémental du système. Afin de valider son apport, la méthode de spécification a été utilisée pour la spécification de cas d’études
Complete list of metadatas

Cited literature [36 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01743832
Contributor : Abes Star :  Contact
Submitted on : Monday, March 26, 2018 - 5:05:39 PM
Last modification on : Friday, October 4, 2019 - 1:13:02 AM
Document(s) archivé(s) le : 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

241

Files downloads

1583