-
Данная статья посвящена особенностям применения языков С/С++ при разработке ответственного ПО.
Рассматриваются связанные с данными языками программирования требования стандарта IEC 61508 (ГОСТ Р МЭК 61508) в зависимости от того уровня полноты безопасности (УПД/SIL), который должен быть достигнут. Особое внимание в статье уделено анализу сути и структуры требований MISRA C и MISRA C++ - ключевых стандартов, определяющих правила кодирования на С/С++ для систем ответственного назначения, а также базовые принципы статического и динамического анализа исходных текстов программ на соответствие правилам безопасного кодирования.