• 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]