Reactive control of adaptive embedded systems

Eric Rutten 1
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Embedded systems have to be adaptive and perform reconfigurations in reaction to environment changes, related to resources or dependability. The management of this dynamical adaptivity, as in autonomic systems, can be seen as a control loop, on continuous or discrete criteria. Embedded systems are also safety-critical, and must be statically checkable for predictability. Formal techniques provide support for specification, validation and verification. E.g., the reactive systems approach exploits models and automated tools based on state machines. This position paper aims at drawing the attention towards the potential of discrete controller synthesis (DCS) techniques, and programming languages and analysis and synthesis tools to support them. We base our position on previous work and draw directions towards the model-based control of adaptive systems.
Document type :
Reports
Liste complète des métadonnées

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/inria-00308660
Contributor : Éric Rutten <>
Submitted on : Friday, August 1, 2008 - 10:13:58 AM
Last modification on : Tuesday, April 2, 2019 - 1:48:06 AM
Document(s) archivé(s) le : Tuesday, September 21, 2010 - 5:37:26 PM

File

RR-6604.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00308660, version 2

Collections

Citation

Eric Rutten. Reactive control of adaptive embedded systems. [Research Report] RR-6604, INRIA. 2008, pp.20. 〈inria-00308660v2〉

Share

Metrics

Record views

322

Files downloads

227