Specify time budgets
Reference Workflows
Specify time budgets
Refine, Introduce and Validate time budgets
Create solution
Attach time budget to solution
Identify needed time budget segments
Identify time budget influencing properties
Annotate time budget influencing properties with known or assigned values
Estimate values for time budget influencing properties
Propose values for time budget segments
Verify and validate time budget
Specify and validate time budget
Tasks
Annotate time budget influencing properties with known or assigned values
Attach time budget to solution
Create solution
Estimate values for time budget influencing properties
Identify needed time budget segments
Identify time budget influencing properties
Propose values for time budget segments
Refine, Introduce and Validate time budgets
Specify and validate time budget
Verify and validate time budget
Generic method pattern tasks
Reference Workflows
Generic method pattern
Create solution
Attach timing requirements to solution
Create timing model
Analyse timing model
Verify solution against timing requirements
Quality gate
Specify and validate timing requirements
Generic method pattern with bottom-up flow
Create solution
Transform timing properties
Attach timing requirements to solution
Create timing model
Analyse timing model
Verify solution against timing requirements
Specify and validate timing requirements
Generic method pattern with safety aspects
Refine and introduce requirements
Create solution
Attach timing requirements to solution
Create timing model
Analyse timing model
Verify solution against timing requirements
Specify and validate timing requirements
Tasks
Analyse timing model
Attach timing requirements to solution
Create solution
Create solution
Create timing model
Refine and introduce requirements
Specify and validate timing requirements
Transform timing properties
Verify solution against timing requirements
Develop control applications tasks
Reference Workflows
Generic develop control applications
Create Solution [Develop control applications]
Design Controller
Analyze Control Quality
Find timing properties [Develop control applications]
Find Properties of Controller Design
Analyse timing [Develop control applications]
Analyze Timing Quality of Controller
Verify & Validate [Develop control applications]
Verify and Assess Trade-off
Specify timing requirements [Develop control applications]
Specify Timing Requirements for Implementation Level
Tasks
Analyze Control Quality
Analyze Timing Quality of Controller
Design Controller
Find Properties of Controller Design
Specify Timing Requirements for Implementation Level
Verify and Assess Trade-off
Integrate reusable component tasks
Reference Workflows
Generic integrate reusable component
Merge Solution_INTEG into Solution_EXIST considering usage of common resources
Attach timing requirements to Solution_BOTH
Update timing properties of Solution [Existing]
Update timing properties of Solution [To integrate]
Analyse Solution [Both]
Check fulfillment of timing requirements of Solution [Existing]
Check fulfillment of timing requirements of Solution [To integrate]
Specify and validate timing requirements
Tasks
Analyse Solution [Both]
Attach timing requirements to Solution_BOTH
Check fulfillment of timing requirements of Solution [Existing]
Check fulfillment of timing requirements of Solution [To integrate]
Merge Solution_INTEG into Solution_EXIST considering usage of common resources
Specify and validate timing requirements
Update timing properties of Solution [Existing]
Update timing properties of Solution [To integrate]
Specify synchronisation constraints tasks
Reference Workflows
Specify synchronization constraints
Refine, introduce and validate synchronization requirements
Create solution
Refine sets of events
Identify new set of events
Determine tolerances
Verify and validate synchronisation
Specify and validate synchronisation requirements
Tasks
Create solution
Determine tolerances
Identify new set of events
Refine sets of events
Refine, introduce and validate synchronization requirements
Specify and validate synchronisation requirements
Verify and validate synchronisation
Revise erroneous timing information
Reference Workflows
Revise erroneous timing information
Find cause for timing requirement violation
Identify timing fault
Resolve violation at current abstraction level
Reverify the validated requirement
Transform timing requirement violation from higher abstraction level
Transform timing requirement violation from lower abstraction level as a risk
Tasks
Find cause for timing requirement violation
Identify timing requirement violation
Resolve violation at current abstraction level
Reverify the validated requirement
Transform timing requirement violation from higher abstraction level
Transform timing requirement violation from lower abstraction level as a risk
Exchange timing models
Reference Workflows
Exchange models, OEM side
Create solution [OEM]
Attach timing requirements to solution [OEM]
Create timing model [OEM]
Analyze timing model [OEM]
Verify solution against timing requirements [OEM]
Check timing quality [Optional]
Specify and validate timing requirements [OEM]
Exchange models, supplier side
Create solution [Supplier]
Attach timing requirements to solution [Supplier]
Create timing model [Supplier]
Specify and validate timing requirements [Supplier]
Analyse timing model [Supplier]
Verify solution against timing requirements [Supplier]
Tasks
Analyse timing model [Supplier]
Attach timing requirements to solution [Supplier]
Create solution [Supplier]
Create timing model [Supplier]
Specify and validate timing requirements [Supplier]
Verify solution against timing requirements [Supplier]
Analyze timing model [OEM]
Attach timing requirements to solution [OEM]
Check timing quality [Optional]
Create solution [OEM]
Create timing model [OEM]
Specify and validate timing requirements [OEM]
Verify solution against timing requirements [OEM]