Component-based context dependent hybrid property prediction

Many embedded systems for vehicles and consumer electronics critically depend on efficient, reliable control software, and practical methods for their production. Component-based software engineering for embedded systems is currently gaining ground since variability, reusability, and maintainability are efficiently supported. However, existing tools and methods do not guarantee efficient resource usage in these systems. We present a method that enables resource-efficient component-based control software by extending hybrid property prediction methods (i.e. combining static and dynamic techniques) to be context-dependent, enabling less pessimistic extra-functional component property predictions and, hence, improved resource utilisation.

[1]  Ivica Crnkovic,et al.  SaveCCM - a component model for safety-critical real-time systems , 2004, Proceedings. 30th Euromicro Conference, 2004..

[2]  Joakim Fröberg,et al.  Industrial Requirements on Component Technologies for Embedded Systems , 2004, CBSE.

[3]  Jan Gustafsson,et al.  Worst-case execution-time analysis for embedded real-time systems , 2003, International Journal on Software Tools for Technology Transfer.

[4]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[5]  Bernd J. Krämer,et al.  Predictable Component Architectures Using Dependent Finite State Machines , 2002, RISSEF.

[6]  Wang Yi,et al.  Verifying temporal constraints on data in multi-rate transactions using timed automata , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

[7]  Raimund Kirner,et al.  Automatic timing model generation by CFG partitioning and model checking , 2005, Design, Automation and Test in Europe.

[8]  Ralf H. Reussner,et al.  Reliability prediction for component-based software architectures , 2003, J. Syst. Softw..

[9]  Hans A. Hansson,et al.  Towards a dependable component technology for embedded system applications , 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[10]  Johan Fredriksson,et al.  Attaining flexible real-time systems by bringing together component technologies and real-time systems theory , 2003, 2003 Proceedings 29th Euromicro Conference.

[11]  Daniel Sundmark,et al.  Monitored software components - a novel software engineering approach , 2004, 11th Asia-Pacific Software Engineering Conference.

[12]  Jukka Mäki-Turja,et al.  Efficient Development of Real-Time Systems Using Hybrid Scheduling , 2005, ESA.

[13]  Bernd J. Krämer,et al.  Modelling Predictable Component-Based Distributed Control Architectures , 2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.