https://www.mdu.se/

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. © 2011 ACM.