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.
Document type :
Conference papers
Complete list of metadata
Contributor : Arnaud Lanoix Connect in order to contact the contributor
Submitted on : Wednesday, November 21, 2018 - 10:36:12 AM
Last modification on : Friday, August 5, 2022 - 2:54:51 PM
Long-term archiving on: : Friday, February 22, 2019 - 1:52:18 PM


Files produced by the author(s)



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⟩



Record views


Files downloads