PragmaDev Studio - PragmaDev Studio

PragmaDev Studio
Разработчики)PragmaDev
Стабильный выпуск
5.5
Операционная системаLinux, Windows, macOS, Распбиан
ТипРазработка программного обеспечения, Тестирование на соответствие
ЛицензияБесплатная и коммерческая
Интернет сайтПрагмадев.com

PragmaDev Studio - это программный инструмент для моделирования и тестирования, представленный PragmaDev в 2002 году и предназначенный для спецификации коммуникационных систем.[1] Первоначально он назывался Студия разработчика в реальном времени или RTDS.[1] Его основной целью была поддержка SDL-RT.[2] технология моделирования. Начиная с версии 5.0, выпущенной 7 октября 2015 года, RTDS называется PragmaDev Studio и состоит из четырех независимых модулей: Specifier, Developer, Tester и Tracer.[3] Версия 5.1, выпущенная 29 ноября 2016 г., представляет freemium модель лицензирования.[4][5]

Функции

Спецификация и язык описания

В Спецификация и язык описания (SDL) - это язык моделирования, стандартизированный ITU-T для описания коммуникационных систем.[6] SDL является графическим, но содержит язык действий с семантикой выполнения, делающей модели SDL исполняемыми.[7] SDL считается формальным, потому что он полон и однозначен.[7] SDL-RT - это вариант SDL, в котором язык действий заменен инструкциями C или C ++.[8] SDL-RT считается полуформальным, поскольку он смешивает SDL с кодом.[2] ITU-T стандартизировал UML профиль, основанный на SDL, превращая любой инструмент SDL в своего рода Инструмент UML.[9]

Моделирование

В PragmaDev Specifier встроен симулятор SDL, который ведет себя как отладчик модели.[10] Можно установить точки останова графически, для просмотра переменных и ожидающих таймеров.[11] Во время выполнения создается трассировка в реальном времени на основе Таблица последовательности сообщений Стандарт ITU-T.[11]

Генерация кода (компилятор)

PragmaDev Studio может генерировать код C или C ++ из модели SDL, а PragmaDev Developer может генерировать код C или C ++ из модели SDL-RT.[12] Сгенерированный код можно адаптировать к любому Операционная система реального времени или планировщик.[13] Инструмент предлагает ряд интеграций с отладчики например, gdb, чтобы пользователь чувствовал, что он все еще отлаживает модель, а не сгенерированный код.[12]

Проверка модели

PragmaDev Studio может экспортировать модель SDL в различные форматы, такие как IF, FIACRE.[14], или XLIA, чтобы проверить модель в сторонних инструментах[15] например IFx от Verimag, TINA от LAAS или Diversity из CEA LIST.

Функциональное тестирование

PragmaDev Tester поддерживает TTCN-3 международный стандарт тестирования.[16] Инструмент может либо имитировать тестовые примеры для модели SDL, либо генерировать код для компиляции и запуска на реальном SUT.[17]

Тестирование на основе модели

  • PragmaDev Studio может генерировать тестовые примеры TTCN-3 из диаграмм последовательности сообщений, полученных в результате моделирования.[18]

Моделирование развертывания

PragmaDev Studio может имитировать развертывание многих экземпляров модели SDL для проверки ее поведения в распределенных вычислений среда.[11] Эта функция основана на исследовании Берлинский университет имени Гумбольдта.[20][21]

Анализ производительности

PragmaDev Studio представляет анализатор производительности, позволяющий найти лучшую архитектуру по времени или энергии в наборе сценариев.[22]

CPS моделирование

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

Домены приложений

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

Авионика и космос

  • Спецификация и разработка Управления воздушным движением система для Airbus самолеты.[29]
  • Оптимизация архитектуры системы для космического полета.[30]
  • Интеграция в TASTE, ЕКА фреймворк, посвященный разработке систем реального времени и встроенных систем.[31]

Полупроводники

  • Оптимизация аппаратной архитектуры микропроцессоров.[32]

Безопасность

История PragmaDev Studio

Год выпускаВерсияРезюме
20021.xПоддержка SDL-RT с генерацией кода для VxWorks и отладкой с помощью Tornado.
20032.xПоддержка UML.
20043.xПоддержка SDL, включая моделирование.
20094.xПоддержка TTCN-3 для тестирования.
20155.xНовый внешний вид. Новая организация в модулях: Спецификатор, Разработчик, Тестировщик, Трейсер.

PragmaDev

Создателем PragmaDev Studio является частная компания PragmaDev. PragmaDev была основана в 2001 году и находится в Париже, Франция.[37]

