| |
Short video introduction
What we do explained in five minutes.
SDL-2010: Background, Rationale, and Survey
Rick Reed is Chairman at the SDL Forum society. This invited presentation concerns a revised
version of the ITU-T Specification and Description Language standard, which is scheduled to
be consented for approval by ITU-T during 2011. In this presentation and ongoing ITU-T work
the revised version is called SDL-2010. At the time of writing (April 2011) the current
standardized (or in ITU-T terminology Recommended) version is called SDL-2000. The
presentation gives some historical background on the development of the language. The
presentation includes rationale for the update of the language and the revised organization
of the language standard. After the history, there is a description of the new organization
followed by some details of the changed feature set of a revised version SDL-2010 compared with
SDL-2000. The presentation concludes with a snapshot of the status of the SDL-2010 standard.
This presentation was filmed during the SDL Forum 2011 hosted by IRIT in Toulouse.
The slides of the presentation can be found here.
Corporate full presentation
Corporate
flash presentation
recorded during Embedded world show in March 2009 by Emmanuel Gaudin.
Verification of model based designs
Verification of model based design
video and
paper
presented at the ESE Kongress the 10th of December 2008 by Emmanuel Gaudin.
This video requires QuickTime player.
Emmanuel Gaudin has a technical
background and developed protocol
stacks in SDL. He joined a
modeling tool vendor in 96 as a
Field Application Engineer and as a
trainer to finally become technical
director of the French branch.
Based on that experience, he
started PragmaDev in 2001 to
develop an SDL-RT tool where he is currently CEO.
This presentation will remind the basics of model driven engineering and how to determine if a
modeling language is a good candidate. Based on that analysis, a formal verification
technique will be explained and illustrated with an SDL model.
The slides of the presentation can be found here.
|
|
Tutorial
SDL-RT tutorial video presented at the SDL Forum 2007 by Eric Brunel.
This video requires QuickTime player.
Eric Brunel is co-founder and CTO of PragmaDev, and co-designer of the SDL-RT language.
He also participates in the ITU-T Study Group on System Design Languages. Before the company
creation in 2001, he had 10 years of experience as a project leader on development support
and modeling tools in a major company in the telecommunication industry. He is a specialist
in UML, SDL, and SDL-RT, and is an expert in object oriented development methodologies,
extreme programming, and test driven development.
The slides of the presentation can be found here.
European Space Agency Taste framework presentation
TASTE is an open-source tool-chain dedicated to the development of embedded, real-time systems.
It addresses the modelling and deployment of distributed systems containing heterogeneous software
and hardware components; it focuses on the automation of tedious, error-prone tasks that usually
make complex systems difficult to integrate and validate.
This presentation was filmed during the SDL Forum 2011 hosted by IRIT in Toulouse.
The slides of the presentation can be found here.
RTDS integration in ESA Taste framework
PragmaDev presentation during the Software Systems Division Final Presentation Days at the European Space Agency:
Real Time Developer Studio (RTDS) tool for Verification of properties and automatic code generation.
The slides are available here
to follow up the video.
Interview of Emmanuel Gaudin during RTS 2011 show in Paris (French).
This text will be replaced
Slides
- PragmaDev change requests presented at the
ITU-T SG17 meeting in Grimstad the 24th of June 2005
- PragmaDev presentation at RTS in Paris the 6th of March 2007:
SDL: 20 ans de programmation basée modèle
|
|
