|
Средства разработки программного обеспечения
критически-важных для безопасности, сертифицируемых
встраиваемых компьютерных систем
Стандарты различных отраслей, определяющие требования к процессам разработки безопасного ПО:
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/pikeos |
PikeOS - операционная система/гипервизор для встраиваемых систем, критически-важных для безопасности (safety) и защищенности (security)
|
| www.avdsys.ru/ada |
AdaCore – средства разработки и верификации ПО на языках Ada и SPARK
|
| www.avdsys.ru/test |
Cantata - комплекс средств автоматизации тестирования программного обеспечения критически важных для безопасности сертифицируемых встраиваемых систем
|
| www.avdsys.ru/gpu |
CoreAVI - сертифицируемые по стандарту DO-178B/C драйверы стандарта OpenGL SC (Safety Critical) для различных графических процессоров и графических ядер (GPU = Graphics Processing Unit)
|
| www.avdsys.ru/absint |
AbsInt - средства статического (по коду программы) анализа ПО критически-важных встраиваемых систем: времени исполнения наихудшего случая WCET (Worst-Case Execution Time), объема используемого стека, наличия потенциальных ошибок времени исполнения
|
| www.avdsys.ru/mbd |
Средства модельно-ориентированного проектирования (MBD = Model-Based Design).
AdaCore QGen - квалифицируемый генератор программного кода из моделей Simulink и Stateflow.
|
| www.avdsys.ru/tttech |
TTTech - сетевое оборудование стандартов TSN, TTE, TTP - сетевых Технологий с передачей по Временно́му Расписанию (Time-Triggered Technology),
применяемых для построения распределенных систем управления реального времени с гарантированным временем передачи данных
|
| 
