Ansys SCADE Suite — промышленная среда разработки на основе моделей, предназначенная для создания, верификации и генерации сертифицируемого кода для критически важного встроенного программного обеспечения. Платформа применяется в отраслях с высокими требованиями к надежности и безопасности, включая авиацию, железнодорожный транспорт, автомобильную индустрию и другие сферы, где требуется соответствие стандартам функциональной безопасности и сертификация. SCADE Suite интегрирует визуальное моделирование, формальную верификацию, автоматическую генерацию кода и средства тестирования в едином рабочем процессе.
Среда поддерживает разработку на основе компонентов и потоков данных, предоставляет графические нотации для моделирования логики и поведения системы, а также специализированные библиотеки и шаблоны для типичных задач встраиваемого ПО. Концептуально SCADE ориентирован на уменьшение человеческих ошибок при проектировании безопасности-критичных систем за счёт автоматизации повторяющихся операций и строгого соответствия промышленным стандартам. Инструментарий позволяет проследить соответствие между требованиями, моделью, тестами и сгенерированным кодом, что облегчает подготовку документации и прохождение процедур сертификации.
- Визуальное моделирование: графические языки и блок-схемы для описания поведения и архитектуры систем на уровне моделей.
- Генерация кода: автоматический перевод модельных представлений в читаемый оптимизированный код на языках, применимых для встраиваемых платформ.
- Поддержка сертификации: функции и отчётность, облегчающие соответствие отраслевым стандартам безопасности и сертификацию встроенного ПО.
- Формальная верификация: инструменты для статического анализа и доказательства корректности свойств моделей.
- Тестирование и валидация: автоматическая генерация тестовых наборов, моделирование поведения и трассировка покрытия.
- Интеграция с инструментами разработки: совместимость с системами управления версиями, средствами проектирования требований и CI/CD-процессами.
- Библиотеки и шаблоны: готовые компоненты и доменные библиотеки для типичных задач в авиации, автопроме и других областях.
- Управление требованиями: прослеживаемость требований от спецификации до кода и тестов для обеспечения соответствия проектным целям.
- Работа с аппаратными ограничениями: оптимизация и настройка сгенерированного кода под целевые контроллеры и платформы реального времени.
- Документация и отчётность: средства для автоматизированной генерации артефактов, необходимых при сертификационных аудитах.