PragmaDev студиясы - PragmaDev Studio

PragmaDev студиясы
ӘзірлеушілерПрагмаДев
Тұрақты шығарылым
5.5
Операциялық жүйеLinux, Windows, macOS, Raspbian
ТүріБағдарламалық жасақтама жасау, Сәйкестікті тексеру
ЛицензияТегін және коммерциялық
Веб-сайтпрагмадев.com

PragmaDev студиясы - бұл коммуникациялық жүйелердің спецификациясына арналған 2002 жылы PragmaDev енгізген модельдеу және тестілеу бағдарламалық құралы.[1] Бастапқыда ол аталды Real Time Developer студиясы немесе RTDS.[1] Оның негізгі мақсаты SDL-RT қолдау болды[2] модельдеу технологиясы. V5.0 нұсқасы 2015 жылдың 7 қазанында іске қосылғаннан бері RTDS PragmaDev Studio деп аталады және төрт тәуелсіз модульде ұйымдастырылған: Specifier, Developer, Tester және Tracer.[3] 2016 жылдың 29 қарашасында іске қосылған V5.1 а фремий лицензиялау моделі.[4][5]

Ерекшеліктер

Техникалық сипаттама және сипаттама тілі

The Техникалық сипаттама және сипаттама тілі (SDL) - стандартталған модельдеу тілі ITU-T байланыс жүйелерін сипаттау.[6] SDL графикалық болып табылады, бірақ SDL модельдерін орындауға мүмкіндік беретін семантикасы бар әрекет тілі бар.[7] SDL формальды болып саналады, себебі ол толық және түсініксіз.[7] SDL-RT - бұл әрекет тілі C немесе C ++ нұсқауларымен ауыстырылатын SDL нұсқасы.[8] SDL-RT жартылай формальды болып саналады, себебі ол SDL-ді кодпен араластырады.[2] ITU-T стандартталған UML кез келген SDL құралын кеңейту арқылы SDL жасауға негізделген профиль UML құралы.[9]

Модельдеу

PragmaDev Specifier моделі жөндеуші сияқты жұмыс істейтін SDL симуляторын қосады.[10] Үзіліс нүктелерін графикалық түрде орнатуға, айнымалыларды және күтудегі таймерлерді көруге болады.[11] Орындау кезінде тірі із жасалады Хабарламалар тізбегінің диаграммасы ITU-T стандарты.[11]

Код құру (құрастырушы)

PragmaDev Studio бағдарламасы SDL моделінен C немесе C ++ кодын, ал PragmaDev Developer SDL-RT моделінен C немесе C ++ кодын жасай алады.[12] Жасалған код кез-келгеніне бейімделуі мүмкін Нақты уақыттағы жұмыс жүйесі немесе жоспарлаушы.[13] Құрал бірқатар интеграцияны ұсынады түзетушілер мысалы, қолданушы құрылған кодты емес, модельді жөндеп жатқанын сезінетіндей gdb сияқты.[12]

Модельді тексеру

PragmaDev Studio бағдарламасы SDL моделін IF, FIACRE сияқты әртүрлі форматтарға экспорттай алады[14]немесе үшінші тарап құралдарында модельді тексеру үшін XLIA[15] мысалы, Verimag-тен IFx, LAAS-тен TINA немесе CEA LIST-тен алуан түрлілік.

Функционалды тестілеу

PragmaDev Tester қолдайды TTCN-3 тестілеуге арналған халықаралық стандарт.[16] Құрал тестілік жағдайларды SDL моделіне қарсы имитациялай алады немесе компиляцияланатын және нақтыға сәйкес келетін код жасай алады SUT.[17]

Модельге негізделген тестілеу

  • PragmaDev студиясы TTCN-3 сынақ жағдайларын модельдеу нәтижесінде пайда болатын хабарламалар тізбегінің диаграммаларынан шығара алады.[18]

Орналастыруды модельдеу

PragmaDev Studio SDL моделінің көптеген даналарын оның а әрекетін тексеру үшін орналастыруды модельдей алады таратылған есептеу қоршаған орта.[11] Бұл функция зерттеуге негізделген Гумбольдт Берлин университеті.[20][21]

Өнімділікті талдау

PragmaDev студиясы сценарийлер жиынтығында уақыт пен энергия үшін ең жақсы архитектураны табу үшін Performance Analyzer-ді ұсынады.[22]

