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