A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems
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
doi:10.1109/icess.2009.12
dblp:conf/icess/GamatieYDR09
fatcat:6ipraialmzgtthzntc6pzxzhii