Timed extensions to SDL

1
Timed extensions to SDL

• Analysis requirements
• Assumptions on moments and duration
• Semantics with controllable time
• Design requirements
• Interruptive Timers in SDL
• Timing of Signals and Processes
• Non-buffered Signal
• Other timer problems
• Grouping Block/Process Instances
• Atomic Transactions and Synchronisation

2
Timed extensions to SDL (cont.)

• Verification and validation requirements
• Time-related properties expressed in SDL
• Join verification with timed MSCs
• Performance and dependability evaluation
  requirements
• Extending SDL with stochastic modelling concepts
• Targeting requirements
• Mapping functionality to software architecture
• Mapping load to hardware architecture

3
Timed extensions to MSC

• Analysis requirements
• Implement MSC2000 timed features
• Automata-based requirements language
• Verification and validation requirements
• Properties expressed as timed-annotated MSCs
• Generation of timed-annotated MSCs
• Using time-annotated MSCs as input to timed SDL
  verification

4
Timed extensions to TTCN

• General requirements for the extension of TTCN
• Time synchronisation
• Qualitative verdicts
• Architecture and PCO specification
• Requirements related to the speed of the tester
• Extension of TTCN by time intervals for test
  events
• Introduction of priority scheduling mechanisms
  into TTCN
• TTCN executor benchmarking
• Other extensions to TTCN for specifying
  performance tests

5
Tools requirements

• General requirements
• Timed / Untimed specification mode
• Edition tools (support of timed extensions)
• Simulation, Verification and validation tools
• Temporal invariant verification
• Infinite execution path detection (no time
  progress)
• CATG tools
• TTCN executor
• Protocol-specific benchmarking /
  Protocol-independent benchmarking
• Tools integration platform
• Connection to external tools
• Timed SDL-TTCN co-simulation