Advertisement

Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model

  • Gwenaël Delaval
  • Eric Rutten
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6092)

Abstract

We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce safety properties on the interactions between components, concerning, e.g., mutual exclusions, forbidden or imposed sequences. We use a reactive programming language, with a new mechanism of behavioural contracts. Its compilation involves discrete controller synthesis, which automatically generates the correct adaptation controllers. We apply our approach to the problem of adaptive ressource management, illustrated by the example of a HTTP server.

Keywords

adaptive systems reconfiguration control components contracts model-based approach reactive programming discrete controller synthesis resource management 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aboubekr, S., Delaval, G., Rutten, E.: A programming language for adaptation control: Case study. In: Proc. of the 2nd Workshop on Adaptive and Reconfigurable Embedded Systems, APRES 2009 (2009)Google Scholar
  2. 2.
    Barros, T., Ameur-Boulifa, R., Cansado, A., Henrio, L., Madelaine, E.: Behavioural models for distributed fractal components. Annals of Telecommunications 64(1), 25–43 (2009)CrossRefGoogle Scholar
  3. 3.
    Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages twelve years later. Proc. of the IEEE 91(1) (January 2003)Google Scholar
  4. 4.
    Bruneton, E., Coupaye, T., Leclercq, M., Quema, V., Stefani, J.-B.: The fractal component model and its support in java. Software – Practice and Experience (SP&E) 36(11-12) (September 2006)Google Scholar
  5. 5.
    Buisson, J., André, F., Pazat, J.-L.: A framework for dynamic adaptation of parallel components. In: ParCo 2005, Málaga, Spain, September 13-16 (2005)Google Scholar
  6. 6.
    Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Acad. Publ., Dordrecht (1999)zbMATHGoogle Scholar
  7. 7.
    Chauvel, F., Barais, O., Borne, I., Jézéquel, J.-M.: Composition of Qualitative Adaptation Policies. In: 23rd IEEE/ACM Int. Conf. on Automated Software Engineering - ASE 2008, L’Aquila, Italy (September 2008)Google Scholar
  8. 8.
    Colaço, J.-L., Pagano, B., Pouzet, M.: A Conservative Extension of Synchronous Data-flow with State Machines. In: ACM Int. Conf. on Embedded Software (EMSOFT 2005) (September 2005)Google Scholar
  9. 9.
    David, P.-C., Ledoux, T., Léger, M., Coupaye, T.: FPath and FScript: Language support for navigation and reliable reconfiguration of fractal architectures. Annals of Telecommunications 64(1), 45–63 (2009)CrossRefGoogle Scholar
  10. 10.
    Delaval, G., Marchand, H., Rutten, E.: Contracts for modular discrete controller synthesis. In: Proc. of the ACM Conf. on Languages, Compilers and Tools for Embedded Systems, LCTES (2010), http://hal.inria.fr/inria-00436560
  11. 11.
    Delaval, G., Rutten, E.: A domain-specific language for multi-task systems, applying discrete controller synthesis. J. on Embedded Systems (2007), http://dx.doi.org/10.1155/2007/84192
  12. 12.
    Girault, A., Rutten, E.: Automating the addition of fault tolerance with discrete controller synthesis. Int. J. on Formal Methods in System Design 35(2) (October 2009), http://dx.doi.org/10.1007/s10703-009-0084-y
  13. 13.
    Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Trans. Softw. Eng. Meth. 5(4) (1996)Google Scholar
  14. 14.
    Hellerstein, J., Diao, Y., Parekh, S., Tilbury, D.: Feedback Control of Computing Systems. Wiley-IEEE (2004)Google Scholar
  15. 15.
    Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer 36(1) (2003)Google Scholar
  16. 16.
    Krakowiak, S.: Middleware Architecture with Patterns and Frameworks, ch. 10. Electronic book (2009), http://sardes.inrialpes.fr/~krakowia/MW-Book
  17. 17.
    Lee, C., Lehoczky, J., Siewiorek, D., Rajkumar, R., Hansen, J.: A scalable solution to the multi-resource qos problem. In: RTSS 1999: Proc. of the 20th IEEE Real-Time Systems Symposium, Washington, DC, USA, p. 315 (1999)Google Scholar
  18. 18.
    Marchand, H., Bournai, P., Le Borgne, M., Le Guernic, P.: Synthesis of discrete-event controllers based on the Signal environment. Discrete Event Dynamic System: Theory and Applications 10(4) (October 2000)Google Scholar
  19. 19.
    Marchand, H., Rutten, E.: Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis. In: Proc. of the 14th Euromicro Conf. on Real-Time Systems, ECRTS 2002 (2002)Google Scholar
  20. 20.
    Poulhiès, M., Pulou, J., Sifakis, J.: Buzz: analyzable embedded component-based software. In: Workshop on Component Models for Embedded Systems (COMES), Sweden (June 2008)Google Scholar
  21. 21.
    Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM J. on Control and Optimization 25(1), 206–230 (1987)zbMATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Esterel tech. Scade: model-based development environment dedicated to safety-critical embedded software (2010), http://www.esterel-technologies.com/
  23. 23.
    Wang, Y., Lafortune, S., Kelly, T., Kudlur, M., Mahlke, S.: The Theory of Deadlock Avoidance via Discrete Control. In: ACM Symp. on Principles of Programming Languages (POPL 2009) (January 2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Gwenaël Delaval
    • 1
  • Eric Rutten
    • 1
  1. 1.INRIA / LIGGrenobleFrance

Personalised recommendations