Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design

Huafeng Yu 1 Abdoulaye Gamatié 2, 3 Eric Rutten 4 Jean-Luc Dekeyser 2, 3
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
4 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : System adaptivity is increasingly demanded in high-performance embedded systems, particularly in multimedia System-on-Chip (SoC), due 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, e.g. specification of how different data-intensive algorithms can be chosen according to some computation modes at the functional level; expression of how hardware components can be selected via the usage of a library of Intellectual Properties (IPs) according to execution performances. The transformation of this model towards synchronous languages is also presented, in order to allow an automatic code generation usable for formal verification, based of 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.
Complete list of metadatas

Cited literature [32 references]  Display  Hide  Download

https://hal.inria.fr/inria-00536883
Contributor : Yu Huafeng <>
Submitted on : Thursday, November 18, 2010 - 5:08:03 PM
Last modification on : Tuesday, April 2, 2019 - 1:48:00 AM
Long-term archiving on : Saturday, February 19, 2011 - 2:51:21 AM

File

ker10-yu-hal.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00536883, version 1

Citation

Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Jean-Luc Dekeyser. Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design. Knowledge Engineering Review, Cambridge University Press (CUP), 2010, 21 p. ⟨inria-00536883⟩

Share

Metrics

Record views

831

Files downloads

422