PragmaDev Studio

PragmaDev Studio
PragmaDev Studio
개발자플러그마 개발
안정된 릴리스
5.5
운영 체제Linux, Windows, macOS, Raspbian
유형소프트웨어 개발, 적합성 테스트
면허증.무료 및 상용
웹 사이트pragmadev.com

PragmaDev Studio는 2002년 PragmaDev에 의해 도입된 모델링 및 테스트 소프트웨어 툴로 통신 [1]시스템 사양 전용입니다.처음에는 Real Time Developer Studio 또는 [1]RTDS로 불렸다.주된 목적은 SDL-RT 모델링 테크놀로지를 지원하는[2] 것이었습니다.2015년 10월 7일 V5.0이 출시된 이후 RTDS는 PragmaDev Studio라고 불리며 4개의 독립된 모듈로 구성되어 있습니다.사양자, 개발자, 테스터 및 트레이서.[3]2016년 11월 29일에 출시된 V5.1에는 프리미엄 라이센스 [4][5]모델이 도입되었습니다.

특징들

사양 및 설명 언어

SDL(Specification and Description Language)은 ITU-T가 통신 [6]시스템을 기술하기 위해 표준화한 모델링 언어입니다.SDL은 그래피컬이지만 SDL 모델을 [7]실행 가능하게 하는 실행의 의미를 가진 액션 언어가 포함되어 있습니다.SDL은 완전하고 [7]명확하기 때문에 정식이라고 간주됩니다.SDL-RT는 액션 언어가 C 또는 C++ [8]명령으로 대체되는 SDL의 변종입니다.SDL-RT는 [2]코드와 SDL을 혼재시키기 때문에 세미포멀로 간주됩니다.ITU-T는 SDL을 기반으로 UML 프로파일을 표준화하여 모든 SDL 툴을 UML [9]툴의 일종으로 확장했습니다.

시뮬레이션

PragmaDev Specifier에는 모델 [10]디버거와 같은 동작을 하는 SDL 시뮬레이터가 포함되어 있습니다.중단점을 그래프로 설정하고 변수 및 보류 [11]중인 타이머를 표시할 수 있습니다.실행 중에는 메시지시퀀스 차트 ITU-T [11]표준에 따라 라이브트레이스가 생성됩니다.

코드 생성(컴파일러)

PragmaDev Studio는 SDL 모델에서 C 또는 C++ 코드를 생성할 수 있으며, PragmaDev Developer는 SDL-RT 모델에서 [12]C 또는 C++ 코드를 생성할 수 있습니다.생성된 코드는 모든 실시간 운영 체제 또는 [13]스케줄러에 적용할 수 있습니다.이 도구는 gdb와 같은 디버거와의 통합을 다수 제공하여 사용자가 생성된 [12]코드가 아닌 모델을 디버깅하고 있다고 느낄 수 있도록 합니다.

모델 체크

PragmaDev Studio에서는 Verimag의 IFx, LAAS의 TINA, CEA LIST의 Diversity 등의 서드파티[15] 툴로 SDL 모델을 검증하기 위해 IF, FIACRE,[14] XLIA 등의 다양한 형식으로 SDL 모델을 내보낼 수 있습니다.

기능 테스트

PragmaDev Tester는 [16]테스트를 위해 TTCN-3 국제 표준을 지원합니다.이 툴은 SDL 모델에 대해 테스트 케이스를 시뮬레이트하거나 컴파일하여 실제 [17]SUT에 대해 실행할 코드를 생성할 수 있습니다.

모델 기반 테스트

  • PragmaDev Studio는 시뮬레이션 [18]결과 메시지시퀀스 차트에서 TTCN-3 테스트 케이스를 생성할 수 있습니다.
  • 테스트 케이스는 Verimag의 IFx나 CEA-LIST의 Diversity: Laboratory for Integration [19]of Systems and Technology 등의 서드파티 테크놀로지를 통해 SDL 모델에서 생성할 수도 있습니다.이를 위해 PragmaDev Studio는 모델을 서드파티 [19]도구로 인식되는 피벗 언어로 내보냅니다.

도입 시뮬레이션

PragmaDev Studio는 분산 컴퓨팅 환경에서 [11]SDL 모델의 동작을 검증하기 위해 많은 인스턴스의 도입을 시뮬레이트할 수 있습니다.이 특징은 베를린 [20][21]훔볼트 대학의 연구에 기초하고 있습니다.

퍼포먼스 분석

PragmaDev Studio는 일련의 [22]시나리오에서 시간 또는 에너지에 가장 적합한 아키텍처를 찾기 위해 Performance Analyzer를 도입했습니다.

CPS 시뮬레이션

PragmaDev Studio는 기능 목업 인터페이스를 [23]통해 CPS(Cyber Physical Systems) 시뮬레이션을 지원합니다.

응용 프로그램 도메인

전기 통신

항공전자 및 공간

  • 에어버스 항공기를 [29]위한 항공 교통 관제 시스템의 사양 및 개발.
  • 우주 [30]미션을 위한 시스템 아키텍처 최적화.
  • 실시간 및 임베디드 [31]시스템 개발에 전념하는 ESA 프레임워크인 TASTE에 통합.

반도체

  • 마이크로 [32]프로세서의 하드웨어 아키텍처 최적화.

보안.

PragmaDev Studio 이력

발매년도 버전 요약
2002 1.x VxWorks 코드 생성 및 Tornoid 디버깅을 통한 SDL-RT 지원
2003 2.x UML 지원
2004 3.x 시뮬레이션을 포함한 SDL 지원
2009 4.x 테스트용 TTCN-3 지원
2015 5.x 새로운 외관과 느낌.모듈의 새로운 구성:지정자, 개발자, 테스터, 트레이서.

플러그마 개발

PragmaDev Studio의 설립자는 프라이빗 회사인 PragmaDev입니다.PragmaDev는 2001년에 설립되어 프랑스 [37]파리에 위치하고 있습니다.

레퍼런스

  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=(도움말)
  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=(도움말)
  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 유지보수: 위치(링크)
  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=(도움말)
  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...

추가 정보

외부 링크