Paper Info
Title
Adaptivity in high-performance embedded systems: a reactive control model for reliable and flexible design.
Abstract
System adaptivity is increasingly demanded in high-performance embedded systems, particularly in multimedia system-on-chip (SoC), owing to growing quality-of-service requirements. This paper presents a reactive control model that has been introduced in Gaspard, our framework dedicated to SoC hardware/software co-design. This model aims at expressing adaptivity as well as reconfigurability in systems performing data-intensive computations. It is generic enough to be used for description in the different parts of an embedded system, for example, specification of how different data-intensive algorithms can be chosen according to some computation modes at the functional level; and expression of how hardware components can be selected via the usage of a library of intellectual properties according to execution performances. The transformation of this model toward synchronous languages is also presented, in order to allow an automatic code generation usable for formal verification, based on techniques such as model checking and controller synthesis, as illustrated in the paper. This work, based on Model-Driven Engineering and the standard UML MARTE profile, has been implemented in Gaspard.
Year
DOI
Venue
2014
10.1017/S0269888914000150
KNOWLEDGE ENGINEERING REVIEW
Field
DocType
Volume
USable,Control theory,Model checking,Computer science,Quality of service,Code generation,Software,Reactive control,Computation,Embedded system
Journal
29
Issue
ISSN
Citations 
SP4.0
0269-8889
0
PageRank 
References 
Authors
0.34
14
4
Name
Order
Citations
PageRank
Huafeng Yu1725.70
Abdoulaye Gamatié225130.18
Éric Rutten325530.50
Jean-luc Dekeyser443353.54