Продукты | 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, обеспечением трассируемости требований, обоснования и верификации проекта.

© 1997 - 2018  OOO «ПСБ СОФТ», Москва

Официальный дистрибьютор Cadence

Нажимая кнопку, вы даете согласие на обработку своих персональных данных в соответствии с Пользовательским соглашением.