Safe Design of Dynamically Reconfigurable Embedded Systems

Xin An (1) , Abdoulaye Gamatié (2) , Eric Rutten (1)

1 SARDES - System architecture for reflective distributed computing environments
2 DART - Contributions of the Data parallelism to real time

Dynamically reconfigurable embedded systems are more and more attractive with the high need to adapt embedded systems regarding frequent environment changes, better execution performances and lower energy consumption. This paper presents an approach for the safe design of these systems. The UML standard MARTE profile is adopted for the design. The resulting models are transformed into formal models (e.g. synchronous programs), by means of which, two levels of analysis are carried out: the system configuration analysis concerning their functional and nonfunctional properties by applying an abstract clock analysis, and the synthesis of a correct controller for system reconfiguration by using discrete controller synthesis to enforce the desired behaviors, and decide and trigger reconfigurations. At last a case study is provided to illustrate our approach. This study is achieved in a co-design framework, referred to as GASPARD2.

Domaines: Systèmes embarqués

Xin An, Abdoulaye Gamatié, Eric Rutten. Safe Design of Dynamically Reconfigurable Embedded Systems. 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED2011), Mar 2011, France. pp.00 -- 00. ⟨hal-00903734⟩