Средства разработки программного обеспечения
критически-важных для безопасности, сертифицируемых
встраиваемых компьютерных систем

Стандарты различных отраслей, определяющие требования к процессам разработки безопасного ПО:

RTCA DO-178 / EUROCAE ED-12 / АРМАК КТ-178 - Авионика
«Требования к программному обеспечению бортовой аппаратуры и систем при сертификации авиационной техники»

IEC 61508 – Промышленное оборудование
«Функциональная безопасность электрических/электронных/программируемых электронных систем, связанных с безопасностью»,

CENELEC EN 50128 – Железнодорожные системы
«Cистемы телекоммуникационные, сигнализационные и системы для обработки данных, применяемые на железных дорогах. Программное обеспечение для систем управления и защиты на железных дорогах»

ISO 26262 – Автоэлектроника
«Дорожные транспортные средства – функциональная безопасность»

IEC 60880-2 – Cистемы безопасности атомных станций
«Программное обеспечение компьютеров, важных для безопасности атомных станций. Часть 2. Аспекты защиты от отказов, использование программных инструментов и ранее разработанного ПО»

IEC 62304 – Медицинское оборудование
«Программные средства медицинского оборудования. Жизненный цикл программного продукта»

ECCS E-ST-40C, Q-ST-80C – Космическая техника

Организации по стандартизации:
RTCA Radio Technical Commission for Aeronautics
EUROCAE European Organization for Civil Aviation Equipment
АРМАК Авиационный Регистр Межгосударственного Авиационного Комитета
IEC International Electrotechnical Commission
ISO International Organization for Standartization
CENELEC Comite Europeen de Normalisation Electrotechnique
ECSS European Cooperation on Space Standartization


AVD Systems
тел: (916) 194-42-71

www.avdsys.ru/mbd Средства модельно-ориентированного проектирования (MBD = Model-Based Design) программного обеспечения критически-важных для безопасности, сертифицируемых встраиваемых систем: SCADE (Esterel Technologies), QGen (AdaCore)
www.avdsys.ru/pikeos PikeOS - операционная система/гипервизор для встраиваемых систем, критически-важных для безопасности (safety) и защищенности (security)
www.avdsys.ru/ada AdaCore – средства разработки и верификации ПО на языках Ada и SPARK
www.avdsys.ru/test VectorCAST - комплекс средств автоматизации тестирования программного обеспечения критически-важных для безопасности, сертифицируемых встраиваемых систем
www.avdsys.ru/gpu CoreAVI - сертифицируемые по стандарту DO-178B/C драйверы стандарта OpenGL SC (Safety Critical) для различных графических процессоров и графических ядер (GPU = Graphics Processing Unit)
www.avdsys.ru/wcet AbsInt - средства статического (по коду программы) анализа ПО критически-важных встраиваемых систем: времени исполнения наихудшего случая WCET (Worst-Case Execution Time), объема используемого стека, наличия потенциальных ошибок времени исполнения
www.avdsys.ru/debug Lauterbach - аппаратные средства отладки ПО встраиваемых систем
www.avdsys.ru/atr CM Computer - бортовые корпуса формата ATR (Air Transport Rack) для модулей VPX, VME64 и CompactPCI с кондуктивным охлаждением
www.avdsys.ru/DE TTTech - оборудование Deterministic Ethernet - сетевой Технологии с передачей по Временно́му Расписанию (Time-Triggered Technology), применяемой для построения распределенных систем жесткого реального времени с гарантированным временем передачи данных
www.avdsys.ru/swap CES - модули стандартных малогабаритных форматов VNX (VITA 74), XMC (VITA 42, VITA 61) и VPX 3U (VITA 46/48/65) для встраиваемых систем, оптимизированных по массогабаритным характеристикам и потребляемой мощности SWaP (Size, Weight and Power)
www.avdsys.ru/rugged Aitech - модули и системы VPX, VME, CompactPCI для тяжелых условия эксплуатации