Top Qs
Timeline
Chat
Perspective
PragmaDev Studio
Modeling and testing software tool From Wikipedia, the free encyclopedia
Remove ads
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]
 | A major contributor to this article appears to have a close connection with its subject. (May 2020) |
Remove ads
Remove ads
Features
Summarize
Perspective
Specification and Description Language
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]
Simulation
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]
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.[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]
Model checking
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.
Functional testing
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]
Model Based Testing
- PragmaDev Studio can generate TTCN-3 test cases out of Message Sequence Charts resulting from a simulation.[18]
- Test cases can also be generated out of the SDL model through a third party technology such as IFx from Verimag or Diversity from CEA-LIST: Laboratory for Integration of Systems and Technology.[19] For that purpose PragmaDev Studio exports the model to a pivot language that is understood by the third party tool.[19]
Deployment simulation
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]
Performance analysis
PragmaDev Studio introduces a Performance Analyzer to find the best architecture for time or energy in a set of scenario.[22]
CPS simulation
PragmaDev Studio supports Cyber Physical Systems (CPS) simulation via the Functional Mock-up Interface.[23]
Remove ads
Application domains
Telecommunications
- Alcatel has selected PragmaDev for the development and maintenance of their telephone switches.[24]
- Sharif University has studied an optimization of the MAC layer for the IEEE 802.11wireless protocol.[25]
- Modeling and simulation of IoT.[26][27]
- Testing of network protocols.[28]
Avionic and space
Semi-conductors
- Hardware architecture optimization of micro-processors.[32]
Security
- Development of a decentralized earthquake early warning system.[33][34]
- Design and implementation of an automatic identification system.[35]
- Safety requirements verification applied to European Train Control System.[36]
Remove ads
PragmaDev Studio history
PragmaDev
The creator of PragmaDev Studio is the private company PragmaDev. PragmaDev was founded in 2001, and is located in Paris, France.[37]
References
Further reading
External links
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads