Multi-view Description of Real-Time Systems- Architecture

Authors: A. Bessam, M. T. Kimour

Abstract:

Real-time embedded systems should benefit from component-based software engineering to handle complexity and deal with dependability. In these systems, applications should not only be logically correct but also behave within time windows. However, in the current component based software engineering approaches, a few of component models handles time properties in a manner that allows efficient analysis and checking at the architectural level. In this paper, we present a meta-model for component-based software description that integrates timing issues. To achieve a complete functional model of software components, our meta-model focuses on four functional aspects: interface, static behavior, dynamic behavior, and interaction protocol. With each aspect we have explicitly associated a time model. Such a time model can be used to check a component-s design against certain properties and to compute the timing properties of component assemblies.

Keywords: Real-time systems, Software architecture, software component, dependability, time properties, ADL, metamodeling.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1062146

References:

[1] A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time components in bip. In SEFM -06: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, pages 3-12, Washington, DC, USA, 2006. IEEE Computer Society.
[2] Sébastien Saudrais, Nöel Plouzeau, and Olivier Barais. Integration of Time Issues into Component-Based Applications.
[3] A. Bessam and M. T. Kimour. Integrating Behavioral Aspect into COSA Architecture. Proceedings of SEDE-2007 16th Int-l Conf on Software Engineering and Data Engineering, USA, 2007.
[4] OMG: MOF 2.0 Core, OMG document ptc/06-01-01, Jan 2006.
[5] R. Roshandel, N. Medvidovic, "Modeling Multiple Aspects of Software Components", in Proceeding of Workshop on Specification and Verification of Component-Based Systems,ESEC-FSE03, Helsinki, Finland, September 2003.
[6] Didonet Del Fabro M., Bézivin J., Jouault F., Breton E., Gueltas G.: AMW: a generic model weaver. In: Proceedings of the 1st day on Model-Based Engineering (MDE), 2005.
[7] D. Garlan, S. W. Cheng, A. Kompanek, "Reconciling the needs of architectural description with object- modeling notations", Science of Computer Programming 44 (2002) 32-49.
[8] Zonghua Gu, Shige Wang, Jeong Chan Kim and Kang G. Shin. (2004- 01-02). Integrated Modeling and Analysis of Automotive Embedded Control Systems with Real-Time Scheduling. (Electronic). Accessible: p.3. (2006-06-08).
[9] Bruce Douglass, Gary Cernosek, Real-time UML: Developing Efficient Objects for Embedded systems, Addision-Wesley Inc., 1998
[10] SAE: Architecture Analysis and Design Language (AADL). (2006) document number: AS5506/1.
[11] OMG: Systems Modeling Language (SysML) Specification. (2006) OMG document number: ad/2006-03-01.
[12] OMG: UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE), Request for proposals, Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701. (2005) OMG document number: realtime/2005-02-06.
[13] Booch G., Jacobson I., Rumbaugh J. "The Unified Modeling Language User Guide", Addison-Wesley, Reading, MA.
[14] Dias M., Vieira M., "Software Architecture Analysis based on Statechart Semantics", in Proceedings of the 10th International Workshop on Software Specification and Design,FSE-8, San Diego, USA, November 2000.
[15] Hofmeister C., Nord R.L., and Soni D., "Describing Software Architecture with UML" In Proceedings of the TC2 First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, TX, February 22-24, 1999.
[16] Krutchen, P.B. "The 4+1 View Model of Architecture", IEEE Software 12, pp. 42 - 50, 1995.
[17] Nuseibeh B., Kramer J., and Finkelstein A., "Expressing the Relationships Between Multiple Views in Requirements Specification", in Proceedings of the 15th International Conference on Software Engineering (ICSE-15), Baltimore, Maryland, USA, 1993.
[18] J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. "Specifying distributed software architectures". Proc 5th European Software Engineering Conference, September 1994.
[19] R. Allen, and D. Garlan, "A Formal Basis for Architectural Connection", ACM Transitions on Software Engineering and Methodology vol.6, No. 3, p. 213-249, 1997.
[20] R. Allen, and D. Garlan, "The Wright architectural specification language", Technical Report of CMUCS- 96-TBD, CMU, School of Computer Science, September 1996.
[21] P. Binns, M. Englehart, M. Jackson, and S. Vestal, 1995, "Domain- Specific Software Architectures for Guidance, Navigation and Control," to appear in International Journal of Software Engineering and Knowledge Engineering Honeywell Technology Center, Minneapolis MN, January 1994, revised February 1995.
[22] M. Shaw, "Abstractions for Software Architecture and Tools to Support Them". IEEE Transactions on Software Engineering, 1995. 21(4): pp. 314-335.
[23] D.C. Luckham, L.M. Augustin, J.J. Kenny, J. Veera, D. Bryan, W. Mann. "Specification and analysis of system architecture using Rapide", IEEE Tr on Software Engineering vol. 21 no 4, April 1995, pp 336-355.
[24] R.N. Taylor, and N. Medvidovic, "A Component and Message-based Architectural Style for GHI Software.", IEEE Transactions on Software Engineering, vol. 22, No. 6, June 1996.
[25] Aguirre N., Maibaum T.S.E., "A Temporal Logic Approach to Component Based System Specification and Reasoning", in Proceedings of the 5th ICSE Workshop on Component-Based Software Engineering, Orlando, FL, 2002.
[26] Liskov B. H., Wing J. M., "A Behavioral Notion of Subtyping", ACM Transactions on Programming Languages and Systems, November 1994.
[27] Zaremski A.M., Wing J.M., "Specification Matching of Software Components", ACM Transactions on Software Engineering and Methodology, 6(4):333-369, 1997.
[28] Bruce Powell Douglass. Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
[29] O. Florescu, J. Voeten, H. Corporaal Modelling Patterns for Analysis and Design of Real-Time Systems. Technical Report ESR-2006-05, ISSN 1574-9517.