Develop control applications
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
Exchange models
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]
Generic method pattern
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
Guidance
Example of applying the generic method pattern
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
Guidance
Example of applying the generic method pattern
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
Integrate reusable component
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
Revise erroneous timing information DRAFT!
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
Specify synchronisation constraints
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
Specify time budgets
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