A Case Study on Controller Synthesis for Data-Intensive Embedded Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

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

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.
No file

Dates and versions

hal-00838928 , version 1 (26-06-2013)

Identifiers

Cite

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⟩
138 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More