От MBSE к симуляции, model checking и Means of Compliance

Связка Devprom СУТр и Engee закрывает цепочку системной инженерии (MBSE): требования, моделирование и симуляция, проверка моделей (model checking), верификация и валидация, трассировка требований и средства подтверждения соответствия. Инженер просматривает модели, запускает проверки в Engee и формирует отчёты — без разрыва между ALM и средой моделирования.

Devprom СУТр и Engee: MBSE, трассировка требований и model checking
Планшет, изображение
Devprom СУТр и Engee для MBSE, изображение

Преимущества связки СУТр и Engee

  • Трассировка требований до моделей и блоков Engee

  • Просмотр моделей Engee из контура требований

  • Трассировка требований на тестовые сценарии Engee

  • Верификация требований в среде моделирования Engee

  • Визуализация результатов моделирования и симуляции

  • Отчётность по симуляции и Model Checking

  • Средства подтверждения соответствия (Means of Compliance)

  • Российский стек и развёртывание в контуре заказчика

Основные возможности для MBSE и формальной верификации

  • 01

    MBSE и системная инженерия

    Модельно-ориентированная системная инженерия на базе Devprom СУТр и Engee: требования, архитектура и модели в едином контуре. MBSE как метод — от постановки до проверки свойств системы без разрыва между ALM и средой моделирования.
  • 02

    Моделирование и симуляция

    Моделирование и симуляция в Engee: просмотр моделей и блоков, прогон сценариев, визуализация результатов. Симуляция — ранний вход к формальной верификации: сценарии дополняют, но не заменяют model checking.
  • 03

    Формальная верификация и model checking

    Формальная верификация и Model Checking: проверка моделей с доказательством свойств и поиском контрпримеров. Дифференциатор относительно обычной верификации требований (ревью, покрытие, тесты) — математическая проверка модели системы.
  • 04

    HIL и SIL: hardware / software in the loop

    Hardware in the loop и software in the loop: стендовая и программная проверка реализации. HIL-тестирование и SIL связываются с требованиями и результатами симуляции в СУТр — единый контур V&V.
  • 05

    Верификация и валидация

    Верификация и валидация требований в среде моделирования Engee: запуск сценариев, фиксация статусов, возврат результатов в СУТр. ALM-верификация (покрытие, тесты, ревью) и formal methods работают как связанные, но разные слои.
  • 06

    Трассировка требований

    Трассировка требований до моделей и отдельных блоков Engee, а также на тестовые сценарии. Матрица покрытия «требование — модель — сценарий — результат» для аудита, V&V и подтверждения полноты.
  • 07

    Means of Compliance — средства подтверждения соответствия

    Средства подтверждения соответствия (Means of Compliance): отчёты по симуляции и Model Checking, артефакты верификации и валидации, доказательная база для сертификации. Результаты проверок собираются в СУТр рядом с требованиями.

Вопросы

Да. Для авионики доступна отдельная конфигурация СУТр под КТ-178 и КТ-254: система управления требованиями, трассировка и подготовка к сертификации программного обеспечения. Подробнее — на странице СУТр для КТ-178/254.

Да. Для разработчиков медизделий и ПАК есть конфигурация СУТр с учётом IEC 62304, ISO 13485 и ISO 14971. Подробнее — на странице СУТр для медизделий и ПАК.