Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01929259
Contributor : Arnaud Lanoix <>
Submitted on : Wednesday, November 21, 2018 - 10:36:12 AM
Last modification on : Thursday, February 27, 2020 - 1:15:01 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

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. ⟨10.1007/978-3-030-02852-7_18⟩. ⟨hal-01929259⟩

Share

Metrics

Record views

149

Files downloads

207