Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Éric Rutten Connect in order to contact the contributor
Submitted on : Friday, August 1, 2008 - 10:13:58 AM
Last modification on : Wednesday, July 6, 2022 - 4:17:38 AM
Long-term archiving on: : Tuesday, September 21, 2010 - 5:37:26 PM


Files produced by the author(s)


  • HAL Id : inria-00308660, version 2



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



Record views


Files downloads