• Specify time budgets
    • Time budget
      • Output from
        • Specify and validate time budget
      • Guidance
        • Each TADL guide can be seen as Requirements or Property
        • Time budget
    • Time budget [Attached]
      • Input to
        • Identify needed time budget segments
        • Propose values for time budget segments
        • Verify and validate time budget
      • Output from
        • Attach time budget to solution
      • Guidance
        • Each TADL guide can be seen as Requirements or Property
        • End-to-end latency
        • Time budget
    • Time budget [Higher level]
      • Input to
        • Refine, Introduce and Validate time budgets
      • Guidance
        • Each TADL guide can be seen as Requirements or Property
        • Time budget
    • Time budget influencing properties
      • Input to
        • Annotate time budget influencing properties with known or assigned values
        • Estimate values for time budget influencing properties
        • Propose values for time budget segments
      • Output from
        • Annotate time budget influencing properties with known or assigned values
        • Estimate values for time budget influencing properties
        • Identify time budget influencing properties
      • Guidance
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Communication delay
        • Response time
        • Period Constraint
        • Each TADL guide can be seen as Requirements or Property
    • Time budget proposal
      • Input to
        • Verify and validate time budget
        • Specify and validate time budget
      • Output from
        • Propose values for time budget segments
      • Guidance
        • Each TADL guide can be seen as Requirements or Property
        • Time budget
        • Time budget slack
    • Time budget segments
      • Input to
        • Identify time budget influencing properties
        • Propose values for time budget segments
      • Output from
        • Identify needed time budget segments
      • Guidance
        • Time budget
    • Time budget [Textual]
      • Input to
        • Create solution
        • Attach time budget to solution
      • Output from
        • Refine, Introduce and Validate time budgets
      • Guidance
        • Each TADL guide can be seen as Requirements or Property
  • Generic method pattern work products
    • Analysis report
      • Input to
        • Specify and validate timing requirements
        • Verify solution against timing requirements
        • Specify and validate timing requirements
        • Identify timing requirement violation
        • Verify solution against timing requirements [Supplier]
      • Output from
        • Analyse timing model
        • Analyse Solution [Both]
        • Analyse timing model [Supplier]
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Jitter
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
        • Time budget slack
    • Annotated solution
      • Input to
        • Identify timing requirement violation
        • Create timing model [Supplier]
        • Create timing model [OEM]
        • Specify and validate timing requirements
        • Create timing model
        • Verify solution against timing requirements
      • Output from
        • Attach timing requirements to solution [Supplier]
        • Attach timing requirements to solution [OEM]
        • Attach timing requirements to solution
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
    • Solution
      • Input to
        • Attach timing requirements to solution
        • Transform time budget influencing properties from lower abstraction level
        • Determine time budget influencing properties
        • Extrapolate time budget influencing properties
        • Estimate influence from future functionality
        • Create time budget proposal
        • Verify time budget
        • Specify time budget
        • Define events and event chains
        • Identify timing fault [Vehicle]
        • Identify timing fault [Analysis]
        • Identify timing fault [Design]
        • Reallocate ECU tasks [Design]
        • Reduce the number of gateways in network [Design]
        • Attach time budget to solution
        • Identify time budget influencing properties
        • Refine sets of events
        • Identify new set of events
        • Determine tolerances
      • Output from
        • Create solution
        • Create solution
        • Create solution for time budgeting
        • Introduce synchronization means
        • Reallocate ECU tasks [Design]
        • Reduce the number of gateways in network [Design]
        • Create solution
        • Create solution
    • Timing model
      • Input to
        • Specify and validate timing requirements
        • Analyse timing model
        • Relax end-to-end delay on feature [Vehicle]
        • Refine execution time estimation [Analysis]
        • Refine communication delay estimation [Analysis]
        • Increase control rate or sampling period [Analysis]
        • Increase control rate or sampling period [Design]
        • Refine communication delay estimation [Design]
        • Refine execution time estimation [Design]
        • Identify timing requirement violation
      • Output from
        • Create timing model
        • Refine execution time estimation [Analysis]
        • Refine communication delay estimation [Analysis]
        • Increase control rate or sampling period [Analysis]
        • Increase control rate or sampling period [Design]
        • Refine communication delay estimation [Design]
        • Refine execution time estimation [Design]
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Jitter
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
        • Time budget slack
    • Timing model [Lower]
      • Input to
        • Transform timing properties
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Jitter
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
        • Time budget slack
    • Timing properties
      • Output from
        • Transform timing properties
      • Guidance
        • Communication delay
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
        • Time budget slack
    • Timing requirements
      • Output from
        • Specify and validate timing requirements
        • Specify and validate timing requirements
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
    • Timing requirements [Higher level]
      • Input to
        • Attach timing requirements to solution
        • Refine and introduce requirements
        • Create solution
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
    • Timing requirements [Refined]
      • Input to
        • Create solution
      • Output from
        • Refine and introduce requirements
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
    • Verification report
      • Input to
        • Specify and validate timing requirements
        • Specify and validate timing requirements
        • Specify and validate synchronisation requirements
        • Specify and validate timing requirements [OEM]
      • Output from
        • Verify solution against timing requirements
        • Check fulfillment of timing requirements of Solution [To integrate]
        • Check fulfillment of timing requirements of Solution [Existing]
        • Reverify the validated requirement
        • Verify and validate time budget
        • Verify and validate synchronisation
        • Verify solution against timing requirements [Supplier]
        • Verify solution against timing requirements [OEM]
      • Guidance
        • Each TADL guide can be seen as Requirements or Property
  • Develop control applications work products
    • Control Quality Assessment Report
      • Input to
        • Verify and Assess Trade-off
      • Output from
        • Analyze Control Quality
    • Controller Timing Properties
      • Input to
        • Analyze Timing Quality of Controller
        • Specify Timing Requirements for Implementation Level
      • Output from
        • Find Properties of Controller Design
    • Controller Timing Requirements [Analysis]
      • Input to
        • Design Controller
        • Find Properties of Controller Design
    • Controller Timing Requirements [Design]
      • Output from
        • Specify Timing Requirements for Implementation Level
    • Time Structure of Control Application
      • Input to
        • Analyze Control Quality
        • Find Properties of Controller Design
        • Analyze Timing Quality of Controller
      • Output from
        • Design Controller
    • Timing Quality Assessment Report
      • Input to
        • Specify Timing Requirements for Implementation Level
        • Verify and Assess Trade-off
      • Output from
        • Analyze Timing Quality of Controller
    • Trade-off Assessment Report
      • Output from
        • Verify and Assess Trade-off
  • Integrate reusable component work products
    • Annotated solution [Both]
      • Input to
        • Specify and validate timing requirements
        • Check fulfillment of timing requirements of Solution [Existing]
      • Output from
        • Attach timing requirements to Solution_BOTH
      • Guidance
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Communication delay
        • End-to-end latency
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
    • Solution [Both]
      • Input to
        • Analyse Solution [Both]
        • Check fulfillment of timing requirements of Solution [To integrate]
        • Attach timing requirements to Solution_BOTH
      • Output from
        • Merge Solution_INTEG into Solution_EXIST considering usage of common resources
    • Solution [Existing]
      • Input to
        • Merge Solution_INTEG into Solution_EXIST considering usage of common resources
    • Solution [To integrate]
      • Input to
        • Merge Solution_INTEG into Solution_EXIST considering usage of common resources
    • Timing model [Existing]
      • Input to
        • Update timing properties of Solution [Existing]
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Jitter
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
        • Time budget slack
    • Timing model [To integrate]
      • Input to
        • Update timing properties of Solution [To integrate]
        • Specify and validate timing requirements
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Jitter
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
        • Time budget slack
    • Timing model[Both]
      • Input to
        • Analyse Solution [Both]
      • Output from
        • Update timing properties of Solution [To integrate]
        • Update timing properties of Solution [Existing]
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
        • Time budget slack
        • Jitter
        • Each TADL guide can be seen as Requirements or Property
    • Timing requirements [Existing]
      • Input to
        • Check fulfillment of timing requirements of Solution [Existing]
        • Attach timing requirements to Solution_BOTH
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
    • Timing requirements [To integrate]
      • Input to
        • Check fulfillment of timing requirements of Solution [To integrate]
        • Attach timing requirements to Solution_BOTH
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
  • Specify synchronisation constraints work products
    • Evaluated tolerances
      • Input to
        • Verify and validate synchronisation
        • Specify and validate synchronisation requirements
      • Output from
        • Determine tolerances
      • Guidance
        • Abstraction level specific list of events
        • Each TADL guide can be seen as Requirements or Property
        • Synchronization
    • New sets of events
      • Input to
        • Determine tolerances
      • Output from
        • Identify new set of events
      • Guidance
        • Abstraction level specific list of events
        • Synchronization
    • Refined set of events
      • Input to
        • Determine tolerances
      • Output from
        • Refine sets of events
      • Guidance
        • Abstraction level specific list of events
    • Synchronisation requirements
      • Output from
        • Specify and validate synchronisation requirements
      • Guidance
        • Each TADL guide can be seen as Requirements or Property
        • Synchronization
    • Synchronisation requirements [Higher]
      • Input to
        • Refine, introduce and validate synchronization requirements
      • Guidance
        • Each TADL guide can be seen as Requirements or Property
        • Synchronization
    • Synchronisation requirements [Refined]
      • Input to
        • Create solution
        • Verify and validate synchronisation
      • Output from
        • Refine, introduce and validate synchronization requirements
      • Guidance
        • Each TADL guide can be seen as Requirements or Property
  • Revise erroneous timing information
    • Timing requirement violation
      • Input to
        • Find cause for timing requirement violation
      • Output from
        • Identify timing requirement violation
      • Guidance
        • Each TADL guide can be seen as Requirements or Property
    • Timing requirement violation cause
      • Input to
        • Resolve violation at current abstraction level
      • Output from
        • Transform timing requirement violation from higher abstraction level
        • Transform timing requirement violation from lower abstraction level as a risk
        • Find cause for timing requirement violation
    • Timing requirement violation cause [Higher]
      • Input to
        • Transform timing requirement violation from higher abstraction level
    • Timing requirement violation cause [Lower]
      • Input to
        • Transform timing requirement violation from lower abstraction level as a risk
    • Updated solution
      • Input to
        • Reverify the validated requirement
      • Output from
        • Resolve violation at current abstraction level
      • Guidance
        • Communication delay
        • End-to-end latency
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
        • Execution time (Worst-case, Best-case, Simulated, Measured)
    • Updated timing model
      • Input to
        • Reverify the validated requirement
      • Output from
        • Resolve violation at current abstraction level
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Jitter
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
        • Time budget slack
    • Updated analysis report
      • Input to
        • Reverify the validated requirement
      • Output from
        • Resolve violation at current abstraction level
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Jitter
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
        • Time budget slack
  • Exchange timing models
    • Control performance requirements
      • Input to
        • Create solution [Supplier]
    • Controller software
      • Input to
        • Attach timing requirements to solution [Supplier]
      • Output from
        • Create solution [Supplier]
    • Controller time structure
      • Input to
        • Analyse timing model [Supplier]
        • Specify and validate timing requirements [Supplier]
        • Create timing model [OEM]
      • Output from
        • Create timing model [Supplier]
    • Controller timing properties
      • Input to
        • Analyse timing model [Supplier]
        • Specify and validate timing requirements [Supplier]
        • Create timing model [OEM]
      • Output from
        • Create timing model [Supplier]
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Jitter
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
    • Controller timing requirements
      • Input to
        • Attach timing requirements to solution [OEM]
      • Output from
        • Specify and validate timing requirements [Supplier]
      • Guidance
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Jitter
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
    • Integrated system
      • Input to
        • Attach timing requirements to solution [OEM]
        • Analyze timing model [OEM]
      • Output from
        • Create solution [OEM]
    • Integrated system timing model
      • Input to
        • Analyze timing model [OEM]
      • Output from
        • Create timing model [OEM]
      • Guidance
        • Jitter
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget
    • Solutions (binary) [Supplier]
      • Input to
        • Create solution [OEM]
    • System timing behaviour
      • Input to
        • Check timing quality [Optional]
        • Verify solution against timing requirements [OEM]
      • Output from
        • Analyze timing model [OEM]
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Jitter
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Response time
        • Sampling rates
        • Synchronization
    • System timing quality report
      • Input to
        • Specify and validate timing requirements [OEM]
      • Output from
        • Check timing quality [Optional]
    • Timing quality requirements
      • Input to
        • Check timing quality [Optional]
    • Timing requirements
      • Input to
        • Create solution [Supplier]
        • Attach timing requirements to solution [Supplier]
      • Output from
        • Specify and validate timing requirements [OEM]
      • Guidance
        • Communication delay
        • End-to-end latency
        • Execution time (Worst-case, Best-case, Simulated, Measured)
        • Period Constraint
        • Release delay
        • Repetition pattern
        • Each TADL guide can be seen as Requirements or Property
        • Response time
        • Sampling rates
        • Synchronization
        • Time budget