От 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, артефакты верификации и валидации, доказательная база для сертификации. Результаты проверок собираются в СУТр рядом с требованиями.

Вопросы

Мы подготовили подробную документацию на ПО, а также ряд видеоматериалов, которые можно использовать для получения общего понимания возможностей продукта. Дополнительно совместно с партнерами мы оказываем услуги обучения и внедрения ALM.

Предусмотрены временные и постоянные лицензии. Стомость ПО для одного проектировщика составит от 5 700 руб. в месяц. На странице расчета стоимости лицензий в разделе СУТр вы можете расчитать стоимость владения ПО.

ALM состоит из многих компонентов, но все они не требуют внешних зависимостей, то есть разворачиваются и работают в закрытом периметре, без доступа к сети Интернет. Нами подготовлены подробные инструкции по развертыванию, которые помогут в установке ПО.

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

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

Да. Для разработчиков автомобильных Э/Э-систем и ЭБУ есть конфигурация СУТр с учётом ISO 26262, ГОСТ Р ИСО 26262 и ASPICE. Подробнее — на странице СУТр для автоэлектроники.

Да. Для железнодорожной автоматики и систем СЦБ есть конфигурация СУТр с учётом ГОСТ Р МЭК 62279, EN 50128 и ТР ТС 001. Подробнее — на странице СУТр для ЖД автоматики и СЦБ.

Да. Для процессной безопасности и систем ПАЗ есть конфигурация СУТр с учётом HAZOP, LOPA, SIL и ГОСТ Р МЭК 61511. Подробнее — на странице СУТр для АСУ ТП и ПАЗ.

На основании приказа Минкомсвязи России от 06.09.2016 №426 наше ПО включено в «Единый реестр российских программ для электронных вычислительных машин и баз данных» под номером 1188. Наше ПО может быть установлено на российские ОС. Для проверки совместимости мы произвели соответствующие тесты и получили сертификаты от производителей российских ОС.