• 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