Продукты | ALDEC DO-254
ALDEC DO-254 / КТ-254
Проверка соответствия проектов ПЛИС (FPGA)
исходным требованиям при проектировании бортовой аппаратуры
Стандарт RTCA / DO-254 (и его российский аналог КТ-254) является средством обеспечения соответствия для разработки бортового электронного оборудования, содержащего FPGA, PLD и ASIC. Проектирование и проверка ПЛИС в соответствии с руководящими принципами DO-254 - это сложная задача, требующая специальных функций и возможностей инструментов проектирования, моделирования и проверки аппаратного обеспечения. Федеральное авиационное управление (FAA) и другие международные сертификационные органы признают использование обычно используемых инструментов для проектирования и проверки FPGA, таких как RTL Simulator, Synthesis, Place & Route и статический анализ во времени. Для FPGA DAL A и B управление FAA также распознает другие инструменты, улучшающие проектирование, проверку, прослеживаемость и управление проектами, включая управление требованиями, прослеживаемость, управление тестами, проверку правил проектирования, анализ пересечений тактовых областей (CDC), покрытие кода и физический тест FPGA. системы.
Специализированные инструменты Aldec для проектирования и проверки FPGA повышают производительность и помогают заявителям достичь соответствия стандарту DO-254.
Инструменты ALDEC:
Программные продукты для обеспечения DO-254:
Spec-TRACER - обеспечение трассируемости требований, кода и результатов
ALINT-PRO - обеспечение верификации кода на отсутствие некорректностей
Active-HDL - обеспечение верификации и оценки результатов выполнения кода
Аппаратные продукты:
DO-254 / CTS (аппаратная платформа для верификации ПЛИС и ASIC)
Этапы внедрения DO-254 и востребованные продукты ALDEC
при проектировании цифровой бортовой аппаратуры:
1. Планирование
3-хдневный тренинг по DO-254 от компании ALDEC
Шаблоны и чеклисты DO-254 - Spec-TRACER
2. Внесение требований
Управление требованиями - Spec-TRACER
Анализ воздействий - Spec-TRACER
3. Эскизное проектирование
Блок-схемы и графический редактор состояний - Active-HDL
Код в виде графики - Active-HDL
4. Техническое проектирование
Продвинутый редактор кода Active-HDL
Проверка ошибок в коде - ALINT-PRO
Анализ CDC - ALINT-PRO
5. Обоснование и верификация
Трассируемость требований - Spec-TRACER
Моделирование и продвинутый анализ - Active-HDL
Покрытие кода - Active-HDL
Управление тестами - Spec-TRACER
Управление одобрениями - Spec-TRACER
Аппаратная верификация ПЛИС - DO-254 / CTS
Инструменты Aldec были внедрены и развернуты многими крупными компаниями, производящими авионику, одобрены сертификационными органами и реально доказали, что они сокращают цикл проектирования и проверки FPGA с месяцев до недель.
Коэффициент возврата инвестиций при использовании программных или аппаратных продуктов ALDEC может составлять до 200% - при затратах на программное обеспечение в пределах 3-5 млн.руб. экономия на трудоемкости проектирования цифровой аппаратуры может составить до 10 млн.руб. вследствие сокращения затрат на проектирование и верификацию ПЛИС с 4-5 мес до 1-1.5 мес, а также сокращения затрат на управление процессами проектирования в соответствии с DO-254, обеспечением трассируемости требований, обоснования и верификации проекта.