A major contributor to this article appears to have a
close connection with its subject. (May 2020) |
Developer(s) | PragmaDev |
---|---|
Stable release | 5.5
|
Operating system | Linux, Windows, macOS, Raspbian |
Type | Software development, Conformance testing |
License | Free and commercial |
Website |
pragmadev |
PragmaDev Studio is a modeling and testing software tool introduced by PragmaDev in 2002 dedicated to the specification of communicating systems. [1] It was initially called Real Time Developer Studio or RTDS. [1] Its primary objective was to support SDL-RT [2] 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. [3] V5.1 launched on November 29, 2016 introduces a freemium licensing model. [4] [5]
The Specification and Description Language (SDL) is a modeling language standardized by ITU-T to describe communicating systems. [6] SDL is graphical but contains an action language with a semantic of execution making the SDL models executable. [7] SDL is considered formal because it is complete and non-ambiguous. [7] SDL-RT is a variant of SDL where the action language is replaced by C or C++ instructions. [8] SDL-RT is considered semi-formal because it mixes SDL with code. [2] ITU-T has standardized a UML profile based on SDL making by extension any SDL tool a sort of UML tool. [9]
PragmaDev Specifier embeds an SDL simulator that behaves like a model debugger. [10] It is possible to set breakpoints graphically, to view variables, and pending timers. [11] During execution a live trace is generated based on the Message Sequence Chart ITU-T standard. [11]
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. [12] The generated code can be adapted to any Real Time Operating System or scheduler. [13] 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. [12]
PragmaDev Studio can export the SDL model to different formats such as IF, FIACRE, [14] or XLIA in order to verify the model in third party tools [15] such as IFx from Verimag, TINA from LAAS, or Diversity from CEA LIST.
PragmaDev Tester supports the TTCN-3 international standard for testing. [16] The tool can either simulate the test cases against the SDL model, or generate code to be compiled and run against a real SUT. [17]
PragmaDev Studio can simulate the deployment of many instances of an SDL model for verifying its behavior in a distributed computing environment. [11] This feature is based on research from Humboldt University of Berlin. [20] [21]
PragmaDev Studio introduces a Performance Analyzer to find the best architecture for time or energy in a set of scenario. [22]
PragmaDev Studio supports Cyber Physical Systems (CPS) simulation via the Functional Mock-up Interface. [23]
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. |
The creator of PragmaDev Studio is the private company PragmaDev. PragmaDev was founded in 2001, and is located in Paris, France. [37]
{{
cite journal}}
: Cite journal requires |journal=
(
help)
{{
cite journal}}
: Cite journal requires |journal=
(
help)
{{
cite book}}
: CS1 maint: location (
link) CS1 maint: location missing publisher (
link)
{{
cite journal}}
: Cite journal requires |journal=
(
help)
PragmaDev is [a] provider of graphical software modelling tools based on SDL...
A major contributor to this article appears to have a
close connection with its subject. (May 2020) |
Developer(s) | PragmaDev |
---|---|
Stable release | 5.5
|
Operating system | Linux, Windows, macOS, Raspbian |
Type | Software development, Conformance testing |
License | Free and commercial |
Website |
pragmadev |
PragmaDev Studio is a modeling and testing software tool introduced by PragmaDev in 2002 dedicated to the specification of communicating systems. [1] It was initially called Real Time Developer Studio or RTDS. [1] Its primary objective was to support SDL-RT [2] 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. [3] V5.1 launched on November 29, 2016 introduces a freemium licensing model. [4] [5]
The Specification and Description Language (SDL) is a modeling language standardized by ITU-T to describe communicating systems. [6] SDL is graphical but contains an action language with a semantic of execution making the SDL models executable. [7] SDL is considered formal because it is complete and non-ambiguous. [7] SDL-RT is a variant of SDL where the action language is replaced by C or C++ instructions. [8] SDL-RT is considered semi-formal because it mixes SDL with code. [2] ITU-T has standardized a UML profile based on SDL making by extension any SDL tool a sort of UML tool. [9]
PragmaDev Specifier embeds an SDL simulator that behaves like a model debugger. [10] It is possible to set breakpoints graphically, to view variables, and pending timers. [11] During execution a live trace is generated based on the Message Sequence Chart ITU-T standard. [11]
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. [12] The generated code can be adapted to any Real Time Operating System or scheduler. [13] 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. [12]
PragmaDev Studio can export the SDL model to different formats such as IF, FIACRE, [14] or XLIA in order to verify the model in third party tools [15] such as IFx from Verimag, TINA from LAAS, or Diversity from CEA LIST.
PragmaDev Tester supports the TTCN-3 international standard for testing. [16] The tool can either simulate the test cases against the SDL model, or generate code to be compiled and run against a real SUT. [17]
PragmaDev Studio can simulate the deployment of many instances of an SDL model for verifying its behavior in a distributed computing environment. [11] This feature is based on research from Humboldt University of Berlin. [20] [21]
PragmaDev Studio introduces a Performance Analyzer to find the best architecture for time or energy in a set of scenario. [22]
PragmaDev Studio supports Cyber Physical Systems (CPS) simulation via the Functional Mock-up Interface. [23]
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. |
The creator of PragmaDev Studio is the private company PragmaDev. PragmaDev was founded in 2001, and is located in Paris, France. [37]
{{
cite journal}}
: Cite journal requires |journal=
(
help)
{{
cite journal}}
: Cite journal requires |journal=
(
help)
{{
cite book}}
: CS1 maint: location (
link) CS1 maint: location missing publisher (
link)
{{
cite journal}}
: Cite journal requires |journal=
(
help)
PragmaDev is [a] provider of graphical software modelling tools based on SDL...