Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Mister Dart Connect in order to contact the contributor
Submitted on : Wednesday, June 26, 2013 - 5:35:07 PM
Last modification on : Tuesday, July 26, 2022 - 3:49:27 AM



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, ⟨10.1109/ICESS.2009.12⟩. ⟨hal-00838928⟩



Record views