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
Inria Grenoble - Rhône-Alpes, CNRS - Centre National de la Recherche Scientifique : FR71
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : 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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00903734
Contributor : Abdoulaye Gamatié <>
Submitted on : Tuesday, November 12, 2013 - 10:18:12 PM
Last modification on : Friday, February 22, 2019 - 1:24:57 AM
Document(s) archivé(s) le : Thursday, February 13, 2014 - 12:45:17 PM

File

mbed.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00903734, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

337

Files downloads

223