Multi-view Description of Real-Time Systems- Architecture
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.
[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: <http://kabru.eecs.umich.edu/aires/paper/gu_sae04.pdf>
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.
[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: <http://kabru.eecs.umich.edu/aires/paper/gu_sae04.pdf>
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.
@article{"International Journal of Information, Control and Computer Sciences:55119", author = "A. Bessam and M. T. Kimour", title = "Multi-view Description of Real-Time Systems- Architecture", 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.", volume = "2", number = "2", pages = "406-8", }