Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
Model-Based performance prediction with the palladio component model
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Software Behavior Description of Real-Time Embedded Systems in Component Based Software Development
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
A Component Model for Control-Intensive Distributed Embedded Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Integration of Extra-Functional Properties in Component Models
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Deployment Modelling and Synthesis in a Component Model for Distributed Embedded Systems
SEAA '10 Proceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
A Classification Framework for Software Component Models
IEEE Transactions on Software Engineering
A component framework for consumer electronics middleware
Component-Based Software Development for Embedded Systems
Hi-index | 0.00 |
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.