Design-time verification of component-based embedded systems with respect to extra-functional properties

When developing embedded systems, certain constraints regarding extra functional properties have to be guaranteed. It is desirable to be able to perform early design time verification of embedded systems with respect to their extra-functional properties, because the earlier potential design flaws are caught, the easier and cheaper it is to correct them. Employing component-based software engineering and model-driven development for the development of embedded systems can facilitate this early verification. In this paper we present our planned research on early analysis of component-based embedded systems, which enables avoiding designs infeasible with respect to constraints on timing and resource consumption.

[1]  Ivica Crnkovic,et al.  Building Reliable Component-Based Software Systems , 2002 .

[2]  Martin Herrmann,et al.  Software Behavior Description of Real-Time Embedded Systems in Component Based Software Development , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[3]  Steffen Becker,et al.  Model-Based performance prediction with the palladio component model , 2007, WOSP '07.

[4]  John Håkansson,et al.  Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT , 2008, ATVA.

[5]  Jukka Mäki-Turja,et al.  The Rubus component model for resource constrained real-time systems , 2008, 2008 International Symposium on Industrial Embedded Systems.

[6]  Johan J. Lukkien,et al.  A Component Framework for Consumer Electronics Middleware , 2005, Component-Based Software Development for Embedded Systems.

[7]  Egor Bondarev.  Design-time performance analysis of component-based real-time systems , 2009 .

[8]  Jukka Mäki-Turja,et al.  Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems , 2010, 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications.

[9]  Séverine Sentilles,et al.  ProCom - the Progress Component Model Reference Manual, version 1.0 , 2008 .

[10]  Séverine Sentilles,et al.  A Component Model for Control-Intensive Distributed Embedded Systems , 2008, CBSE.

[11]  Séverine Sentilles,et al.  A Classification Framework for Software Component Models , 2011, IEEE Transactions on Software Engineering.

[12]  Hans Hansson,et al.  The SaveCCM Language Reference Manual , 2007 .

[13]  Séverine Sentilles,et al.  Integration of Extra-Functional Properties in Component Models , 2009, CBSE.