Task: Identify timing requirement violation
Relationships
Main Description

This task is in principle equivalent with the GMP task Verify solution against timing requirements. The task compares the solution together with the timing model and analysis results with the attached timing requirements.

The main difference is that this task expects that there is a mismatch between solution and timing model on the one hand, and the timing requirements on the other – i.e the timing requirements are violated.

The output of the task is a Timing requirement violation. This artifact identifies the violated timing requirement and any diagnostic information that could help in locating the cause of the violation.