INTERVAL 1 Timed extensions to SDL l Analysis
- Slides: 5
INTERVAL 1 Timed extensions to SDL l Analysis requirements – Assumptions on moments and duration l Semantics with controllable time l Design requirements – – – l Interruptive Timers in SDL Timing of Signals and Processes Non-buffered Signal Other timer problems Grouping Block/Process Instances Atomic Transactions and Synchronisation Previous Next 17/01/2022
INTERVAL 2 Timed extensions to SDL (cont. ) l Verification and validation requirements – Time-related properties expressed in SDL l Join verification with timed MSCs l Performance and dependability evaluation requirements – Extending SDL with stochastic modelling concepts l Targeting requirements – Mapping functionality to software architecture l Mapping load to hardware architecture Previous Next 17/01/2022
INTERVAL 3 Timed extensions to MSC l Analysis requirements • Implement MSC’ 2000 timed features • Automata-based requirements language l Verification and validation requirements • Properties expressed as timed-annotated MSCs • Generation of timed-annotated MSCs l Using time-annotated MSCs as input to timed SDL verification Previous Next 17/01/2022
INTERVAL 4 Timed extensions to TTCN l General requirements for the extension of TTCN – Time synchronisation – Qualitative verdicts – Architecture and PCO specification l Requirements related to the speed of the tester – Extension of TTCN by time intervals for test events – Introduction of priority scheduling mechanisms into TTCN executor benchmarking l Other extensions to TTCN for specifying performance tests l Previous Next 17/01/2022
INTERVAL 5 Tools requirements l General requirements – Timed / Untimed specification mode l Edition tools (support of timed extensions) l Simulation, Verification and validation tools – Temporal invariant verification – Infinite execution path detection (no time progress) – CATG tools l TTCN executor – Protocol-specific benchmarking / Protocol-independent benchmarking l Tools integration platform – Connection to external tools – Timed SDL-TTCN co-simulation Previous Next 17/01/2022