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
Type de document :
Thèse
Algorithme et structure de données [cs.DS]. Université Paris-Est, 2017. Français. 〈NNT : 2017PESC1078〉
Liste complète des métadonnées

Littérature citée [36 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01743832
Contributeur : Abes Star <>
Soumis le : lundi 26 mars 2018 - 17:05:39
Dernière modification le : mardi 3 avril 2018 - 11:03:07
Document(s) archivé(s) le : jeudi 13 septembre 2018 - 08:28:02

Fichier

TH2017PESC1078.pdf
Version validée par le jury (STAR)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

130

Téléchargements de fichiers

400