© Telelogic AB Model Driven Development with Rhapsody 1 Ключевые технологии Telelogic Rhapsody Трофимов Александр Менеджер по продажам отраслевых решений. - презентация

1

2 © Telelogic AB Model Driven Development with Rhapsody 1 Ключевые технологии Telelogic Rhapsody Трофимов Александр Менеджер по продажам отраслевых решений

3 © Telelogic AB Model Driven Development with Rhapsody 2 Реализация MDD в Rhapsody Разработка приложения Проверка приложения Работа в команде Создание проектной документации Трассировка требований Визуальное моделирование

4 © Telelogic AB Model Driven Development with Rhapsody 3 Поддержка языков моделирования Реализация MDD в Rhapsody Разработка приложения Проверка приложения Работа в команде Создание проектной документации Трассировка требований Визуальное моделирование

5 © Telelogic AB Model Driven Development with Rhapsody 4 UML 2 Rhapsody является лучшим средством для моделирования с использованием UML 2 при разработке встраиваемых систем i-Logix активно участвовал в определении семантики UML для моделирования поведения Диаграммы UML Структурные диаграммы –Структуры –Пакетов –Компонентов –Объектов –Артефактов –Размещения Диаграммы поведения –Состояния –Активности –Прецедентов Диаграммы взаимодействия –Последовательности

6 © Telelogic AB Model Driven Development with Rhapsody 5 Моделирование предметной области Использование графических пиктограмм для отображения элементов и просто рисование на диаграммах (режим белой доски)

7 © Telelogic AB Model Driven Development with Rhapsody 6 Моделирование предметной области Расширение Rhapsody для использования терминологии предметной области Вместо создания элементов UML, вы создаёте элементы предметной области Профиль DoDAF Самолёты Командиры Диаграммы OV-1 Диаграммы SV-2 …. Профиль языка C Файлы Функции Переменные Диаграммы сборки Диаграммы файлов SysML, C, DoDaf, AUTOSAR,

8 © Telelogic AB Model Driven Development with Rhapsody 7 Проверка модели

9 © Telelogic AB Model Driven Development with Rhapsody 8 Использование существующих моделей Rhapsody позволяет импортировать существующие модели из Rational®, Tau и XMI совместимых средств

10 © Telelogic AB Model Driven Development with Rhapsody 9 Реализация приложения Реализация MDD в Rhapsody Разработка приложения Проверка приложения Работа в команде Создание проектной документации Трассировка требований Визуальное моделирование

11 © Telelogic AB Model Driven Development with Rhapsody 10 Генерация кода всего приложения Генерация кода на языках C/C++/Java/Ada Генерация кода всего приложения с использованием Структурных диаграмм Диаграмм состояний (поведение на основе событий) Диаграмм активности (алгоритмы и последовательность выполнения) Диаграмм компонентов и артефактов Генерация понятного и наглядного кода Высокая производительность, низкая стоимость поддержки Отладка стандартными средствами на уровне кода Возможность генерации white-box кода Генерация сборочных файлов Прозрачные технологии генерации кода На основе объектов / функций На основе стереотипов На основе правил : Редактор правил/ Отладчик правил

12 © Telelogic AB Model Driven Development with Rhapsody 11 Изменение кода приводит к изменению модели и наоборот Модель и код всегда синхронизированы Динамическая синхронизация модели и кода

13 © Telelogic AB Model Driven Development with Rhapsody 12 Каркас – это набор базовых классов, реализующих концепции UML и используемых в сгенерированном коде Подключается при сборке приложения в виде библиотек Абстрагирует сгенерированный код от платформы Доступны реализации каркаса для большинства встраиваемых платформ Предоставляются несколько полных и облегчённых реализаций каркаса (OXF, IDF, Synchronous) Генерация кода на основе каркаса приложения Процессор RTOS Host : Windows / LinuxTarget : VxWorks / INTEGRITY / Linux / …Target : OSE / QNX / Custom / … Small Target : ThreadX / Nucleus / … Процессор Lightweight Framework Каркас Сгенерированный код Каркас состоит из двух частей: Object Execution Framework (OXF) Animation and Tracing Framework

