fbpx
Wikipedia

PragmaDev Studio

May 07, 2024

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 edit

Specification and Description Language edit

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 edit

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) edit

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 edit

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 edit

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 edit

  • PragmaDev Studio can generate TTCN-3 test cases out of Message Sequence Charts resulting from a simulation.[18]

Deployment simulation edit

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 edit

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

CPS simulation edit

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

Application domains edit

Telecommunications edit

Avionic and space edit

  • 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 edit

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

Security edit

PragmaDev Studio history edit

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

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

References edit

  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). "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. ^ 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. 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. ^ 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. 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 edit

  • 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 edit

  • PragmaDev Home Page

May 07, 2024
pragmadev, studio, major, contributor, this, article, appears, have, close, connection, with, subject, require, cleanup, comply, with, wikipedia, content, policies, particularly, neutral, point, view, please, discuss, further, talk, page, 2020, learn, when, re. A major contributor to this article appears to have a close connection with its subject It may require cleanup to comply with Wikipedia s content policies particularly neutral point of view Please discuss further on the talk page May 2020 Learn how and when to remove this message 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 PragmaDev StudioDeveloper s PragmaDevStable release5 5Operating systemLinux Windows macOS RaspbianTypeSoftware development Conformance testingLicenseFree and commercialWebsitepragmadev wbr com Contents 1 Features 1 1 Specification and Description Language 1 2 Simulation 1 3 Code generation compiler 1 4 Model checking 1 5 Functional testing 1 6 Model Based Testing 1 7 Deployment simulation 1 8 Performance analysis 1 9 CPS simulation 2 Application domains 2 1 Telecommunications 2 2 Avionic and space 2 3 Semi conductors 2 4 Security 3 PragmaDev Studio history 4 PragmaDev 5 References 6 Further reading 7 External linksFeatures editSpecification and Description Language edit 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 edit 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 edit 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 edit 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 edit 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 edit 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 edit 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 edit PragmaDev Studio introduces a Performance Analyzer to find the best architecture for time or energy in a set of scenario 22 CPS simulation edit PragmaDev Studio supports Cyber Physical Systems CPS simulation via the Functional Mock up Interface 23 Application domains editTelecommunications edit 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 edit 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 edit Hardware architecture optimization of micro processors 32 Security edit 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 editRelease 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 editThe creator of PragmaDev Studio is the private company PragmaDev PragmaDev was founded in 2001 and is located in Paris France 37 References edit 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 a href Template Cite journal html title Template Cite journal cite journal a Cite journal requires journal help a b c Brumbulli Mihal Gaudin Emmanuel 2016 Towards Model Driven Simulation of the Internet of Things Complex Systems Design amp 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 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 Vol 6598 Springer Berlin Heidelberg pp 144 155 doi 10 1007 978 3 642 21652 7 9 ISBN 9783642216510 S2CID 41634778 Fischer Joachim Kuhnlenz 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 Rangra Subeer Gaudin Emmanuel 2014 02 06 SDL to Fiacre translation doi 10 13140 2 1 1819 1683 a href Template Cite journal html title Template Cite journal cite journal a 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 a href Template Cite book html title Template Cite book cite book a CS1 maint location link CS1 maint location missing publisher 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 a href Template Cite journal html title Template Cite journal cite journal a 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 Vol 7916 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 Vol 8769 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 S2CID 8744406 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 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 PragmaDev Studio new features PragmaDev Alcatel selectionne la plateforme de PragmaDev pour le developpement de ses systemes 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 S2CID 17337531 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 Brumbulli Mihal Gaudin Emmanuel 2016 Towards Model Driven Simulation of the Internet of Things Complex Systems Design amp 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 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 Frederic Dhaussy Philippe Dumas Xavier October 2008 Experience of an efficient and actual MDE process design and verification of ATC onboard system Conferences on UML amp 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 Andre 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 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 Fischer Joachim Kuhnlenz 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 Fischer Joachim Redlich Jens Peter Zschau Jochen Milkereit Claus Picozzi Matteo Fleming Kevin Brumbulli Mihal Lichtblau Bjorn 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 S2CID 22683463 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 PragmaDev Profile Retrieved 2014 03 30 PragmaDev is a provider of graphical software modelling tools based on SDL Further reading editDoldi 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 editPragmaDev Home Page Retrieved from https en wikipedia org w index php title PragmaDev Studio amp oldid 1181860467, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.