Using model-driven engineering to generate QoS monitors from a formal specification

Proceedings - 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops, EDOCW2006

Volumn , Issue , 2006, Pages

  Saudrais, Sébastien ^a   Barais, Olivier ^a   Duchien, Laurence ^b  

^a CAMPUS DE BEAULIEU   (France)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOR SPECIFICATIONS; COMPONENT MODEL; FORMAL DESCRIPTION; FORMAL SPECIFICATION; MODEL TRANSFORMATION; MODEL-DRIVEN ENGINEERING; PRACTICAL IMPLEMENTATION; SOFT REAL-TIME APPLICATIONS; SPECIFICATION MODELS;

COMPUTER SCIENCE; SPECIFICATIONS; SYSTEMS ANALYSIS; TECHNICAL PRESENTATIONS;

MODELS;

EID: 71049152308     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOCW.2006.74     Document Type: Conference Paper

References (19)

1. Webpage of the OMEGA IST project. http://wwwomega. imag.fr/.
2. R. Alur and D.L. Dill. A theory of timed automata. Theor. Comput. Sci., 126(2):183-235, 1994.
3. AUTOSAR partners. AUTomotive Open System ARchitecture, August 2005. Version 1.5 light version.
4. A. Beugnard, J-M. Jézéquel, N. Plouzeau, and D. Watkins. Making components contract aware. Computer, 32(7):38-45, 1999.
5. K. Chan, I. Poernomo, H. W. Schmidt, and J. Jayaputera. A model-oriented framework for runtime monitoring of nonfunctional properties. In QoSA/SOQUA, volume 3712 of Lecture Notes in Computer Science, pages 38-52. Springer, 2005.
6. J. B. Dabney and T. L. Harman. Mastering SIMULINK. Prentice Hall PTR, Upper Saddle River, NJ, USA, 1997.
7. W. Damm, A. Votintseva, A. Metzner, B. Josko, T. Peikenkamp, and E. Bde. Boosting re-use of embedded automotive applications through rich components. In FIT'05 Foundations of Interface Technologies. Elsevier Science, August 2005.
8. D. Garlan and M. Shaw. An introduction to software architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering, volume 1, pages 1-40. World Scientific Publishing Company, 1993.
9. T.A. Henzinger, C.M. Kirsch, and B. Horowitz. Giotto: A time-triggered language for embedded programming. Proceedings of the IEEE, 91(1):84-99, January 2003.
10. T. Kalibera and P. Tuma. Distributed component system based on architecture description: The sofa experience. In On the Move to Meaningful Internet Systems - DOA, CoopIS and ODBASE, pages 981-994, London, UK, October 2002. Springer-Verlag. ISBN: 3-540-00106-9.
11. Kim G. Larsen, Paul Pettersson, and Wang Yi. UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134-152, October 1997.
12. N. Medvidovic and R. N. Taylor. A classification and comparison framework for software architecture description languages. In IEEE Transactions on Software Engineering, volume 26, page 23, January 2000.
13. P-A. Muller, F. Fleurey, and J-M. Jézéquel. Weaving executability into object-oriented meta-languages. In Lionel C. Briand and Clay Williams, editors, MoDELS, volume 3713 of Lecture Notes in Computer Science, pages 264-278. Springer, 2005.
14. OMG. Systems modeling language (sysml) specification. May 2006.
15. Object Management Group OMG. Unified Modeling Language: Superstructure, August 2003. Version 2.0.
16. Object Management Group OMG. Meta-Object Facility (MOF) Specification, 2005. Version 2.0.
17. As-2 Embedded Computing Systems Committee SAE. Architecture Analysis & Design Language (AADL). SAE Standards no AS5506, November 2004.
18. P. Sawyer, J. Hutchison, J. Walkerdine, and I. Sommerville. Faceted service specification. In Proceedings of Workshop on Service-Oriented Computing Requirements (SOCCER), August 2005.
19. J.C. Tournier, J.P. Babau, and V. Olive. Qinna, a component-based QoS architecture. In G.T. Heineman, I.Crnkovic, H.W. Schmidt, J.A. Stafford, C.A. Szyperski, and K.C. Wallnau, editors, CBSE, volume 3489 of Lecture Notes in Computer Science, pages 107-122. Springer, 2005.