ГОСТ Р 72396-2025

Обозначение

ГОСТ Р 72396-2025

Заглавие на русском языке

Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 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

Дата введения в действие

01.07.2026

ОКС

25.040.40

Аннотация (область применения)

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

Ключевые слова

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

Термины и определения

Раздел стандарта

Вид стандарта

2 - Стандарты на процессы

Аутентичный текст с IEC

IEC/TS 61508-3-2(2024)

Нормативные ссылки на: IEC

IEC 61508-3(2010);IEC 61508-4(2010)

Документ принят организацией СНГ

Межгосударственный Совет по стандартизации метрологии и сертификации

Управление Ростехрегулирования

1 - Управление стандартизации

Количество страниц (оригинала)

Организация - Разработчик

Общество с ограниченной ответственностью «ЭОС Тех» (ООО «ЭОС Тех») и Федеральное государственное бюджетное учреждение «Российский институт стандартизации» (ФГБУ «Институт стандартизации»)

Статус

Действует

Код цены