Task: Verify timing [Analysis]
Direct and Derived timing properties are compared with the (transformed) Timing Requirements
Relationships
Inputs
Mandatory:
Analysis report [Analysis]
Functional Analysis Architecture [Detailed]
Timing properties [Analysis]
Timing requirements [Vehicle]
Optional:
None
Outputs
Verification report [Analysis]
Process Usage
Generic timing methodology with abstraction levels
>
Analysis
>
Verify timing [Analysis]