Reactive control of adaptive embedded systems

Éric 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.
Type de document :
[Research Report] RR-6604, INRIA. 2008, pp.20
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger
Contributeur : Eric Rutten <>
Soumis le : vendredi 1 août 2008 - 10:13:58
Dernière modification le : jeudi 11 octobre 2018 - 08:48:03
Document(s) archivé(s) le : mardi 21 septembre 2010 - 17:37:26


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00308660, version 2



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



Consultations de la notice


Téléchargements de fichiers