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 — обеспечение верификации и оценки результатов выполнения кода
Аппаратные продукты:
Инструменты Aldec были внедрены и развернуты многими крупными компаниями, производящими авионику, одобрены сертификационными органами и реально доказали, что они сокращают цикл проектирования и проверки FPGA с месяцев до недель.
Коэффициент возврата инвестиций при использовании программных или аппаратных продуктов ALDEC может составлять до 200% — при затратах на программное обеспечение в пределах 3-5 млн.руб. экономия на трудоемкости проектирования цифровой аппаратуры может составить до 10 млн.руб. вследствие сокращения затрат на проектирование и верификацию ПЛИС с 4-5 мес до 1-1.5 мес, а также сокращения затрат на управление процессами проектирования в соответствии с DO-254, обеспечением трассируемости требований, обоснования и верификации проекта.
Файлы
Москва, Санкт-Петербург, Новосибирск, Екатеринбург, Казань, Нижний Новгород, Челябинск, Омск, Самара, Ростов-на-Дону, Уфа, Красноярск, Пермь, Воронеж, Волгоград