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

Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten
2009 2009 International Conference on Embedded Software and Systems  
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
more » ... rements. The whole study is carried out in a design framework, GASPARD, dedicated to high-performance embedded systems.
doi:10.1109/icess.2009.12 dblp:conf/icess/GamatieYDR09 fatcat:6ipraialmzgtthzntc6pzxzhii