Продукты
Все продукты-
КПДА.10964-01Защищенная операционная система реального времени "Нейтрино"
-
КПДА.00002-01Защищенная операционная система реального времени "QNX"
-
Комплект разработчика для КПДА.10964-01Комплект инструментов разработчика для ЗОСРВ «Нейтрино-Э»
-
КПДА.19801-01Система диспетчерского контроля и управления (СДКУ) «Фокус»
Статьи
23.09.2016
Особенности применения языков программирования Си и С++ при кодировании для систем ответственного назначения
Данная статья посвящена особенностям применения языков С/С++ при разработке ответственного ПО.
Рассматриваются связанные с данными языками программирования требования стандарта IEC 61508 (ГОСТ Р МЭК 61508) в зависимости от того уровня полноты безопасности (УПД/SIL), который должен быть достигнут. Особое внимание в статье уделено анализу сути и структуры требований MISRA C и MISRA C++ - ключевых стандартов, определяющих правила кодирования на С/С++ для систем ответственного назначения, а также базовые принципы статического и динамического анализа исходных текстов программ на соответствие правилам безопасного кодирования.