Offline Validation of Real-Time Application Constraints Considering Adaptation Rules

The requirements of adaptive real-time systems include time constraints. They do not only have to hold during normal operation, but also during reconfiguration. This implies time constraints for adaptation operations, which are executed by a reconfiguration framework. In this paper, we present an off-line verification of these time constraints based on a comparison of the worst-case execution time required for the adaptation with the available time slots in the application schedule. We use a model-driven engineering approach, in which a state machine represents the application configurations and the transitions between these.