Commenced in January 2007
Paper Count: 30319
Complexity of Component-based Development of Embedded Systems
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.
Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1063220Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 1078
 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.
 V.S. Alagar, O. Ormandjieva, M. Zheng. Managing Complexity in Real- Time Reactive Systems. In Proceedings of ICESSC 2000.
 V.S. Alagar, D. Muthiayen.A Rigorous Approach to Modeling Au- tonomous Traffi c Control Systems. ISADS2003, Pisa, Italy, pp.193-202.
 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.
 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.
 S. Burbeck. Real-time complexity metrics for smalltalk methods. IBM Systems Journal, June 1996, pp. 1-28.
 S.H. Liu.Simulated Validation of Real-Time Reactive Systems with Parametrized Events. Master of Computer Science Thesis, Concordia University, Montreal, Canada, October 2003.
 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.
 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.
 H.W. Schmidt. Trustworthy Components:compositionality and predic- tion.Journal of Systems and Software, Elsevier Science Inc, 65(3):215- 225, 2003.
 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.