Complexity of Component-based Development of Embedded Systems

Authors: M. Zheng, V. S. Alagar

Abstract:

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.

Keywords: Components, embedded systems, complexity, softwaredevelopment, traffic controller system.

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

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.