Paper Info
Title
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.
Year
DOI
Venue
2009
10.1109/ICESS.2009.12
Zhejiang
Keywords
Field
DocType
whole study,safe design,data-intensive embedded system,omg standard profile,high-performance embedded system,multimedia application module,design framework,case study,safe behavior,resulting model,controller synthesis,automata,embedded systems,quality of service,computational modeling,automatic control,model driven engineering,embedded system,unified modeling language,embedded software
Control theory,Design framework,Embedded software,Unified Modeling Language,Computer science,Model-driven architecture,Automaton,Quality of service,Real-time computing,Automatic control,Embedded system
Conference
ISSN
ISBN
Citations 
2576-3504
978-1-4244-4359-8
11
PageRank 
References 
Authors
0.79
12
4
Name
Order
Citations
PageRank
Abdoulaye Gamatié125130.18
Huafeng Yu2725.70
Gwenaël Delaval3968.86
Éric Rutten425530.50