Complexity of Component-based Development of Embedded Systems

The paper discusses complexity of component-based development (CBD) of embedded systems. Although CBD has its merits, it must be augmented with methods to control the complexities that arise due to resource constraints, timeliness, and run-time deployment of components in embedded system development. Software component specification, system-level testing, and run-time reliability measurement are some ways to control the complexity.

Authors:

• M. Zheng
• V. S. Alagar

Keywords:

• Components
• embedded systems
• complexity
• softwaredevelopment
• traffic controller system.

References:

[1] M. Akerholm, A. Moller, H. Hansson, and M. Nolin. Towards a De-
pendable Component Technology for Embedded System Applications. In
Proceedings of the 10th IEEE International Workshop on Object-oriented
Real-Time Dependable Systems, Sedona, Arizona, U.S.A., February
2005.
[2] V.S. Alagar, O. Ormandjieva, M. Zheng. Managing Complexity in Real-
Time Reactive Systems. In Proceedings of ICESSC 2000.
[3] V.S. Alagar, D. Muthiayen.A Rigorous Approach to Modeling Au-
tonomous Traffi c Control Systems. ISADS2003, Pisa, Italy, pp.193-202.
[4] V.S. Alagar, O. Ormandjieva, M. Zheng. Incremental Testing for Self-
Evolving Systems. Proceedings of International Conference on Quality of
Software, Dallas, U.S.A., November 6-7, 2003.
[5] V.S. Alagar, O. Ormandjieva, M. Chen, M. Zheng. Automated Test
Generation from Object-Oriented Specifi cations of Real-Time Reactive
Systems. Proceedings of 10th Asia Pacifi c Software Engineering Confer-
ence, Chiang Mai, Thailand, December 10-12, 2003.
[6] S. Burbeck. Real-time complexity metrics for smalltalk methods. IBM
Systems Journal, June 1996, pp. 1-28.
[7] S.H. Liu.Simulated Validation of Real-Time Reactive Systems with
Parametrized Events. Master of Computer Science Thesis, Concordia
University, Montreal, Canada, October 2003.
[8] Olga Ormandjieva. Quality Measurement for Real-Time Reactive Systems.
Ph.D thesis, Department of Computer Science and Software Engineering,
Concordia University, Montreal, Canada, January 2002.
[9] R.H. Reussner, I.H. Poernomo, and H.W. Schmidt.Reasoning
about Software Architectures with Contractually Specifi ed Components.
Component-Based Software Quality. LNCS 2693, Springer-Verlag, pp.
287-325, 2003.
[10] H.W. Schmidt. Trustworthy Components:compositionality and predic-
tion.Journal of Systems and Software, Elsevier Science Inc, 65(3):215-
225, 2003.
[11] M. Zheng. Automated Test Generation From Formal Specifi cation of
Real-Time Reactive Systems, Ph.D. Thesis, Department of Computer
Science, Concordia University,Montreal, Canada, 2002.