ГОСТ Р 72396-2025/IEC/TS 61508-3-2:2024 Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование

ГОСТ Р 72396-2025/IEC/TS 61508-3-2:2024

НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

ФУНКЦИОНАЛЬНАЯ БЕЗОПАСНОСТЬ СИСТЕМ ЭЛЕКТРИЧЕСКИХ, ЭЛЕКТРОННЫХ, ПРОГРАММИРУЕМЫХ ЭЛЕКТРОННЫХ, СВЯЗАННЫХ С БЕЗОПАСНОСТЬЮ

Часть 3-2

Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование

Functional safety of electrical, electronic, programmable electronic safety-related systems. Part 3-2. Requirements and guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation

Дата введения 2026-07-01

Предисловие

1 ПОДГОТОВЛЕН Обществом с ограниченной ответственностью "ЭОС Тех" (ООО "ЭОС Тех") и Федеральным государственным бюджетным учреждением "Российский институт стандартизации" (ФГБУ "Институт стандартизации") на основе собственного перевода на русский язык англоязычной версии стандарта, указанного в пункте 4

2 ВНЕСЕН Техническим комитетом по стандартизации ТК 58 "Функциональная безопасность"

3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 20 ноября 2025 г. № 1442-ст

4 Настоящий стандарт идентичен международному документу IEC/TS 61508-3-2:2024* "Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование" (IEC/TS 61508-3-2:2024 "Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3-2: Requirements and guidance in the use of mathematical and logical techniques for establishing exact properties of software and its documentation", IDT).

________________

* Доступ к международным и зарубежным документам, упомянутым в тексте, можно получить, обратившись в Службу поддержки пользователей. - Примечание изготовителя базы данных.

При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов соответствующие им межгосударственные и национальные стандарты, сведения о которых приведены в дополнительном приложении ДА

5 ВВЕДЕН ВПЕРВЫЕ

Правила применения настоящего стандарта установлены в статье 26 Федерального закона от 29 июня 2015 г. № 162-ФЗ "О стандартизации в Российской Федерации". Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе "Национальные стандарты", а официальный текст изменений и поправок - в ежемесячном информационном указателе "Национальные стандарты". В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске ежемесячного информационного указателя "Национальные стандарты". Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (www.rst.gov.ru)

Введение

Стандарты МЭК 61508-1:2010 - МЭК 61508-7:2010 образуют серию базовых стандартов по функциональной безопасности электрических, электронных и программируемых электронных систем (систем Э/Э/ПЭ). Она охватывает жизненный цикл этих систем. Большая часть функционала таких систем, как правило, реализуется программно. МЭК 61508-3:2010 устанавливает требования к программному обеспечению.

Обязательное приложение А и справочные приложения В и С МЭК 61508-3:2010 содержат таблицы, в которых перечислены различные методы и меры, а также даны некоторые рекомендации по выбору этих методов для различных уровней полноты безопасности (УПБ). В нем перечислены общие категории и даны различные уровни рекомендаций для них, такие как "не рекомендуется", "рекомендуется" или "настоятельно рекомендуется", а также более конкретные методы для различных этапов разработки программного обеспечения.

Эти методы и меры представляют собой сочетание общих и конкретных. Термин "формальные методы", используемый в МЭК 61508-3, связан с использованием математических и логических подходов для спецификации, оценки, проектирования и верификации программного обеспечения. Такие методы используются для определения требований, оценки проекта, проверки исходного и объектного кода, а также для создания тестовых наборов и мониторинга корректной работы программного обеспечения времени выполнения. В настоящем стандарте их называют "математические и логические методы" (M&LT) или просто "методы M&LT". Некоторые из методов M&LT, представленных в настоящем стандарте, не ограничиваются разработкой программного обеспечения и в равной степени применимы к другим технологиям проектирования на основе цифровых систем. Ни один из методов M&LT не ограничивается областью программных систем, связанных с безопасностью, хотя в настоящем стандарте рассматриваются методы M&LT, только для приложений, связанных с безопасностью.

Использование методов, рекомендуемых в приложениях А, В и С МЭК 61508-3:2010, не исключает, например, подверженности программного обеспечения сбоям во время выполнения. Современные технологии разработки программного обеспечения позволяют исключить различные типы сбоев во время выполнения программного обеспечения за счет его тщательной разработки. Используя описанные в настоящем стандарте методы, можно гарантировать отсутствие многих типов сбоев во время выполнения программного обеспечения.

1 Область применения

Настоящий стандарт является частью серии стандартов МЭК 61508 и охватывает общее обеспечение надежности программного обеспечения, используемого в критически важных операционных технологиях (ОТ) и выполняемого на аппаратных средствах, которые входят в состав приложения ОТ. В настоящем стандарте рассматривается только программное обеспечение, связанное с безопасностью, которое разрабатывается в соответствии со стандартом по функциональной безопасности программного обеспечения Э/Э/ПЭ МЭК 61508-3; в частности, рассматривается разработка программного обеспечения, которая осуществляется в соответствии с формальной спецификацией требований к безопасности. Успешное использование некоторых или всех свойств достоверности, определенных в настоящем стандарте, повышает уверенность в том, что конкретная часть программного обеспечения, связанного с безопасностью, соответствует требованиям УПБ функции безопасности, которую она частично или полностью реализует, и тем самым повышает стойкость к систематическим отказам программного обеспечения.