Reactive control of adaptive embedded systems: a position paper

ABSTRACT

Embedded systems have to perform reconfigurations in reaction to environment changes, related to resources or dependability. Managing this dynamical adaptivity, as in autonomic systems, is a control loop, on continuous or discrete criteria. Embedded systems are also safety-critical, and must be statically checkable for predictability, using formal techniques, e.g., the reactive systems approach based on state machines. We aim at drawing attention towards discrete controller synthesis (DCS) techniques, and tools to support them, based on previous work, and draw directions towards the model-based control of adaptive systems.

REFERENCES

• 1: K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten. Using controller-synthesis techniques to build property-enforcing layers. In Proc. ESOP'03, April 7--11, 2003, Warsaw, Poland, 2003. LNCS nr. 2618.
• 2: A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages twelve years later. Proc. IEEE, 91(1), 2003.
• 3: J. Buisson, F. André, and J.-L. Pazat. A framework for dynamic adaptation of parallel components. In ParCo 2005, Málaga, Spain, 13--16 September 2005.
• 4: G. Delaval and E. Rutten. A domain-specific language for multi-task systems, applying discrete controller synthesis. J. on Embedded Systems, 2007(84192):17, Jan. 2007. www.hindawi.com/journals/es.
• 5: Jeffrey O. Kephart , David M. Chess, The Vision of Autonomic Computing, Computer, v.36 n.1, p.41-50, January 2003 [doi>10.1109/MC.2003.1160055]
• 6: S. Krakowiak. Middleware Architecture with Patterns and Frameworks. electronic book, 2007. sardes.inrialpes.fr/~krakowia/MW-Book.
• 7: Hervé Marchand , Patricia Bournai , Michel Le Borgne , Paul Le Guernic, Synthesis of Discrete-Event Controllers Based on the SignalEnvironment, Discrete Event Dynamic Systems, v.10 n.4, p.325-346, October 2000 [doi>10.1023/A:1008311720696]
• 8: E. Rutten. Reactive control of adaptive embedded systems. Rapport de Recherche 6604, INRIA, July 2008. hal.inria.fr/inria-00308660.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: State diagrams; Computer-aided software engineering (CASE)

Keywords:
behavior enforcement, control of adaptation, discrete control theory, self-configuration