CPS модельдеу

PragmaDev Studio қолдайды Кибер-физикалық жүйелер (CPS) арқылы модельдеу Функционалды макет интерфейсі.[23]

Қолданба домендері

Телекоммуникация

Авионикалық және ғарыш

  • Техникалық сипаттамасы және дамуы Әуе қозғалысын басқару жүйесі Airbus ұшақтар.[29]
  • Ғарыштық миссия үшін жүйелік архитектураны оңтайландыру.[30]
  • TASTE интеграциясы, ESA нақты уақыт пен ендірілген жүйелерді дамытуға арналған құрылым.[31]

Жартылай өткізгіштер

  • Микро процессорлардың аппараттық архитектурасын оңтайландыру.[32]

Қауіпсіздік

PragmaDev студиясының тарихы

Шығарылған жылыНұсқаҚысқаша мазмұны
20021.хVxWorks үшін кодты генерациялаумен және Tornado-мен түзетумен SDL-RT қолдауы.
20032.хUML қолдауы.
20043.xSDL-ді қолдау, соның ішінде модельдеу.
20094.xTTCN-3 тестілеуге арналған қолдау.
20155.хЖаңа көрініс пен сезім. Модульдердегі жаңа ұйым: Specifier, Developer, Tester, Tracer.

ПрагмаДев

PragmaDev студиясының авторы - PragmaDev жеке компаниясы. PragmaDev 2001 жылы құрылған, Францияның Париж қаласында орналасқан.[37]

