PragmaDev Studio

PragmaDev Studio
Developer(s) PragmaDev
Stable release 5.0
Operating system Linux, Windows, Solaris, OS X
Type Software development
License Proprietary
Website pragmadev.com

PragmaDev Studio is a modeling tool introduced by PragmaDev in 2002. It was initially called Real Time Developer Studio or RTDS. Its primary objective was to support SDL-RT modeling technology, a mix of the standard SDL from ITU-T and C language. Since V5.0 launched on October 7, 2015 RTDS is called PragmaDev Studio. Is it organized in four independent modules: Specifier, Developer, Tester and Tracer.

Features

Specification and Description Language

The Specification and Description Language -SDL- 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 the mix of SDL and 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

PragmaDev Developer can generate C or C++ out of an SDL model. The generated 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.

Testing

PragmaDev Tester support TTCN-3 international standard for testing. The tool can simulate the test case against the SDL model, or testing code can be generated to run against a real SUT (System Under Test).

Model Based Testing

Performance analysis

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

PragmaDev Studio history

Release year Version Summary
2002 1.x SDL-RT support with code generation for VxWorks and debug with Tornado.
2003 2.x UML support.
2004 3.x SDL support including simulation.
2009 4.x TTCN-3 support for testing.
2015 5.x New 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.[1]

References

  1. "PragmaDev. Profile.". Retrieved 2014-03-30. PragmaDev is [a] provider of graphical software modelling tools based on SDL...

Further reading

External links

This article is issued from Wikipedia - version of the Wednesday, April 13, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.