Geodesic
A Tool-assisted Method for the Systematic Construction of Critical Embedded Systems using Event-B
Computer Science and Information Systems, Tome 17 (2020) no. 1.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

Embedded control systems combine digital and physical components, leading to complex interactions and even complexity of their development. In [4] we proposed a method to build such complex systems in a systematic way. The overall method starts from an abstract model of the physical environment of the considered system and its controller. The method consists in a sequence of refinement steps, in the spirit of Event-B, that gradually introduces design details from an abstract level, until more concrete levels. Two main refinement processes are distinguished: one to capture the global model, the other to detail it; we provide through the method the guidelines to accompany these two refinement processes. But there were a lack of assistance tools. The designers need to be assisted by tools to guide them, to automate partially the refinements and to help in proving more easily model properties. We illustrate the method with the landing gear system case study and choosing the Event-B tool Rodin for illustration; we make it explicit the tools requirements for such a general method and, we introduce a tool support to assist the user in applying the method in combination with standard Event-B tool such as Rodin
Keywords: Embedded control systems; Modelling method; Event-B patterns; Tool 
@article{CSIS_2020_17_1_a16,
     author = {Pascal Andr\'e and Christian Attiogb\'e and Arnaud Lanoix},
     title = {A {Tool-assisted} {Method} for the {Systematic} {Construction} of {Critical} {Embedded} {Systems} using {Event-B}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {17},
     number = {1},
     year = {2020},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a16/}
}
TY  - JOUR
AU  - Pascal André
AU  - Christian Attiogbé
AU  - Arnaud Lanoix
TI  - A Tool-assisted Method for the Systematic Construction of Critical Embedded Systems using Event-B
JO  - Computer Science and Information Systems
PY  - 2020
VL  - 17
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a16/
ID  - CSIS_2020_17_1_a16
ER  - 
%0 Journal Article
%A Pascal André
%A Christian Attiogbé
%A Arnaud Lanoix
%T A Tool-assisted Method for the Systematic Construction of Critical Embedded Systems using Event-B
%J Computer Science and Information Systems
%D 2020
%V 17
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a16/
%F CSIS_2020_17_1_a16
Pascal André; Christian Attiogbé; Arnaud Lanoix. A Tool-assisted Method for the Systematic Construction of Critical Embedded Systems using Event-B. Computer Science and Information Systems, Tome 17 (2020) no. 1. http://geodesic.mathdoc.fr/item/CSIS_2020_17_1_a16/