Increasing Accuracy of Property Predictions for Embedded Real-Time Components

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 supported. However, existing tools and methods do not guarantee efficient resource usage in these systems. We present methods that increases the accuracy in extra-functional property predictions, by considering context without restricting reusability; thus, enabling less pessimistic extra-functional component properties and, hence, improving resource utilisation.