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