Qualité de Service Temporelle pour Composants Logiciels

La qualite de service temporelle permet a l'utilisateur d'une application a composants d'estimer les proprietes extra-fonctionnelles l'application. Afin d'obtenir une estimation precise de la qualite, les informations de qualite de service temporelle doivent etre presentes durant le processus de developpement de l'application, de la specification jusqu'a l'implantation. La contribution de cette these est la definition d'un processus de gestion de la qualite de service temporelle pendant le developpement d'une application a composants. Nous nous interessons dans un premier temps a l'introduction des informations temporelles lors de la specification de l'application. Nous utilisons une approche a base de motifs pour integrer le temps dans la specification de l'application. Dans un second temps, nous fournissons un moniteur de qualite de service temporelle a partir de la specification. Le moniteur s'assure, pendant l'execution, que l'application respecte la qualite de service temporelle requise par la specification. Finalement, nous decrivons notre outil /Thot/ implantant le processus de gestion de la qualite de service temporelle et nous l'utilisons sur un cas d'application.

[1]  George T. Heineman,et al.  Component-Based Software Engineering: Putting the Pieces Together , 2001 .

[2]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[3]  Conrado Daws.  Optikron: A Tool Suite for Enhancing Model-Checking of Real-Time Systems , 1998, CAV.

[4]  Stavros Tripakis,et al.  Kronos: A Model-Checking Tool for Real-Time Systems , 1998, CAV.

[5]  Jean-Marc Jézéquel,et al.  Model-Driven analysis and synthesis of concrete syntax , 2006, MoDELS'06.

[6]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[7]  Jean-Marc Jézéquel,et al.  Weaving executability into object-oriented meta-languages , 2005, MoDELS'05.

[8]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[9]  Patricia Bouyer,et al.  Untameable Timed Automata! , 2003, STACS.

[10]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[11]  J. Favre,et al.  L'ingénierie dirigée par les modèles : au-delà du MDA , 2006 .

[12]  Philippe Collet,et al.  A contracting system for hierarchical components , 2005, CBSE'05.

[13]  Joseph Sifakis,et al.  Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[14]  Lawrence M. Ruane.  Abstract data types in assembly language programming , 1984, SIGP.

[15]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[16]  Mary Shaw,et al.  An Introduction to Software Architecture , 1993, Advances in Software Engineering and Knowledge Engineering.

[17]  Jean-Marc Jézéquel,et al.  Making Components Contract Aware , 1999, Computer.

[18]  Thierry Coupaye,et al.  An Open Component Model and Its Support in Java , 2004, CBSE.

[19]  J. Magree,et al.  Behavioral analysis of software architectures using LTSA , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[20]  Robert W. Floyd,et al.  Assigning meaning to programs , 1967 .

[21]  Olivier Barais,et al.  Using Model-Driven Engineering to generate QoS Monitors from a formal specification , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06).

[22]  Ileana Ober,et al.  A Real-Time Profile for UML and How to Adapt It to SDL , 2003, SDL Forum.

[23]  Conrado Daws,et al.  Reducing the number of clock variables of timed automata , 1996, RTSS.

[24]  Wang Yi,et al.  Code Synthesis for Timed Automata , 2003 .

[25]  Charles Consel,et al.  Architecture Software Using: A Methodology for Language Development , 1998, PLILP/ALP.

[26]  Olivier Barais,et al.  Integration of Time Issues into Component-Based Applications , 2007, CBSE.

[27]  Jack Greenfield.  Software Factories: Assembling Applications with Patterns, Models, Frameworks and Tools , 2004, GPCE.

[28]  B.H.C. Cheng,et al.  Real-time specification patterns , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[29]  Olivier Barais,et al.  Composants avec Propriétés Temporelles , 2006, CAL.

[30]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[31]  Louise E. Moser,et al.  A graphical environment for the design of concurrent real-time systems , 1997, TSEM.

[32]  Rajeev Alur,et al.  Model-Checking in Dense Real-time , 1993, Inf. Comput..

[33]  Don S. Batory,et al.  The design and implementation of hierarchical software systems with reusable components , 1992, TSEM.

[34]  Alan W. Brown,et al.  Engineering of component-based systems , 1996, Proceedings of ICECCS '96: 2nd IEEE International Conference on Engineering of Complex Computer Systems (held jointly with 6th CSESAW and 4th IEEE RTAW).

[35]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[36]  Wang Yi,et al.  Automatic verification of real-time communicating systems by constraint-solving , 1994, FORTE.

[37]  Heinz W. Schmidt,et al.  A Model-Oriented Framework for Runtime Monitoring of Nonfunctional Properties , 2005, QoSA/SOQUA.

[38]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[39]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[40]  Thomas A. Henzinger,et al.  Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.

[41]  Jan Oyvind Aagedal,et al.  Quality of Service Support in Development of Distributed Systems , 2001 .

[42]  Laurence Duchien,et al.  Intégration de propriétés temporelles dans des applications à base de composants , 2007 .

[43]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[44]  Gary T. Leavens,et al.  JML: notations and tools supporting detailed design in Java , 2000 .