Welcome to EverybodyWiki ! Nuvola apps kgpg.png Sign in or create an account to improve, watchlist or create an article like a company page or a bio (yours ?)...

PragmaDev Studio

From EverybodyWiki Bios & Wiki
Jump to navigation Jump to search

PragmaDev Studio
Stable release
    Lua error in Module:Wd at line 162: attempt to index field 'wikibase' (a nil value).
Operating systemLinux, Windows, OS X
TypeSoftware development
LicenseFree and commercial

PragmaDev Studio is a modeling tool introduced by PragmaDev in 2002. It was initially called Real Time Developer Studio or RTDS. Its primary objective was to support SDL-RT[1] 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. V5.1 launched on November 29, 2016 introduces a freemium licensing model.

Features[edit | edit source]

Specification and Description Language[edit | edit source]

The Specification and Description Language (SDL) is a modeling language standardized by ITU-T to describe communicating systems. SDL is graphical but contains an action language with a semantic of execution making the SDL models executable. SDL is considered formal because it is complete and non ambiguous. SDL-RT is a variant of SDL where the action language is replaced by C or C++ instructions. SDL-RT is considered semi-formal because it mixes SDL with code. ITU-T has standardized a UML profile based on SDL making by extension any SDL tool a sort of UML tool.

Simulation[edit | edit source]

PragmaDev Specifier embeds an SDL simulator that behaves like a model debugger. It is possible to set breakpoints graphically, to view variables, and pending timers. During execution a live trace is generated based on the Message Sequence Chart ITU-T standard.

Code generation[edit | edit source]

PragmaDev Developer can generate C or C++ code out of an SDL model. The generated code can be adapted to any Real Time Operating System or scheduler. 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.

Model checking[edit | edit source]

PragmaDev Studio can export the SDL model to different formats such as IF, FIACRE, or XLIA in order to verify the model in third party tools such as IFx from Verimag, TINA from LAAS, or Diversity from CEA LIST.

Testing[edit | edit source]

PragmaDev Tester supports the TTCN-3 international standard for testing. The tool can either simulate the test cases against the SDL model, or generate code to be compiled and run against a real SUT.

Model Based Testing[edit | edit source]

  • PragmaDev Studio can generate TTCN-3 test cases out of Message Sequence Charts resulting from a simulation.
  • 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.[2] For that purpose PragmaDev Studio exports the model to a pivot language that is understood by the third party tool.

Deployment simulation[edit | edit source]

PragmaDev Studio can simulate the deployment of many instances of an SDL model for verifying its behavior in a distributed environment. This feature is based on research from Humboldt University of Berlin.[3] [4]

Performance analysis[edit | edit source]

PragmaDev Studio introduces a Performance Analyzer to find the best architecture for time or energy in a set of scenario.[5]

CPS simulation[edit | edit source]

PragmaDev Studio supports Cyber Physical Systems (CPS) simulation via the Functional Mock-up Interface.

Application domains[edit | edit source]

Telecommunications[edit | edit source]

  • Alcatel has selected PragmaDev for the development and maintenance of their switches.[6]
  • Sharif University has studied an optimization of the MAC layer for the 802.11 wireless protocol.[7]
  • Modeling and simulation of IoT.[8][9]
  • Testing of network protocols.[10]

Avionic & Space[edit | edit source]

  • Specification and development of the Air Traffic Control system for Airbus planes.[11]
  • System architecture optimization for a space mission.[12]
  • Integration in TASTE, the ESA framework dedicated to the development of real time and embedded systems.[13]

Semi-conductors[edit | edit source]

  • Hardware architecture optimization of micro-processors.[14]

Security[edit | edit source]

PragmaDev Studio history[edit | edit source]

<timeline> Define $dx = 15 # shift text to right side of bar Define $dy = -3 # shift text to right side of bar Define $now = 03/21/2018 Define $start = 05/17/2001

ImageSize = width:900 height:80 PlotArea = left:100 right:0 top:20 bottom:20 AlignBars = justify

DateFormat = mm/dd/yyyy Period = from:$start till:$now TimeAxis = orientation:horizontal ScaleMajor = unit:year increment:1 start:2002


 bar:Leaders color:blue width:30 mark:(line,white) align:center fontsize:S
 from:$start till:$now

 from:05/17/2001 till:02/11/2002 fontsize:S text:0.x
 from:02/11/2002 till:04/01/2003 fontsize:S text:1.x
 from:04/01/2003 till:10/20/2004 fontsize:S text:2.x
 from:10/20/2004 till:10/20/2009 fontsize:S text:3.x
 from:10/20/2009 till:10/07/2015 fontsize:S text:4.x
 from:10/07/2015 till:$now fontsize:S text:5.x


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

The creator of PragmaDev Studio is the private company PragmaDev. PragmaDev was founded in 2001, and is located in Paris, France.[18]

References[edit | edit source]

  1. "Specification and Description Language - Real Time". www.sdl-rt.org. Retrieved 2018-03-17.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. "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.
  7. 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.
  8. 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.
  9. 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.
  10. "Cost Effective Cross-layer Protocol Testing: A Case Study | SASE 2011". www.sase.com.ar (in español). Retrieved 2018-03-21.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. "PragmaDev. Profile". Retrieved 2014-03-30. PragmaDev is [a] provider of graphical software modelling tools based on SDL...

Further reading[edit | edit source]

External links[edit | edit source]

This article "PragmaDev Studio" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:PragmaDev Studio. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.

Compte Twitter EverybodyWiki Follow us on https://twitter.com/EverybodyWiki !