Соответствие стандарту DO-254 все чаще становится обычным требованием при реализации коммерческих и военных авиационных проектов. Компании часто испытывают трудности при реализации требований стандарта DO-254 и трудности с затратами, связанными с этими требованиями. При создании авиационной электронной аппаратуры, удовлетворяющей стандарту DO-254, разработчики могут применять модельно-ориентированное проектирование для анализа требований, проектирования, автоматической генерации HDL кода и верификации.

В первой половине вебинара приводится обзор рабочего процесса в соответствии с DO-254 и показываются, как создаются модели, осуществляется связь с требованиями и верификация посредством симуляции и формальных методов.

Вторая часть вебинара фокусируется на следующих стадиях рабочего процесса по DO-254, включая генерацию HDL кода и верификацию.

Во время вебинара демонстрируется пример разработки простой системы, дающий высокоуровневое понимание инструментов модельно-ориентированного проектирования для разработки в соответствии с DO-254.