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 :
Rapport
[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

https://hal.inria.fr/inria-00308660
Contributeur : Eric Rutten <>
Soumis le : vendredi 1 août 2008 - 10:13:58
Dernière modification le : samedi 17 septembre 2016 - 01:38:18
Document(s) archivé(s) le : mardi 21 septembre 2010 - 17:37:26

Fichier

RR-6604.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00308660, version 2

Collections

Citation

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

Partager

Métriques

Consultations de
la notice

265

Téléchargements du document

112