Increasing Accuracy of Property Predictions for Embedded Real-Time Components
Johan Fredriksson · 2014
Many embedded systems for vehicles and consumer electronics critically depend on efficient, reliable con-trol software, and practical methods for their production. Component-based software engineering for embedded sys-tems is currently gaining ground since variability, reusabil-ity, and maintainability are supported. However, existing tools and methods do not guarantee efficient resource usage in these systems. We present methods that increases the ac-curacy in extra-functional property predictions, by consid-ering context without restricting reusability; thus, enabling less pessimistic extra-functional component properties and, hence, improving resource utilisation. 1