Әдебиеттер тізімі

  1. ^ а б «Енгізілген басқару Europ 2014 сары парақтары» (PDF).
  2. ^ а б «Техникалық сипаттама және сипаттама тілі - нақты уақыт». www.sdl-rt.org. Алынған 2018-03-17.
  3. ^ «PragmaDev Studio пайдаланушы нұсқаулығы» (PDF). 2018 жылғы 11 сәуір.
  4. ^ «PragmaDev құралдарының ерекшеліктері мен бағалары».
  5. ^ «PragmaDev студиясын орнату бойынша нұсқаулық» (PDF).
  6. ^ «ITU-T - Z.100: сипаттамасы және сипаттамасы тілі - SDL-2010 шолуы».
  7. ^ а б «SDL Forum Society - SDL деген не?».
  8. ^ «ITU-T - Z.104: спецификация және сипаттама тілі - SDL-2010 деректері мен әрекет тілі».
  9. ^ «ITU-T - Z.109: спецификация және сипаттама тілі - SDL-2010 үшін бірыңғай модельдеу тілінің профилі».
  10. ^ Брумбулли, Михал; Гаудин, Эммануэль (2016-01-27). «Таратылған жүйелерді сынауға арналған автоматты интерлейинг». дои:10.13140 / RG.2.1.4223.9764. Журналға сілтеме жасау қажет | журнал = (Көмектесіңдер)
  11. ^ а б c Брумбулли, Михал; Гаудин, Эммануэль (2016). Кешенді жүйелерді жобалау және басқару Азия. Интеллектуалды жүйелер мен есептеу техникасының жетістіктері. Спрингер, Чам. 17–29 бет. дои:10.1007/978-3-319-29643-2_2. ISBN  9783319296425.
  12. ^ а б Брумбулли, Михал; Фишер, Йоахим (2010-10-04). Желілік симуляторларға арналған SDL кодын құру. Жүйелік талдау және модельдеу: модельдер туралы. Информатика пәнінен дәрістер. Шпрингер, Берлин, Гейдельберг. 144–155 беттер. дои:10.1007/978-3-642-21652-7_9. ISBN  9783642216510.
  13. ^ Фишер, Йоахим; Кюнленц, Франк; Аренс, Клаус; Эвслейдж, Ингмар (желтоқсан 2009). «Өздігінен ұйымдастырылатын жер сілкінісін алдын-ала ескерту жүйелерін модельдік дамыту». SNE Simulation Notes Europe. 18 (3–4): 9–20. дои:10.11128 / sne.19.on.09941. ISSN  2305-9974.
  14. ^ Рангра, Субеер; Гаудин, Эммануэль (2014-02-06). «SDL-ден Fiacre аудармасы». дои:10.13140/2.1.1819.1683. Журналға сілтеме жасау қажет | журнал = (Көмектесіңдер)
  15. ^ Багнато, Алессандра; Индрусиак, Леандро Соареш; Квадри, Имран Рафик; Росси, Маттео (2014). Кіріктірілген жүйені жобалау бойынша зерттеулер бойынша анықтамалық. Багнато, Алессандра, 1974-, Индрусиак, Леандро Соареш, 1974-, Куадри, Имран Рафик, 1981-, Росси, Маттео ,, IGI Global. Херси, Пенсильвания (701 E. Chocolate Avenue, Херши, Па., 17033, АҚШ). ISBN  9781466661943. OCLC  892759153.CS1 maint: орналасқан жері (сілтеме)
  16. ^ «Embedded Control Europe - 2017 Yellow Pages» (PDF).
  17. ^ Брумбулли, Михал; Гаудин, Эммануэль (2016-01-27). «Таратылған жүйелерді сынауға арналған автоматты интерлейинг». дои:10.13140 / rg.2.1.4223.9764. Журналға сілтеме жасау қажет | журнал = (Көмектесіңдер)
  18. ^ Гаудин, Эммануил; Брунель, Эрик (2013-06-26). Меншікті MSC көмегімен тексеру. SDL 2013: модельге негізделген сенімділік инжинирингі. Информатика пәнінен дәрістер. Шпрингер, Берлин, Гейдельберг. 19-35 бет. дои:10.1007/978-3-642-38911-5_2. ISBN  9783642389108.
  19. ^ а б Дельтур, Джулиен; Файвр, Ален; Гаудин, Эммануил; Лапитре, Арно (2014-09-29). Модельге негізделген тестілеу: SDL / RTDS және DIVERSITY бар тәсіл. Жүйелік талдау және модельдеу: модельдер және қайта пайдалану. Информатика пәнінен дәрістер. Спрингер, Чам. 198–206 бет. дои:10.1007/978-3-319-11743-0_14. ISBN  9783319117423.
  20. ^ Брумбулли, Михал; Фишер, Йоахим (2012). Таратылған байланыс жүйелерін имитациялық визуализациялау. Материалдардың тақырыбы: 2012 жылғы қысқы модельдеу конференциясының материалдары (WSC). 1-12 бет. CiteSeerX  10.1.1.659.8202. дои:10.1109 / wsc.2012.6465021. ISBN  978-1-4673-4782-2.
  21. ^ Брумбулли, Михал; Фишер, Йоахим (2012-10-01). Таратылған байланыс жүйелерін модельдеуді конфигурациялауды модельдеу. Жүйелік талдау және модельдеу: теория және практика. Информатика пәнінен дәрістер. Шпрингер, Берлин, Гейдельберг. 198–211 бет. дои:10.1007/978-3-642-36757-1_12. ISBN  9783642367564.
  22. ^ Брумбулли, Михал; Гаудин, Эммануэль (2016-10-03). SDL жүйелерінің жұмысын оңтайландыру. Жүйелік талдау және модельдеу. Модельдердің технологиялық ерекшеліктері. Информатика пәнінен дәрістер. Спрингер, Чам. 100–115 бб. дои:10.1007/978-3-319-46613-2_7. ISBN  9783319466125.
  23. ^ «PragmaDev Studio жаңа мүмкіндіктері».
  24. ^ «PragmaDev: Alcatel sélectionne la plateforme de PragmaDev құюға дайындықты өзгертуге мүмкіндік береді - News-Eco Informatique». www.news-eco.com. Алынған 2018-03-21.
  25. ^ Самади, С .; Голмохаммади, А .; Яннесари, А .; Мовахеди, М.Р .; Халадж, Б .; Гаеммагами, С. (желтоқсан 2006). IEEE802.11 қол жетімділікті басқарудың жаңа нұсқасы. Интеллектуалды сигналдарды өңдеу және байланыс жөніндегі 2006 Халықаралық симпозиум. 489–492 бет. дои:10.1109 / ISPACS.2006.364704. ISBN  978-0-7803-9732-3.
  26. ^ Шеррат, Эдель; Обер, Илеана; Гаудин, Эммануил; Касас, Пау Фонсека i; Кристофферсен, Фин (2015-10-12). SDL - IoT тілі (PDF). SDL 2015: Ақылды қалаларға арналған модельдік инженерия. Информатика пәнінен дәрістер. Спрингер, Чам. 27-41 бет. дои:10.1007/978-3-319-24912-4_3. ISBN  9783319249117.
  27. ^ Брумбулли, Михал; Гаудин, Эммануэль (2016). Кешенді жүйелерді жобалау және басқару Азия. Интеллектуалды жүйелер мен есептеу техникасының жетістіктері. Спрингер, Чам. 17–29 бет. дои:10.1007/978-3-319-29643-2_2. ISBN  9783319296425.
  28. ^ «Қатпарлы протоколдарды экономикалық тиімді тестілеу: жағдайды зерттеу | SASE 2011». www.sase.com.ar (Испанша). Алынған 2018-03-21.
  29. ^ Боннафус, Эрик; Бониол, Фредерик; Дюсси, Филипп; Дюма, Ксавье (қазан, 2008). «Тиімді және нақты MDE процесінің тәжірибесі: ATC жүйесін жобалау және тексеру». UML & ҚАЛЫПТЫ ӘДІСТЕР бойынша конфедерациялар. Китакюшу қаласы, Жапония.
  30. ^ Брумбулли, Михал; Гаудин, Эммануил; Кортье, Александр; Rossignol, Alain (қаңтар 2018). «Жүйені оңтайландыру: ғарыш кеңістігіндегі жағдай». Нақты уақыттағы бағдарламалық жасақтама мен жүйелер бойынша 9-шы Еуропалық конгресс (ERTS 2018). Тулуза, Франция.
  31. ^ Перротин, Максим; Конкет, Эрик; Деландж, Джулиен; Шиле, Андре; Циодрас, Танисис (2011-07-05). ДӘМ: нақты уақыт режимінде бағдарламалық жасақтама құралдары тізбегіне шолу, мәртебе және болашақ. SDL 2011: жүйені және бағдарламалық жасақтаманы интеграциялау. Информатика пәнінен дәрістер. Шпрингер, Берлин, Гейдельберг. 26-37 бет. дои:10.1007/978-3-642-25264-8_4. ISBN  9783642252631.
  32. ^ Гаудин, Эммануил; Клуард, Ален (2015-10-12). SDL-ге үзілістер енгізу тәжірибесі. SDL 2015: Ақылды қалаларға арналған модельдік инженерия. Информатика пәнінен дәрістер. Спрингер, Чам. 81–88 бб. дои:10.1007/978-3-319-24912-4_7. ISBN  9783319249117.
  33. ^ Фишер, Йоахим; Кюнленц, Франк; Аренс, Клаус; Эвслейдж, Ингмар (2009). «Өздігінен ұйымдастырылатын жер сілкінісін алдын-ала ескерту жүйелерін модельдік дамыту». SNE Simulation Notes Europe. 18 (3–4): 9–20. дои:10.11128 / sne.19.on.09941.
  34. ^ Фишер, Йоахим; Редлич, Дженс-Питер; Зсау, Джохен; Milkereit, Claus; Пикозци, Маттео; Флеминг, Кевин; Брумбулли, Михал; Лихтблау, Бьорн; Эвслейдж, Ингмар (2012). «Ерте ескертуге арналған сымсыз торды сезетін желі». Желілік және компьютерлік қосымшалар журналы. 35 (2): 538–547. дои:10.1016 / j.jnca.2011.07.016.
  35. ^ Хассин, М.Б .; Грати, К .; Ғазель, А .; Коуки, А. (сәуір, 2008). SDL-RT көмегімен AIS сілтеме қабатын жобалау және енгізу. 2008 жыл сайынғы IEEE жүйелік конференциясы. 1-5 бет. дои:10.1109 / SYSTEMS.2008.4518998. ISBN  978-1-4244-2149-7.
  36. ^ Амур-Булифа, Рабея; Кавалли, Ана; Мааг, Стефан (шілде 2019). ETCS бағдарламалық жасақтаманы басқарудың кешенді жүйелерін тексеру үшін формальды тест тапсырмаларынан бастап TTCN-3-ке дейін. ICSOFT 2019. Компьютерлік және ақпараттық ғылымдардағы байланыс, т. 1250. Спрингер, Чам. 156–178 беттер. дои:10.1007/978-3-030-52991-8_8. ISBN  978-3-030-52990-1.
  37. ^ «PragmaDev. Профиль». Алынған 2014-03-30. PragmaDev - [a] SDL негізінде графикалық бағдарламалық жасақтама модельдеу құралдарының провайдері ...

Әрі қарай оқу

Сыртқы сілтемелер