Studio PragmaDev - PragmaDev Studio

Studio PragmaDev
VývojářiPragmaDev
Stabilní uvolnění
5.5
Operační systémLinux, Okna, Operační Systém Mac, Raspbian
TypVývoj softwaru, Testování shody
LicenceZdarma a komerční
webová stránkapragmadev.com

Studio PragmaDev je softwarový nástroj pro modelování a testování zavedený společností PragmaDev v roce 2002, který se věnuje specifikaci komunikačních systémů.[1] To bylo zpočátku volal Real Time Developer Studio nebo RTDS.[1] Jejím primárním cílem byla podpora SDL-RT[2] technologie modelování. Od vydání V5.0 7. října 2015 se RTDS nazývá PragmaDev Studio a je organizováno do čtyř nezávislých modulů: Specifier, Developer, Tester a Tracer.[3] Verze V5.1 uvedená na trh 29. listopadu 2016 zavádí a freemium licenční model.[4][5]

Funkce

Jazyk specifikace a popisu

The Jazyk specifikace a popisu (SDL) je modelovací jazyk standardizovaný ITU-T popsat komunikující systémy.[6] SDL je grafický, ale obsahuje akční jazyk se sémantikou provádění, díky kterému jsou modely SDL spustitelné.[7] SDL je považována za formální, protože je úplná a nejednoznačná.[7] SDL-RT je varianta SDL, kde je akční jazyk nahrazen pokyny C nebo C ++.[8] SDL-RT je považován za semi-formální, protože kombinuje SDL s kódem.[2] ITU-T standardizoval a UML profil založený na vytváření SDL rozšířením jakéhokoli nástroje SDL Nástroj UML.[9]

Simulace

PragmaDev Specifier vloží simulátor SDL, který se chová jako debugger modelu.[10] Je možné nastavit zarážky graficky, zobrazit proměnné a čekající časovače.[11] Během provádění je živé trasování generováno na základě Sekvenční graf zpráv Standard ITU-T.[11]

Generování kódu (kompilátor)

PragmaDev Studio může generovat kód C nebo C ++ z modelu SDL a PragmaDev Developer může generovat kód C nebo C ++ z modelu SDL-RT.[12] Vygenerovaný kód lze přizpůsobit libovolnému Operační systém v reálném čase nebo plánovač.[13] Tento nástroj nabízí řadu integrací s debuggery například gdb, aby měl uživatel pocit, že stále ladí model, nikoli vygenerovaný kód.[12]

Kontrola modelu

PragmaDev Studio může exportovat model SDL do různých formátů, jako je IF, FIACRE[14]nebo XLIA za účelem ověření modelu v nástrojích třetích stran[15] jako IFx od Verimagu, TINA z LAAS nebo Diversity ze SEA LIST.

Funkční testování

PragmaDev Tester podporuje TTCN-3 mezinárodní standard pro testování.[16] Nástroj může simulovat testovací případy proti modelu SDL nebo generovat kód, který má být zkompilován a spuštěn proti reálnému SUT.[17]

Testování na základě modelu

  • PragmaDev Studio může generovat testovací případy TTCN-3 z grafů posloupnosti zpráv vyplývajících ze simulace.[18]

Simulace nasazení

PragmaDev Studio může simulovat nasazení mnoha instancí modelu SDL pro ověření jeho chování v distribuované výpočty životní prostředí.[11] Tato funkce je založena na výzkumu od Humboldtova univerzita v Berlíně.[20][21]

Analýza výkonu

PragmaDev Studio představuje analyzátor výkonu, který v sadě scénářů najde nejlepší architekturu pro čas nebo energii.[22]

CPS simulace

PragmaDev Studio podporuje Kybernetické fyzikální systémy (CPS) simulace pomocí Funkční maketa rozhraní.[23]

Domény aplikací

Telekomunikace

Avionika a vesmír

  • Specifikace a vývoj Kontrola letového provozu systém pro Airbus letadla.[29]
  • Optimalizace architektury systému pro vesmírnou misi.[30]
  • Integrace do TASTE, ESA rámec věnovaný vývoji v reálném čase a vestavěných systémů.[31]

Polovodiče

  • Optimalizace hardwarové architektury mikroprocesorů.[32]

Bezpečnostní

Historie aplikace PragmaDev Studio

