Jump to content

PragmaDev Studio

Edit links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Manu31415 (talk | contribs) at 13:06, 23 April 2018 (Completed the article with all the references. Please consider removing the notice.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

PragmaDev Studio
Developer(s)PragmaDev
Stable release
5.3
Operating systemLinux, Windows, OS X
TypeSoftware development, Conformance testing
LicenseFree and commercial
Websitepragmadev.com

PragmaDev Studio is a modeling and testing 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

  • Testing of network protocols.[28]

Avionic and Space

  • 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.[36]

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. {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  3. ^ "PragmaDev Studio User Manual" (PDF). April 11, 2018. {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  4. ^ "PragmaDev tools features and prices". {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  5. ^ "PragmaDev Studio Installation Manual" (PDF). {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  6. ^ "ITU-T - Z.100 : Specification and Description Language - Overview of SDL-2010". {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  7. ^ a b "SDL Forum Society - What is SDL ?". {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  8. ^ "ITU-T - Z.104 : Specification and Description Language - Data and action language in SDL-2010". {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  9. ^ "ITU-T - Z.109 : Specification and Description Language - Unified modeling language profile for SDL-2010". {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  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: 144–155. doi:10.1007/978-3-642-21652-7_9. ISBN 9783642216510.
  13. ^ Fischer, Joachim; Kühnlenz, Frank; Ahrens, Klaus; Eveslage, Ingmar (2009-12). "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. {{cite journal}}: Check date values in: |date= (help)
  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. ^ 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: extra punctuation (link) CS1 maint: location (link) CS1 maint: others (link)
  16. ^ "Embedded Control Europe - 2017 Yellow Pages" (PDF). {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  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: 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: 198–206. doi:10.1007/978-3-319-11743-0_14. ISBN 9783319117423.
  20. ^ Brumbulli, Mihal; Fischer, Joachim. "Simulation visualization of distributed communication systems". Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC). doi:10.1109/wsc.2012.6465021.
  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: 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: 100–115. doi:10.1007/978-3-319-46613-2_7. ISBN 9783319466125.
  23. ^ "PragmaDev Studio new features". {{cite web}}: Cite has empty unknown parameter: |dead-url= (help)
  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: 489–492. doi:10.1109/ISPACS.2006.364704.
  26. ^ Sherratt, Edel; Ober, Ileana; Gaudin, Emmanuel; Casas, Pau Fonseca i; Kristoffersen, Finn (2015-10-12). "SDL - The IoT Language". SDL 2015: Model-Driven Engineering for Smart Cities. Lecture Notes in Computer Science. Springer, Cham: 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: 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: 81–88. doi:10.1007/978-3-319-24912-4_7. ISBN 9783319249117.
  33. ^ Fischer, Joachim; Kühnlenz, Frank; Ahrens, Klaus; Eveslage, Ingmar. "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. "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: 1–5. doi:10.1109/SYSTEMS.2008.4518998.
  36. ^ "PragmaDev. Profile". Retrieved 2014-03-30. PragmaDev is [a] provider of graphical software modelling tools based on SDL...

Further reading

Retrieved from "https://en.wikipedia.org/enwiki/w/index.php?title=PragmaDev_Studio&oldid=837856127"