Integration of Time Issues into Component-Based Applications

In this paper we describe a technique for specifying time related properties on traditional software components. We apply the separation of concerns paradigm to allow independent specification of timing and to integrate timechecking specialized tool support into conventional software design processes. We aim at helping the designer to specify time contracts and at simplifying the introduction of time properties in the component behaviour description. We propose to handle timing issues in a separate and specific design activity, in order to provide means of formal computation of time properties for component assemblies without modifying in depth existing design processes.

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

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

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

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

[5]  James Gosling,et al.  The Real-Time Specification for Java , 2000, Computer.

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

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

[8]  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).

[9]  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).

[10]  Rick Reed,et al.  SDL 2003: System Design , 2003, Lecture Notes in Computer Science.

[11]  Steve Vestal,et al.  Fixed-Priority Sensitivity Analysis for Linear Compute Time Models , 1994, IEEE Trans. Software Eng..

[12]  Stavros Tripakis,et al.  KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98) , 1998, FTRTFT.

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

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

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

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

[17]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE , 2002, Lecture Notes in Computer Science.

[18]  S. Graf,et al.  How useful is the UML profile SPT without Semantics ? , 2004 .

[19]  Petr Tuma,et al.  Distributed Component System Based on Architecture Description: The SOFA Experience , 2002, OTM.

[20]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[21]  Jacques Klein,et al.  Semantic-based weaving of scenarios , 2006, AOSD.

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

[23]  Jörgen Hansson,et al.  Aspects and components in real-time system development: Towards reconfigurable and reusable software , 2005, J. Embed. Comput..

[24]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

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

[26]  Paola Inverardi,et al.  Software Engineering Education in the Modern Age , 2008 .

[27]  MeyerBertrand,et al.  Design by Contract , 1997 .

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

[29]  Patricia Bouyer,et al.  Decomposition and Composition of Timed Automata , 1999, ICALP.