A tool-assisted method for the systematic construction of critical embedded systems using Event-B - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Computer Science and Information Systems Année : 2019

A tool-assisted method for the systematic construction of critical embedded systems using Event-B

Résumé

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.
Fichier principal
Vignette du fichier
csisn49p315-338.pdf (582.78 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-02468473 , version 1 (12-07-2024)

Identifiants

Citer

Pascal Andre, Christian Attiogbé, Arnaud Lanoix. A tool-assisted method for the systematic construction of critical embedded systems using Event-B. Computer Science and Information Systems, 2019, 17 (1), pp.315-338. ⟨10.2298/CSIS190501042A⟩. ⟨hal-02468473⟩
29 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More