14 © Telelogic AB Model Driven Development with Rhapsody 13 Открытый, расширяемый, конфигурируемый Цель: Настраиваемый каркас с возможность полного контроля пользователем Предоставляется модель каркаса для Rhapsody –Модель позволяет легко понять структуру и функциональность каркаса и адаптировать каркас при необходимости –Модель включает обоснования всех принятых проектных решений, что позволяет легко в ней разобраться Каркас может быть использован в небольших приложениях –Использование только необходимых компонентов –Адаптация компонентов Модель упрощает сертификацию каркаса

15 © Telelogic AB Model Driven Development with Rhapsody 14 ОСРВ Внеш. код Каркас Сгенерированный код Использование внешнего кода Визуализация внешнего кода Появляется возможность ссылаться на внешний код в модели Бри сборке приложения код не генерируется, а подключается как внешний Последовательный переход к процессу разработки на основе модели Обратное проектирование Simulink/SDL/Scade Внешние библиотеки

16 © Telelogic AB Model Driven Development with Rhapsody 15 Пример визуализации кода

17 © Telelogic AB Model Driven Development with Rhapsody 16 Пример подключения кода, сгенерированного Simulink

18 © Telelogic AB Model Driven Development with Rhapsody 17 Отладка и тестирование приложения на уровне модели Реализация MDD в Rhapsody Разработка приложения Проверка приложения Работа в команде Создание проектной документации Трассировка требований Визуальное моделирование

19 © Telelogic AB Model Driven Development with Rhapsody 18 Finding & Correcting Errors Отладка и тестирование приложения на уровне модели Возможность проверки приложения на уровне модели позволяет обеспечить процесс по непрерывному и эффективному тестированию в процессе разработки –Гарантирует удовлетворение проекта требованиям –Устраняет ошибки на ранних стадиях проекта Отладка на уровне модели + Тестирование на основе сценариев + Автом. тестирование

20 © Telelogic AB Model Driven Development with Rhapsody 19 Отладка на уровне модели Отладка на правильном уровне абстракции Генерация и сборка приложения на основе white-box кода Управление из Rhapsody Анимация диаграмм –последовательности –состояния –активности Отладка на хосте и целевом устройстве

21 © Telelogic AB Model Driven Development with Rhapsody 20 Создание web-интерфейсов Быстрое прототипирование интерфейсов –динамическая генерация web-интерфейсов –разработка собственных страниц Совместная отладка через web Повышает Продуктивность команды Качество продукта

22 © Telelogic AB Model Driven Development with Rhapsody 21 Тестирование на основе сценариев Автоматический прогон множества тестов Генерация отчетов о результатах тестирования Визуальное отображение ошибок Множество тестов Тестовый сценарий Исполнение модели Результаты тестирования Обнаруживаем и устраняем ошибки Ошибка Несоответствие

23 © Telelogic AB Model Driven Development with Rhapsody 22 Автоматическое тестирование Автоматически генерирует тесты на основе модели –Генерация сценариев с высоким покрытием модели –Совместим с UML Testing Profile Автоматически генерирует тесты на основе модели –Покрытие состояний, переходов, операций, событий –Осуществление MC/DC анализа Производит регрессионное тестирование модели Экспорт тестов для тестирования кода Сбор и анализ требований Системный анализ и проектирование Приёмочное тестирование Интеграция подсистем и тестирование Интеграция ПО и интегр. тестирование Проектирование ПО Реализация ПО и элем. тестирование.exe.doc Проверенная модель ATG Непрерывное тестирование устройства Непрерывное тестирование ПО

24 © Telelogic AB Model Driven Development with Rhapsody 23 Работа в команде Реализация MDD в Rhapsody Разработка приложения Проверка приложения Создание проектной документации Трассировка требований Визуальное моделирование Работа в команде

