Professional Documents
Culture Documents
designs.
Emmanuel Gaudin
emmanuel.gaudin @ pragmadev.com
• SDL is graphical,
Semaphore
RTOS
driver
driver
hardware
ESE Kongress 2008
SDL: the figures
Years of experience allows to quantify gains of SDL usage.
• There is no semantic,
UML 2.0 did not come with standard profiles for each
application domain,
Analysis UML
UML UML
UML
SDL
SDL
Specification
SDL-RT
SDL
SDL
CC
Design C++
C++ Java
Java CC C++
C++
Real Real
GUI Web Telecom
time time
SDL-RT
• Extends SDL usage to all embedded and real time
applications based on a RTOS,
• Legible and based on a standard textual storage format
(XML),
• Submitted to ITU to be officially integrated in SDL,
• Is a UML profile for real time applications.
Architecture
and
Communication
Process
local
Can be used:
• As specification
• Execution traces
call conReq
connecting connected
counter = 0 counter = 0
connected connecting
… …
counter = 0 counter = 1
conConf connectingTimer
connected connecting
counter = 1 counter = 2
… … connected connecting
counter = 2 counter = 3
SDL transitions
or System states
Atomic instructions
Because of the
combinational
explosion, all
states can not
be visited.
The same technic used to verify properties can be used to generate tests.
ESE Kongress 2008
SDL model verification
Within the French national
competitiveness cluster
ExoTICus:
• Partnership with Verimag a
national French lab on IF
technology.
• Exhaustive simulation,
• Observers,
• Test generation.
• Tool functionality
• IF export,
• Runs a script,
• Generates an MSC trace.
IF compiler
executes
executable
transition
state file error file
file
Python script
socket Resulting
MSC
scenario