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.
Type de document :
Communication dans un congrès
2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED2011), Mar 2011, France. pp.00 -- 00, 2011
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00903734
Contributeur : Abdoulaye Gamatié <>
Soumis le : mardi 12 novembre 2013 - 22:18:12
Dernière modification le : vendredi 3 juin 2016 - 01:05:08
Document(s) archivé(s) le : jeudi 13 février 2014 - 12:45:17

Fichier

mbed.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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, 2011. 〈hal-00903734〉

Partager

Métriques

Consultations de
la notice

280

Téléchargements du document

163