25 © Telelogic AB Model Driven Development with Rhapsody 24 Управление версиями Rhapsody хранит модели в текстовых файлах, которые можно хранить в системе контроля версий, также как исходники Rhapsody может взаимодействовать со многими системами контроля версий по SCC интерфейсу, такими как Synergy, PVCS Dimensions, PVCS Version Manager, ClearCase, Visual SourceSafe, SourceIntegrity, … Rhapsody позволяет разбить модель на части и управлять версиями каждой части независимо от других Для работы с Subversion и CVS используется специальный плагин PushOk

26 © Telelogic AB Model Driven Development with Rhapsody 25 Сравнение и объединение различных версий Сравнение и объединение различных версий модели Визуальное сравнение и слияние диаграмм

27 © Telelogic AB Model Driven Development with Rhapsody 26 Создание проектной документации Реализация MDD в Rhapsody Разработка приложения Проверка приложения Создание проектной документации Трассировка требований Визуальное моделирование Работа в команде

28 © Telelogic AB Model Driven Development with Rhapsody 27 Разработка шаблонов документов

29 © Telelogic AB Model Driven Development with Rhapsody 28 Генерация документации в формате Word

30 © Telelogic AB Model Driven Development with Rhapsody 29 Генерация документации в формате html

31 © Telelogic AB Model Driven Development with Rhapsody 30 Трассировка требований Реализация MDD в Rhapsody Разработка приложения Проверка приложения Работа в команде Создание проектной документации Трассировка требований Визуальное моделирование

32 © Telelogic AB Model Driven Development with Rhapsody 31 Импорт требований из множества источников Создание связей между моделью и требованиями Генерация документации о связях Трассировка требований

33 © Telelogic AB Model Driven Development with Rhapsody 32 Моделирование требований

34 © Telelogic AB Model Driven Development with Rhapsody 33 Анализ покрытия требований Восходящий и нисходящий анализ покрытия

35 © Telelogic AB Model Driven Development with Rhapsody 34 Анализ внесения изменений Восходящий и нисходящий анализ внесения изменений

36 © Telelogic AB Model Driven Development with Rhapsody 35 Управление требованиями –DOORS, CalibreRM, RequisitePRO –Word, Excel, PDF, Framemake, Powerpoint, Visio –XML, ASCII Text files Управление конфигурациями –SYNERGY, ClearCase, Source Integrity, PVCS –Any SCC compliant tool Документирование –Word/Framemaker/HTML/rtf/plain text/PowerPoint Панельная графика / HMI –Altia, Internet Explorer, Mozilla Тестирование –Cantata, TestBed Continuous Modeling -Simulink/Matlab, Labview & MatrixX Иморт/экспорт моделей -XMI, Rose import Среды разработки –Eclipse CDT, MULTI, Workbench, Tornado, pRISM RTOS и OS –VxWorks, INTEGRITY, QNX Neutrino, LynxOS, ThreadX, Nucleus, OSE Delta, WindowsCE, Linux (MontaVista & RedHat), Solaris, Itron, No Operating System Открытая система OSs SDK Rhapsody Управление требованиями Документи-рование Тестирование HMI CORBA COM Поддержка CORBA (Tao) и COM Управление конфигурац.

37 © Telelogic AB Model Driven Development with Rhapsody 36 Среда разработки, а не средство моделирования Моделирование предметной области Исполнение, отладка и тестирование на уровне модели Генерация всего кода приложения, а не только структуры Динамическая синхронизация модели и кода Адаптируемый каркас приложений реального времени Визуализация кода

38 © Telelogic AB Model Driven Development with Rhapsody 37 MDD с, генерация кода, отладкой и тестиров. ОСРВ IDE/ Каркас приложения Приложение написанное вручную ОСРВ IDE/ Каркас приложения Приложение написанное вручную Специфик. ПО ОСРВ IDE/ Каркас приложения Затрачиваем ые усилия Приложение написанное вручную ОСРВ Приложение написанное вручную Вчера Интегриро- ванные MDD, с каркасом приложения и тестиров. ОСРВ Сегодня Приложение напис. вруч. Эффективность разработки встраиваемых систем

39 © Telelogic AB Model Driven Development with Rhapsody 38 Демонстрация сеанса работы в Rhapsody