PragmaDev Studio


PragmaDev Studio is a modeling and testing software tool introduced by PragmaDev in 2002 dedicated to the specification of communicating systems. It was initially called Real Time Developer Studio or RTDS. Its primary objective was to support SDL-RT modeling technology. Since V5.0 launched on October 7, 2015 RTDS is called PragmaDev Studio, and it is organized in four independent modules: Specifier, Developer, Tester and Tracer. V5.1 launched on November 29, 2016 introduces a freemium licensing model.

Features

Specification and Description Language

The Specification and Description Language is a modeling language standardized by ITU-T to describe communicating systems. SDL is graphical but contains an action language with a semantic of execution making the SDL models executable. SDL is considered formal because it is complete and non-ambiguous. SDL-RT is a variant of SDL where the action language is replaced by C or C++ instructions. SDL-RT is considered semi-formal because it mixes SDL with code. ITU-T has standardized a UML profile based on SDL making by extension any SDL tool a sort of UML tool.

Simulation

PragmaDev Specifier embeds an SDL simulator that behaves like a model debugger. It is possible to set breakpoints graphically, to view variables, and pending timers. During execution a live trace is generated based on the Message Sequence Chart ITU-T standard.

Code generation (compiler)

PragmaDev Studio can generate C or C++ code out of an SDL model, and PragmaDev Developer can generate C or C++ code out of an SDL-RT model. The generated code can be adapted to any Real Time Operating System or scheduler. The tool offers a number of integrations with debuggers such as gdb so that the user feels he is still debugging the model, not the generated code.

Model checking

PragmaDev Studio can export the SDL model to different formats such as IF, FIACRE, or XLIA in order to verify the model in third party tools such as IFx from Verimag, TINA from LAAS, or Diversity from CEA LIST.

Functional testing

PragmaDev Tester supports the TTCN-3 international standard for testing. The tool can either simulate the test cases against the SDL model, or generate code to be compiled and run against a real SUT.

Model Based Testing

PragmaDev Studio can simulate the deployment of many instances of an SDL model for verifying its behavior in a distributed computing environment. This feature is based on research from Humboldt University of Berlin.

Performance analysis

PragmaDev Studio introduces a Performance Analyzer to find the best architecture for time or energy in a set of scenario.

CPS simulation

PragmaDev Studio supports Cyber Physical Systems simulation via the Functional Mock-up Interface.

Application domains

Telecommunications


Define $dx = 15 # shift text to right side of bar
Define $dy = -3 # shift text to right side of bar
Define $now = 03/21/2018
Define $start = 05/17/2001
ImageSize = width:900 height:80
PlotArea = left:100 right:0 top:20 bottom:20
AlignBars = justify
DateFormat = mm/dd/yyyy
Period = from:$start till:$now
TimeAxis = orientation:horizontal
ScaleMajor = unit:year increment:1 start:2002
PlotData=
bar:Leaders color:blue width:30 mark: align:center fontsize:S
from:$start till:$now

from:05/17/2001 till:02/11/2002 fontsize:S text:0.x
from:02/11/2002 till:04/01/2003 fontsize:S text:1.x
from:04/01/2003 till:10/20/2004 fontsize:S text:2.x
from:10/20/2004 till:10/20/2009 fontsize:S text:3.x
from:10/20/2009 till:10/07/2015 fontsize:S text:4.x
from:10/07/2015 till:$now fontsize:S text:5.x

Release yearVersionSummary
20021.xSDL-RT support with code generation for VxWorks and debug with Tornado.
20032.xUML support.
20043.xSDL support including simulation.
20094.xTTCN-3 support for testing.
20155.xNew look and feel. New organization in modules: Specifier, Developer, Tester, Tracer.

PragmaDev

The creator of PragmaDev Studio is the private company PragmaDev. PragmaDev was founded in 2001, and is located in Paris, France.