A Component Model for Control-Intensive Distributed Embedded Systems
In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for design and development of such embedded systems with the aim of using component-based development for decreasing the complexity in design and providing a ground for analyzing them and predict their properties, such as resource consumption and timing behavior. The two-layer model is used to efficiently cope with different design paradigms on different abstraction levels. The model is illustrated by an example from the vehicular domain.
KeywordsComponent Model Embed System Data Port Output Group Reusable Design
Unable to display preview. Download preview PDF.
- 2.Arcticus Systems. Rubus Software Components, http://www.arcticus-systems.com
- 3.AUTOSAR Development Partnership. Technical Overview V2.2.1 (February 2008), http://www.autosar.org
- 4.Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: Proc. of the 4th IEEE International Conference on Software Engineering and Formal Methods, pp. 3–12. IEEE, Los Alamitos (2006)Google Scholar
- 5.Bureš, T., Carlson, J., Crnković, I., Sentilles, S., Vulgarakis, A.: ProCom – the Progress Component Model Reference Manual, version 1.0. Technical Report MDH-MRTC-230/2008-1-SE, Mälardalen University (June 2008)Google Scholar
- 6.Bureš, T., Carlson, J., Sentilles, S., Vulgarakis, A.: A component model family for vehicular embedded systems. In: The Third International Conference on Software Engineering Advances. IEEE, Los Alamitos (2008)Google Scholar
- 7.Hansson, H., Nolin, M., Nolte, T.: Beating the automotive code complexity challenge. In: National Workshop on High-Confidence Automotive Cyber-Physical Systems, Troy, Michigan, USA (April 2008)Google Scholar
- 8.Robocop project page, http://www.extra.research.philips.com/euprojects/robocop
- 10.Wallnau, K.C.: Volume III: A Technology for Predictable Assembly from Certifiable Components (PACC). Technical Report CMU/SEI-2003-TR-009, Carnegie Mellon (2003)Google Scholar