A Case Study on Controller Synthesis for Data-Intensive Embedded Systems

Abdoulaye Gamatié 1 Huafeng Yu 1 Gwenaël Delaval 2 Éric Rutten 2
1 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
2 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This paper presents an approach for the safe design of data-intensive embedded systems. A multimedia application module of last generation cellular phones is considered as a case study. The OMG standard profile MARTE is used to adequately model the application. The resulting model is then transformed into a synchronous program from which a controller is synthesized by using a formal technique, in order to enforce the safe behavior of the modeled application while meeting quality of service requirements. The whole study is carried out in a design framework, GASPARD, dedicated to high-performance embedded systems.
Type de document :
Communication dans un congrès
International Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, 2009, <10.1109/ICESS.2009.12>
Liste complète des métadonnées

https://hal.inria.fr/hal-00838928
Contributeur : Mister Dart <>
Soumis le : mercredi 26 juin 2013 - 17:35:07
Dernière modification le : vendredi 3 juin 2016 - 01:06:25

Identifiants

Collections

Citation

Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten. A Case Study on Controller Synthesis for Data-Intensive Embedded Systems. International Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, 2009, <10.1109/ICESS.2009.12>. <hal-00838928>

Partager

Métriques

Consultations de la notice

235