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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01929259
Contributor : Arnaud Lanoix <>
Submitted on : Wednesday, November 21, 2018 - 10:36:12 AM
Last modification on : Tuesday, March 26, 2019 - 9:25:22 AM
Document(s) archivé(s) le : Friday, February 22, 2019 - 1:52:18 PM

File

aal-remedy2018-soumis.pdf
Files produced by the author(s)

Identifiers

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. https://link.springer.com/chapter/10.1007%2F978-3-030-02852-7_18, ⟨10.1007/978-3-030-02852-7_18⟩. ⟨hal-01929259⟩

Share

Metrics

Record views

72

Files downloads

26