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