Rok vydáníVerzesouhrn
20021.xPodpora SDL-RT s generováním kódu pro VxWorks a ladění s Tornado.
20032.xPodpora UML.
20043.xPodpora SDL včetně simulace.
20094.xPodpora testování TTCN-3.
20155.xNový vzhled a dojem. Nová organizace v modulech: Specifier, Developer, Tester, Tracer.

PragmaDev

Tvůrcem PragmaDev Studio je soukromá společnost PragmaDev. PragmaDev byla založena v roce 2001 a sídlí v Paříži ve Francii.[37]

Reference

  1. ^ A b „Embedded Control Europ 2014 Zlaté stránky“ (PDF).
  2. ^ A b "Jazyk specifikace a popisu - v reálném čase". www.sdl-rt.org. Citováno 2018-03-17.
  3. ^ „Uživatelská příručka PragmaDev Studio“ (PDF). 11. dubna 2018.
  4. ^ „Funkce a ceny nástrojů PragmaDev“.
  5. ^ „Instalační příručka PragmaDev Studio“ (PDF).
  6. ^ „ITU-T - Z.100: Specification and Description Language - Overview of SDL-2010“.
  7. ^ A b „SDL Forum Society - Co je 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). „Automatické prokládání pro testování distribuovaných systémů“. doi:10,13140 / RG.2.1.4223.9764. Citovat deník vyžaduje | deník = (Pomoc)
  11. ^ A b C Brumbulli, Mihal; Gaudin, Emmanuel (2016). Návrh a správa komplexních systémů v Asii. Pokroky v inteligentních systémech a výpočtech. Springer, Cham. str. 17–29. doi:10.1007/978-3-319-29643-2_2. ISBN  9783319296425.
  12. ^ A b Brumbulli, Mihal; Fischer, Joachim (04.10.2010). Generování kódu SDL pro síťové simulátory. Analýza a modelování systému: O modelech. Přednášky z informatiky. Springer, Berlín, Heidelberg. str. 144–155. doi:10.1007/978-3-642-21652-7_9. ISBN  9783642216510.
  13. ^ Fischer, Joachim; Kühnlenz, Frank; Ahrens, Klaus; Eveslage, Ingmar (prosinec 2009). „Modelový vývoj samoorganizujících se systémů včasného varování před zemětřesením“. SNE Simulation Notes Europe. 18 (3–4): 9–20. doi:10.11128 / sne.19.on.09941. ISSN  2305-9974.
  14. ^ Rangra, Subeer; Gaudin, Emmanuel (02.02.2014). „SDL to Fiacre translation“. doi:10.13140/2.1.1819.1683. Citovat deník vyžaduje | deník = (Pomoc)
  15. ^ Bagnato, Alessandra; Indrusiak, Leandro Soares; Quadri, Imran Rafiq; Rossi, Matteo (2014). Příručka výzkumu designu vestavěných systémů. Bagnato, Alessandra, 1974-, Indrusiak, Leandro Soares, 1974-, Quadri, Imran Rafiq, 1981-, Rossi, Matteo, IGI Global. Hershey, Pensylvánie (701 E. Chocolate Avenue, Hershey, Pa., 17033, USA). ISBN  9781466661943. OCLC  892759153.CS1 maint: umístění (odkaz)
  16. ^ „Embedded Control Europe - 2017 Zlaté stránky“ (PDF).
  17. ^ Brumbulli, Mihal; Gaudin, Emmanuel (2016-01-27). „Automatické prokládání pro testování distribuovaných systémů“. doi:10,13140 / rg.2.1.4223.9764. Citovat deník vyžaduje | deník = (Pomoc)
  18. ^ Gaudin, Emmanuel; Brunel, Eric (2013-06-26). Ověření nemovitosti pomocí MSC. SDL 2013: Modelově závislá spolehlivost. Přednášky z informatiky. Springer, Berlín, 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). Testování na základě modelu: Přístup s SDL / RTDS a DIVERSITY. Analýza a modelování systému: Modely a opakovaná použitelnost. Přednášky z informatiky. Springer, Cham. 198–206. doi:10.1007/978-3-319-11743-0_14. ISBN  9783319117423.
  20. ^ Brumbulli, Mihal; Fischer, Joachim (2012). Simulační vizualizace distribuovaných komunikačních systémů. Název sborníku: Sborník konference Winter Simulation Conference (WSC) 2012. s. 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 (01.10.2012). Simulační konfigurační modely distribuovaných komunikačních systémů. Systémová analýza a modelování: Teorie a praxe. Přednášky z informatiky. Springer, Berlín, Heidelberg. 198 až 211. doi:10.1007/978-3-642-36757-1_12. ISBN  9783642367564.
  22. ^ Brumbulli, Mihal; Gaudin, Emmanuel (03.10.2016). Optimalizace výkonu systémů SDL. Analýza a modelování systému. Technologické aspekty modelů. Přednášky z informatiky. Springer, Cham. str. 100–115. doi:10.1007/978-3-319-46613-2_7. ISBN  9783319466125.
  23. ^ „Nové funkce aplikace PragmaDev Studio“.
  24. ^ „PragmaDev: Alcatel sélectionne la plateforme de PragmaDev nalil leveloppement de ses systèmes de commutation - News-Eco Informatique“. www.news-eco.com. Citováno 2018-03-21.
  25. ^ Samadi, S .; Golmohammadi, A .; Jannesari, A .; Movahedi, M. R.; Khalaj, B .; Ghaemmaghami, S. (prosinec 2006). Nová implementace řízení přístupu IEEE802.11 Medium. 2006 Mezinárodní sympozium o inteligentním zpracování a komunikaci signálů. 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 - jazyk IoT (PDF). SDL 2015: Model-Driven Engineering for Smart Cities. Přednášky z informatiky. Springer, Cham. 27–41. doi:10.1007/978-3-319-24912-4_3. ISBN  9783319249117.
  27. ^ Brumbulli, Mihal; Gaudin, Emmanuel (2016). Návrh a správa komplexních systémů v Asii. Pokroky v inteligentních systémech a výpočtech. Springer, Cham. str. 17–29. doi:10.1007/978-3-319-29643-2_2. ISBN  9783319296425.
  28. ^ „Cenově efektivní testování protokolů mezi vrstvami: případová studie | SASE 2011“. www.sase.com.ar (ve španělštině). Citováno 2018-03-21.
  29. ^ Bonnafous, Eric; Boniol, Frédéric; Dhaussy, Philippe; Dumas, Xavier (říjen 2008). „Zkušenosti s efektivním a skutečným procesem MDE: návrh a ověření palubního systému ATC“. Konference o UML a FORMÁLNÍCH METODÁCH. Město Kitakyushu, Japonsko.
  30. ^ Brumbulli, Mihal; Gaudin, Emmanuel; Cortier, Alexandre; Rossignol, Alain (leden 2018). „Optimalizace systému: případ použití v vesmírné doméně“. 9. evropský kongres o vestavěném softwaru a systémech v reálném čase (ERTS 2018). Toulouse, Francie.
  31. ^ Perrotin, Maxime; Conquet, Eric; Delange, Julien; Schiele, André; Tsiodras, Thanassis (05.07.2011). CHUŤ: Přehled řetězců nástrojů softwarového inženýrství v reálném čase, stav a budoucnost. SDL 2011: Integrace modelování systémů a softwaru. Přednášky z informatiky. Springer, Berlín, Heidelberg. 26–37. doi:10.1007/978-3-642-25264-8_4. ISBN  9783642252631.
  32. ^ Gaudin, Emmanuel; Clouard, Alain (2015-10-12). Experiment na zavedení přerušení v SDL. SDL 2015: Model-Driven Engineering for Smart Cities. Přednášky z informatiky. 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 (2009). „Modelový vývoj samoorganizujících se systémů včasného varování před zemětřesením“. 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). Msgstr "Bezdrátová síťová síť pro včasné varování". 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. (duben 2008). Návrh a implementace AIS Link Layer pomocí SDL-RT. 2008 2. výroční konference IEEE Systems. s. 1–5. doi:10.1109 / SYSTEMS.2008.4518998. ISBN  978-1-4244-2149-7.
  36. ^ Ameur-Boulifa, Rabea; Cavalli, Ana; Maag, Stephane (červenec 2019). Od formálních testovacích cílů po TTCN-3 pro ověřování komplexních softwarových řídicích systémů ETCS. ICSOFT 2019. Communications in Computer and Information Science, vol 1250. Springer, Cham. str. 156–178. doi:10.1007/978-3-030-52991-8_8. ISBN  978-3-030-52990-1.
  37. ^ "PragmaDev. Profil". Citováno 2014-03-30. PragmaDev je poskytovatelem nástrojů pro grafické modelování softwaru založených na SDL ...

Další čtení

externí odkazy