использованная литература

  1. ^ а б «Желтые страницы Embedded Control Europ 2014» (PDF).
  2. ^ а б «Язык спецификации и описания - в реальном времени». www.sdl-rt.org. Получено 2018-03-17.
  3. ^ «Руководство пользователя PragmaDev Studio» (PDF). 11 апреля 2018.
  4. ^ «Возможности и цены на инструменты PragmaDev».
  5. ^ «Руководство по установке PragmaDev Studio» (PDF).
  6. ^ «ITU-T - Z.100: Язык спецификации и описания - Обзор SDL-2010».
  7. ^ а б "Форум сообщества SDL - что такое SDL?".
  8. ^ «ITU-T - Z.104: Язык спецификации и описания - язык данных и действий в SDL-2010».
  9. ^ «ITU-T - Z.109: Язык спецификации и описания - унифицированный языковой профиль моделирования для SDL-2010».
  10. ^ Брумбули, Михал; Годен, Эммануэль (27 января 2016 г.). «Автоматическое чередование для тестирования распределенных систем». Дои:10.13140 / RG.2.1.4223.9764. Цитировать журнал требует | журнал = (Помогите)
  11. ^ а б c Брумбули, Михал; Годен, Эммануэль (2016). Проектирование сложных систем и управление в Азии. Достижения в интеллектуальных системах и вычислениях. Спрингер, Чам. С. 17–29. Дои:10.1007/978-3-319-29643-2_2. ISBN  9783319296425.
  12. ^ а б Брумбули, Михал; Фишер, Иоахим (04.10.2010). Генерация кода SDL для сетевых симуляторов. Системный анализ и моделирование: о моделях. Конспект лекций по информатике. Шпрингер, Берлин, Гейдельберг. С. 144–155. Дои:10.1007/978-3-642-21652-7_9. ISBN  9783642216510.
  13. ^ Фишер, Иоахим; Кюнленц, Франк; Аренс, Клаус; Эвелаж, Ингмар (декабрь 2009 г.). «Разработка на основе моделей самоорганизующихся систем раннего предупреждения о землетрясениях». Примечания по моделированию SNE в Европе. 18 (3–4): 9–20. Дои:10.11128 / sne.19.on.09941. ISSN  2305-9974.
  14. ^ Рангра, Субир; Годен, Эммануэль (06.02.2014). "Перевод 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: location (ссылка на сайт)
  16. ^ "Embedded Control Europe - Желтые страницы 2017" (PDF).
  17. ^ Брумбули, Михал; Годен, Эммануэль (27 января 2016 г.). «Автоматическое чередование для тестирования распределенных систем». Дои: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. ^ а б Дельтур, Жюльен; Faivre, Ален; Годен, Эммануэль; Лапитр, Арно (29 сентября 2014 г.). Тестирование на основе моделей: подход с SDL / RTDS и РАЗНООБРАЗИЕ. Системный анализ и моделирование: модели и возможность повторного использования. Конспект лекций по информатике. Спрингер, Чам. С. 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. ^ Брумбули, Михал; Фишер, Иоахим (01.10.2012). Имитационное моделирование конфигурации распределенных систем связи. Системный анализ и моделирование: теория и практика. Конспект лекций по информатике. Шпрингер, Берлин, Гейдельберг. С. 198–211. Дои:10.1007/978-3-642-36757-1_12. ISBN  9783642367564.
  22. ^ Брумбули, Михал; Годен, Эммануэль (03.10.2016). Оптимизация производительности систем SDL. Системный анализ и моделирование. Аспекты моделей, зависящие от технологии. Конспект лекций по информатике. Спрингер, Чам. С. 100–115. Дои:10.1007/978-3-319-46613-2_7. ISBN  9783319466125.
  23. ^ «Новые возможности PragmaDev Studio».
  24. ^ "PragmaDev: выбор Alcatel для платформы PragmaDev для развития систем коммутации - Новости-Eco Informatique". www.news-eco.com. Получено 2018-03-21.
  25. ^ Самади, S .; Golmohammadi, A .; Jannesari, A .; Movahedi, M. R .; Khalaj, B .; Геммагами, С. (декабрь 2006 г.). Новая реализация управления доступом к среде IEEE802.11. 2006 Международный симпозиум по интеллектуальной обработке сигналов и связи. С. 489–492. Дои:10.1109 / ISPACS.2006.364704. ISBN  978-0-7803-9732-3.
  26. ^ Шерратт, Эдель; Обер, Илеана; Годен, Эммануэль; Casas, Pau Fonseca i; Кристофферсен, Финн (12.10.2015). SDL - язык Интернета вещей (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: проектирование и проверка бортовой системы УВД». Конференции по UML и формальным методам. Китакюсю-город, Япония.
  30. ^ Брумбули, Михал; Годен, Эммануэль; Кортье, Александр; Россиньоль, Ален (январь 2018). «Оптимизация системы: пример использования в космической сфере». 9-й Европейский конгресс по встроенному программному обеспечению и системам реального времени (ERTS 2018). Тулуза, Франция.
  31. ^ Перротин, Максим; Конке, Эрик; Деланж, Жюльен; Шиле, Андре; Циодрас, Танассис (05.07.2011). ВКУС: Обзор цепочки инструментов для разработки программного обеспечения в реальном времени, состояние и будущее. 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. ^ Фишер, Иоахим; Кюнленц, Франк; Аренс, Клаус; Eveslage, Ингмар (2009). «Разработка на основе моделей самоорганизующихся систем раннего предупреждения о землетрясениях». Примечания по моделированию SNE в Европе. 18 (3–4): 9–20. Дои:10.11128 / sne.19.on.09941.
  34. ^ Фишер, Иоахим; Редлих, Йенс-Петер; Жшау, Йохен; Милкерайт, Клаус; Пикоцци, Маттео; Флеминг, Кевин; Брумбули, Михал; Lichtblau, Björn; Eveslage, Ингмар (2012). «Беспроводная ячеистая сенсорная сеть для раннего предупреждения». Журнал сетевых и компьютерных приложений. 35 (2): 538–547. Дои:10.1016 / j.jnca.2011.07.016.
  35. ^ Hassine, M. B .; Grati, K .; Ghazel, A .; Коуки, А. (апрель 2008 г.). Проектирование и реализация канального уровня AIS с использованием SDL-RT. 2-я ежегодная системная конференция IEEE, 2008 г.. С. 1–5. Дои:10.1109 / СИСТЕМЫ.2008.4518998. ISBN  978-1-4244-2149-7.
  36. ^ Амер-Булифа, Рабеа; Кавалли, Ана; Мааг, Стефан (июль 2019 г.). От формальных целей тестирования к TTCN-3 для проверки сложных программных систем управления ETCS. 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 является [поставщиком] поставщиком инструментов графического программного моделирования на основе SDL ...

дальнейшее чтение

внешняя ссылка