Reactive control of adaptive embedded systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2008

Reactive control of adaptive embedded systems


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.
Fichier principal
Vignette du fichier
RR-6604.pdf (293 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00308660 , version 1 (31-07-2008)
inria-00308660 , version 2 (01-08-2008)


  • HAL Id : inria-00308660 , version 2


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


Gmail Facebook X LinkedIn More