IBM Engineering Systems Design Rhapsody — это интегрированное программное средство для моделирования, проектирования, валидации и генерации кода в области системной и встраиваемой разработки. Программа ориентирована на поддержку моделирования поведения и структуры сложных систем с использованием стандартных нотаций, включая UML и SysML, а также предоставляет средства для проверки соответствия архитектуры требованиям и автоматизации производства исходного кода для целевых платформ.
Исторически продукт развивался как средство моделирования для инженерных команд, работающих над критически важными системами в автомобильной, аэрокосмической, оборонной и промышленной отраслях. Rhapsody интегрируется с процессами разработки и инструментами управления жизненным циклом, поддерживает валидацию архитектуры, тестирование на ранних стадиях и внедрение практик, совместимых со стандартами функциональной безопасности и отраслевыми требованиями.
- Моделирование по UML и SysML: визуальное проектирование структурных и поведенческих моделей систем с графическими редакторами диаграмм.
- Генерация кода: автоматическая генерация кода на языке C, C++, Java и других целевых языках для встроенных и системных приложений.
- Верификация и валидация: средства статической и динамической проверки моделей, симуляция поведения и прогон сценариев для обнаружения логических и структурных ошибок.
- Поддержка стандартов безопасности и сертификации: функции, облегчающие соответствие требованиям таких стандартов, как ISO 26262 и DO-178 (включая трассируемость требований и артефактов).
- Интеграция с PLM/ALM: совместимость с системами управления требованиями, версиями и жизненным циклом разработки для объединения команд и автоматизации процессов.
- Автоматизация тестирования: генерация тестовых сценариев, моделируемые тесты и интеграция с фреймворками тестирования для проверки реализаций.
- Моделирование реального времени и драйверов: поддержка специфики встраиваемых систем, включая моделирование взаимодействия с аппаратурой и ограничений времени выполнения.
- Трассируемость артефактов: управление связями между требованиями, моделями, тестами и сгенерированным кодом для облегчения анализа влияния изменений.
- Настраиваемые шаблоны и профили: возможность расширения нотаций и генерации кода под специфические корпоративные или отраслевые требования.
- Совместная работа и контроль версий: механизмы совместной разработки, управления конфигурациями моделей и слияния изменений.