PragmaDev Studio
![]() | 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]
Features[]
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]
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[]
- Specification and development of the Air traffic control system for Airbus planes.[29]
- System architecture optimization for a space mission.[30]
- Integration in TASTE, the ESA framework dedicated to the development of real time and embedded systems.[31]
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]
PragmaDev Studio history[]
![](http://upload.wikimedia.org/wikipedia/en/timeline/csjy9slo0ncwobgnojoy9n6aue1sa06.png)
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.[37]
References[]
- ^ a b "Embedded Control Europ 2014 Yellow Pages" (PDF).
- ^ a b "Specification and Description Language - Real Time". www.sdl-rt.org. Retrieved 2018-03-17.
- ^ "PragmaDev Studio User Manual" (PDF). April 11, 2018.
- ^ "PragmaDev tools features and prices".
- ^ "PragmaDev Studio Installation Manual" (PDF).
- ^ "ITU-T - Z.100 : Specification and Description Language - Overview of SDL-2010".
- ^ a b "SDL Forum Society - What is SDL ?".
- ^ "ITU-T - Z.104 : Specification and Description Language - Data and action language in SDL-2010".
- ^ "ITU-T - Z.109 : Specification and Description Language - Unified modeling language profile for SDL-2010".
- ^ Brumbulli, Mihal; Gaudin, Emmanuel (2016-01-27). "Automatic Interleaving for Testing Distributed Systems". doi:10.13140/RG.2.1.4223.9764.
{{cite journal}}
: Cite journal requires|journal=
(help) - ^ a b c Brumbulli, Mihal; Gaudin, Emmanuel (2016). Complex Systems Design & Management Asia. Advances in Intelligent Systems and Computing. Springer, Cham. pp. 17–29. doi:10.1007/978-3-319-29643-2_2. ISBN 9783319296425.
- ^ a b Brumbulli, Mihal; Fischer, Joachim (2010-10-04). SDL Code Generation for Network Simulators. System Analysis and Modeling: About Models. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg. pp. 144–155. doi:10.1007/978-3-642-21652-7_9. ISBN 9783642216510.
- ^ Fischer, Joachim; Kühnlenz, Frank; Ahrens, Klaus; Eveslage, Ingmar (December 2009). "Model-based Development of Self-organizing Earthquake Early Warning Systems". SNE Simulation Notes Europe. 18 (3–4): 9–20. doi:10.11128/sne.19.on.09941. ISSN 2305-9974.
- ^ Rangra, Subeer; Gaudin, Emmanuel (2014-02-06). "SDL to Fiacre translation". doi:10.13140/2.1.1819.1683.
{{cite journal}}
: Cite journal requires|journal=
(help) - ^ Bagnato, Alessandra; Indrusiak, Leandro Soares; Quadri, Imran Rafiq; Rossi, Matteo (2014). Handbook of research on embedded system design. Bagnato, Alessandra, 1974-, Indrusiak, Leandro Soares, 1974-, Quadri, Imran Rafiq, 1981-, Rossi, Matteo,, IGI Global. Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA). ISBN 9781466661943. OCLC 892759153.
{{cite book}}
: CS1 maint: location (link) - ^ "Embedded Control Europe - 2017 Yellow Pages" (PDF).
- ^ Brumbulli, Mihal; Gaudin, Emmanuel (2016-01-27). "Automatic Interleaving for Testing Distributed Systems". doi:10.13140/rg.2.1.4223.9764.
{{cite journal}}
: Cite journal requires|journal=
(help) - ^ Gaudin, Emmanuel; Brunel, Eric (2013-06-26). Property Verification with MSC. SDL 2013: Model-Driven Dependability Engineering. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg. pp. 19–35. doi:10.1007/978-3-642-38911-5_2. ISBN 9783642389108.
- ^ a b Deltour, Julien; Faivre, Alain; Gaudin, Emmanuel; Lapitre, Arnault (2014-09-29). Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. System Analysis and Modeling: Models and Reusability. Lecture Notes in Computer Science. Springer, Cham. pp. 198–206. doi:10.1007/978-3-319-11743-0_14. ISBN 9783319117423.
- ^ Brumbulli, Mihal; Fischer, Joachim (2012). Simulation visualization of distributed communication systems. Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC). pp. 1–12. CiteSeerX 10.1.1.659.8202. doi:10.1109/wsc.2012.6465021. ISBN 978-1-4673-4782-2.
- ^ Brumbulli, Mihal; Fischer, Joachim (2012-10-01). Simulation Configuration Modeling of Distributed Communication Systems. System Analysis and Modeling: Theory and Practice. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg. pp. 198–211. doi:10.1007/978-3-642-36757-1_12. ISBN 9783642367564.
- ^ Brumbulli, Mihal; Gaudin, Emmanuel (2016-10-03). Optimizing Performance of SDL Systems. System Analysis and Modeling. Technology-Specific Aspects of Models. Lecture Notes in Computer Science. Springer, Cham. pp. 100–115. doi:10.1007/978-3-319-46613-2_7. ISBN 9783319466125.
- ^ "PragmaDev Studio new features".
- ^ "PragmaDev : Alcatel sélectionne la plateforme de PragmaDev pour le développement de ses systèmes de commutation - News-Eco Informatique". www.news-eco.com. Retrieved 2018-03-21.
- ^ Samadi, S.; Golmohammadi, A.; Jannesari, A.; Movahedi, M. R.; Khalaj, B.; Ghaemmaghami, S. (December 2006). A Novel Implementation of the IEEE802.11 Medium Access Control. 2006 International Symposium on Intelligent Signal Processing and Communications. pp. 489–492. doi:10.1109/ISPACS.2006.364704. ISBN 978-0-7803-9732-3.
- ^ Sherratt, Edel; Ober, Ileana; Gaudin, Emmanuel; Casas, Pau Fonseca i; Kristoffersen, Finn (2015-10-12). SDL - The IoT Language (PDF). SDL 2015: Model-Driven Engineering for Smart Cities. Lecture Notes in Computer Science. Springer, Cham. pp. 27–41. doi:10.1007/978-3-319-24912-4_3. ISBN 9783319249117.
- ^ Brumbulli, Mihal; Gaudin, Emmanuel (2016). Complex Systems Design & Management Asia. Advances in Intelligent Systems and Computing. Springer, Cham. pp. 17–29. doi:10.1007/978-3-319-29643-2_2. ISBN 9783319296425.
- ^ "Cost Effective Cross-layer Protocol Testing: A Case Study | SASE 2011". www.sase.com.ar (in European Spanish). Retrieved 2018-03-21.
- ^ Bonnafous, Eric; Boniol, Frédéric; Dhaussy, Philippe; Dumas, Xavier (October 2008). "Experience of an efficient and actual MDE process : design and verification of ATC onboard system". Conférences on UML&FORMAL METHODS. Kitakyushu-city, Japan.
- ^ Brumbulli, Mihal; Gaudin, Emmanuel; Cortier, Alexandre; Rossignol, Alain (January 2018). "System Optimization: A Use Case in the Space Domain". 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018). Toulouse, France.
- ^ Perrotin, Maxime; Conquet, Eric; Delange, Julien; Schiele, André; Tsiodras, Thanassis (2011-07-05). TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future. SDL 2011: Integrating System and Software Modeling. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg. pp. 26–37. doi:10.1007/978-3-642-25264-8_4. ISBN 9783642252631.
- ^ Gaudin, Emmanuel; Clouard, Alain (2015-10-12). An Experiment to Introduce Interrupts in SDL. SDL 2015: Model-Driven Engineering for Smart Cities. Lecture Notes in Computer Science. Springer, Cham. pp. 81–88. doi:10.1007/978-3-319-24912-4_7. ISBN 9783319249117.
- ^ Fischer, Joachim; Kühnlenz, Frank; Ahrens, Klaus; Eveslage, Ingmar (2009). "Model-based Development of Self-organizing Earthquake Early Warning Systems". SNE Simulation Notes Europe. 18 (3–4): 9–20. doi:10.11128/sne.19.on.09941.
- ^ Fischer, Joachim; Redlich, Jens-Peter; Zschau, Jochen; Milkereit, Claus; Picozzi, Matteo; Fleming, Kevin; Brumbulli, Mihal; Lichtblau, Björn; Eveslage, Ingmar (2012). "A wireless mesh sensing network for early warning". Journal of Network and Computer Applications. 35 (2): 538–547. doi:10.1016/j.jnca.2011.07.016.
- ^ Hassine, M. B.; Grati, K.; Ghazel, A.; Kouki, A. (April 2008). Design and Implementation of AIS Link Layer Using SDL-RT. 2008 2nd Annual IEEE Systems Conference. pp. 1–5. doi:10.1109/SYSTEMS.2008.4518998. ISBN 978-1-4244-2149-7.
- ^ Ameur-Boulifa, Rabea; Cavalli, Ana; Maag, Stephane (July 2019). From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. ICSOFT 2019. Communications in Computer and Information Science, vol 1250. Springer, Cham. pp. 156–178. doi:10.1007/978-3-030-52991-8_8. ISBN 978-3-030-52990-1.
- ^
"PragmaDev. Profile". Retrieved 2014-03-30.
PragmaDev is [a] provider of graphical software modelling tools based on SDL...
Further reading[]
- Doldi, Laurent (2003). "Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis". John Wiley and Sons Inc.
- Haddad, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure (2013). "Distributed Systems: Design and Algorithms". John Wiley and Sons Inc.
- Brumbulli, Mihal (2015). "Model-driven development and simulation of distributed communication systems". Humboldt University of Berlin.
- Kuhn, T.; Gotzhein, R.; Webel, C. (2006). "Model-Driven Development with SDL – Process, Tools, and Experiences". Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science. Springer, Berlin, Heidelberg: 83–97.
External links[]
- Software for modeling software