Модельно-ориентированное проектирование для разработки систем по КТ-178 и ГОСТ Р 51904

Будут затронуты следующие темы и показаны практические возможности инструментов MathWorks:

• Введение в модельно-ориентированное проектирование
• Модельно-ориентированное проектирование и цели стандарта DO-178C
• Трассируемость требований, моделей, кода и тестов
• Стандарты моделирования
• Функциональное тестирование и анализ покрытия модели тестами
• Формальная верификация и генерация тестов
• Автоматическая генерация кода
• Стандарты кодирования
• Доказательство отсутствия ошибок времени выполнения
• Автоматическая верификация кода относительно модели и требований
• Тестирование исполняемого объектного кода на целевом вычислителе и анализ покрытия тестами
• Демонстрация возможностей интегрированного процесса с использованием ЭКБ NeuroMatrix, производства НТЦ Модуль.

В ходе семинара будет продемонстрирован пример рабочего процесса разработки системы повышенной надежности. Это позволит вам получить высокоуровневое понимание доступных инструментов и возможностей их применения в ваших проектах.

Для участия в конференции, пожалуйста, зарегистрируйтесь. Места ограничены.