Model-Driven Specification of Component-Based Distributed Real-Time and Embedded Systems for Verification of Systemic QoS Properties

The adage "The whole is not equal to the sum of its parts" is very appropriate in the context of verifying a range of systemic properties, such as deadlocks, correctness, and conformance to Quality of Service (QoS) requirements, for component-based Distributed Real-time and Embedded (DRE) systems. For example, end-to-end Worst Case Response Time (WCRT) in component-based DRE systems is not as simple as accumulating WCRT for each individual component in the system because of inherent complexities introduced by the large solution space of possible deployment and configurations.