Systematic Construction of Critical Embedded Systems Using Event-B

Abstract : We propose a method to build critical embedded control systems in a systematic way. The method covers the modelling of both the digital part and the physical environment of a considered system, and their refinement until more concrete levels. It is based on Event-B in order to benefit from its materials, step-wise refinements and tools. Two main processes are distinguished: one to capture the global model, the other to detail the global model; they are made of several refinement steps which are accompanied with guidelines. The precise description of the interface between the digital and physical parts is used to start the modelling process. The recurrent categories of variables and events in control systems are described and used as guidelines to conduct a systematic construction. We illustrate the method with the landing gear system case study.
Type de document :
Communication dans un congrès
New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. LNCS, Communications in Computer and Information Science, 1 (929), https://link.springer.com/chapter/10.1007%2F978-3-030-02852-7_18, 2018, New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY. 〈10.1007/978-3-030-02852-7_18〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01929259
Contributeur : Arnaud Lanoix <>
Soumis le : mercredi 21 novembre 2018 - 10:36:12
Dernière modification le : mardi 4 décembre 2018 - 17:50:39

Fichier

aal-remedy2018-soumis.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Pascal Andre, Christian Attiogbé, Arnaud Lanoix. Systematic Construction of Critical Embedded Systems Using Event-B. New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. LNCS, Communications in Computer and Information Science, 1 (929), https://link.springer.com/chapter/10.1007%2F978-3-030-02852-7_18, 2018, New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY. 〈10.1007/978-3-030-02852-7_18〉. 〈hal-01929259〉

Partager

Métriques

Consultations de la notice

29

Téléchargements de fichiers

6