ЖУРНАЛ СТА 4/2014

ОФИЦИАЛЬНЫЙ ДИСТРИБЬЮТОР КОМПАНИЙ WIND RIVER И LDRA БЕЗОПАСНОЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ — ОСНОВА МОДУЛЬНОЙ АВИОНИКИ • Операционная система реального времени VxWorks 653 для интегрированной модульной авионики, сертифицируемая по DOC-178B/C • Средства разработки и конфигурирования, соответствующие DOC-178B/C и поддерживающие процессы DOC-279 • Готовые пакеты сертификационной и квалификационной документации • Инструментарий трассировки требований, анализа и автоматизированного тестиро- вания ПО авионики, сертифицированный по DOC-178B/C • Полуавтоматическая генерация сертифи- кационных документов • Система поддержки сертификационного процесса DOC-178B/C и взаимодействия с аудитором