PragmaDev Studio

From Wikipedia, the free encyclopedia
PragmaDev Studio
Developer(s)PragmaDev
Stable release
5.5
Operating systemLinux, Windows, macOS, Raspbian
TypeSoftware development, Conformance testing
LicenseFree and commercial
Websitepragmadev.com

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]

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[]

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[]

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.[37]

References[]

  1. ^ a b "Embedded Control Europ 2014 Yellow Pages" (PDF).
  2. ^ a b "Specification and Description Language - Real Time". www.sdl-rt.org. Retrieved 2018-03-17.
  3. ^ "PragmaDev Studio User Manual" (PDF). April 11, 2018.
  4. ^ "PragmaDev tools features and prices".
  5. ^ "PragmaDev Studio Installation Manual" (PDF).
  6. ^ "ITU-T - Z.100 : Specification and Description Language - Overview of SDL-2010".
  7. ^ a b "SDL Forum Society - What is SDL ?".
  8. ^ "ITU-T - Z.104 : Specification and Description Language - Data and action language in SDL-2010".
  9. ^ "ITU-T - Z.109 : Specification and Description Language - Unified modeling language profile for SDL-2010".
  10. ^ 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)
  11. ^ 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.
  12. ^ 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.
  13. ^ 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.
  14. ^ 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)
  15. ^ 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)
  16. ^ "Embedded Control Europe - 2017 Yellow Pages" (PDF).
  17. ^ 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)
  18. ^ 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.
  19. ^ 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.
  20. ^ 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.
  21. ^ 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.
  22. ^ 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.
  23. ^ "PragmaDev Studio new features".
  24. ^ "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.
  25. ^ 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.
  26. ^ 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.
  27. ^ 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.
  28. ^ "Cost Effective Cross-layer Protocol Testing: A Case Study | SASE 2011". www.sase.com.ar (in European Spanish). Retrieved 2018-03-21.
  29. ^ 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.
  30. ^ 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.
  31. ^ 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.
  32. ^ 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.
  33. ^ 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.
  34. ^ 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.
  35. ^ 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.
  36. ^ 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.
  37. ^ "PragmaDev. Profile". Retrieved 2014-03-30. PragmaDev is [a] provider of graphical software modelling tools based on SDL...

Further reading[]

External links[]

Retrieved from ""