PragmaDev Studio

Last updated
PragmaDev Studio
Developer(s) PragmaDev
Stable release
5.5
Operating system Linux, Windows, macOS, Raspbian
Type Software development, Conformance testing
License Free and commercial
Website pragmadev.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]

Contents

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

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

Semi-conductors

Security

PragmaDev Studio history

PragmaDev Studio
Release yearVersionSummary
20021.xSDL-RT support with code generation for VxWorks and debug with Tornado.
20032.xUML support.
20043.xSDL support including simulation.
20094.xTTCN-3 support for testing.
20155.xNew 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]

Related Research Articles

In computer science, static program analysis is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution.

The waterfall model is a breakdown of project activities into linear sequential phases, meaning they are passed down onto each other, where each phase depends on the deliverables of the previous one and corresponds to a specialization of tasks. The approach is typical for certain areas of engineering design. In software development, it tends to be among the less iterative and flexible approaches, as progress flows in largely one direction through the phases of conception, initiation, analysis, design, construction, testing, deployment and maintenance. The waterfall model is the earliest SDLC approach that was used in software development.

A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system.

Electronic design automation (EDA), also referred to as electronic computer-aided design (ECAD), is a category of software tools for designing electronic systems such as integrated circuits and printed circuit boards. The tools work together in a design flow that chip designers use to design and analyze entire semiconductor chips. Since a modern semiconductor chip can have billions of components, EDA tools are essential for their design; this article in particular describes EDA specifically with respect to integrated circuits (ICs).

<span class="mw-page-title-main">Model checking</span> Computer science field

In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification. This is typically associated with hardware or software systems, where the specification contains liveness requirements as well as safety requirements.

A hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior – a system that can both flow and jump. Often, the term "hybrid dynamical system" is used, to distinguish over hybrid systems such as those that combine neural nets and fuzzy logic, or electrical and mechanical drivelines. A hybrid system has the benefit of encompassing a larger class of systems within its structure, allowing for more flexibility in modeling dynamic phenomena.

System testing is testing conducted on a complete integrated system to evaluate the system's compliance with its specified requirements.

Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems.

In computer science, an abstract state machine (ASM) is a state machine operating on states that are arbitrary data structures.

A system architecture is the conceptual model that defines the structure, behavior, and more views of a system. An architecture description is a formal description and representation of a system, organized in a way that supports reasoning about the structures and behaviors of the system.

A bigraph can be modelled as the superposition of a graph and a set of trees.

<span class="mw-page-title-main">Message sequence chart</span> Interaction diagram from the SDL family

A message sequence chart is an interaction diagram from the SDL family standardized by the International Telecommunication Union.

ConcurTaskTrees (CTT) is a notation for task model specifications useful to support design of interactive applications specifically tailored for user interface model-based design.

<span class="mw-page-title-main">Juan Pavón</span> Spanish computer scientist (b.1962)

Juan Pavón is a Spanish computer scientist, full professor of the Complutense University of Madrid (UCM). He is a pioneer researcher in the field of Software Agents, co-creator of the FIPA MESSAGE and INGENIAS methodologies, and founder and director of the research group GRASIA: GRoup of Agent-based, Social and Interdisciplinary Applications at UCM. He is known for his work in the field of Artificial Intelligence, specifically in agent-oriented software engineering. He has been often cited by mainstream media, as a reference in Artificial Intelligence.

<span class="mw-page-title-main">INGENIAS</span>

INGENIAS is an open-source software framework for the analysis, design and implementation of multi-agent systems (MAS).

System-level simulation (SLS) is a collection of practical methods used in the field of systems engineering, in order to simulate, with a computer, the global behavior of large cyber-physical systems.

<span class="mw-page-title-main">Jayadev Misra</span> American computer scientist (born 1947)

Jayadev Misra is an Indian-born computer scientist who has spent most of his professional career in the United States. He is the Schlumberger Centennial Chair Emeritus in computer science and a University Distinguished Teaching Professor Emeritus at the University of Texas at Austin. Professionally he is known for his contributions to the formal aspects of concurrent programming and for jointly spearheading, with Sir Tony Hoare, the project on Verified Software Initiative (VSI).

<span class="mw-page-title-main">GAMA Platform</span> Simulation platform

GAMA is a simulation platform with a complete modelling and simulation integrated development environment (IDE) for building spatially explicit agent-based simulations.

Signal Transition Graphs (STGs) are typically used in electronic engineering and computer engineering to describe dynamic behaviour of asynchronous circuits, for the purposes of their analysis or synthesis.

UML-RSDS is a lightweight Model-driven engineering (MDE) and Model transformation tool supporting the UML 2.5 class diagram notation and OCL 2.4 Object Constraint Language. It supports code-generation in multiple 3GLs: Java, C#, C++, Python, Go, Swift and ANSI C.

References

  1. 1 2 "Embedded Control Europ 2014 Yellow Pages" (PDF).
  2. 1 2 "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. 1 2 "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. 1 2 3 Brumbulli, Mihal; Gaudin, Emmanuel (2016). "Towards Model-Driven Simulation of the Internet of Things". Complex Systems Design & Management Asia. Advances in Intelligent Systems and Computing. Vol. 426. Springer, Cham. pp. 17–29. doi:10.1007/978-3-319-29643-2_2. ISBN   9783319296425. S2CID   8817726.
  12. 1 2 Brumbulli, Mihal; Fischer, Joachim (2010-10-04). "SDL Code Generation for Network Simulators". System Analysis and Modeling: About Models. Lecture Notes in Computer Science. Vol. 6598. Springer, Berlin, Heidelberg. pp. 144–155. doi:10.1007/978-3-642-21652-7_9. ISBN   9783642216510. S2CID   41634778.
  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. S2CID   10164856.
  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) CS1 maint: location missing publisher (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. Vol. 7916. Springer, Berlin, Heidelberg. pp. 19–35. doi:10.1007/978-3-642-38911-5_2. ISBN   9783642389108.
  19. 1 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. Vol. 8769. 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. S2CID   8744406.
  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. Vol. 7744. 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. Vol. 9959. 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. S2CID   17337531.
  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 (PDF). Lecture Notes in Computer Science. Vol. 9369. Springer, Cham. pp. 27–41. doi:10.1007/978-3-319-24912-4_3. ISBN   9783319249117. S2CID   28115828.
  27. ↑ Brumbulli, Mihal; Gaudin, Emmanuel (2016). "Towards Model-Driven Simulation of the Internet of Things". Complex Systems Design & Management Asia. Advances in Intelligent Systems and Computing. Vol. 426. Springer, Cham. pp. 17–29. doi:10.1007/978-3-319-29643-2_2. ISBN   9783319296425. S2CID   8817726.
  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. Vol. 7083. Springer, Berlin, Heidelberg. pp. 26–37. doi:10.1007/978-3-642-25264-8_4. ISBN   9783642252631. S2CID   42454301.
  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. Vol. 9369. 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. S2CID   10164856.
  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. S2CID   22683463.
  36. ↑ Ameur-Boulifa, Rabea; Cavalli, Ana; Maag, Stephane (July 2019). "From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems". Software Technologies. Communications in Computer and Information Science. Vol. 1250. 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. S2CID   220794902.
  37. ↑ "PragmaDev. Profile" . Retrieved 2014-03-30. PragmaDev is [a] provider of graphical software modelling tools based on SDL...

Further reading

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.