| Обозначение | ГОСТ Р 72396-2025 |
| Полное обозначение | ГОСТ Р 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 |
| Дата введения в действие | 01.07.2026 |
| Дата огр. срока действия | |
| ОКС | 25.040.40 |
| Код ОКП | |
| Код КГС | |
| Код ОКСТУ | |
| Индекс рубрикатора ГРНТИ | |
| Аннотация (область применения) | Настоящий стандарт является частью серии стандартов МЭК 61508 и охватывает общее обеспечение надежности программного обеспечения, используемого в критически важных операционных технологиях (OT) и выполняемого на аппаратных средствах, которые входят в состав приложения OT. В настоящем стандарте рассматривается только программное обеспечение, связанное с безопасностью, которое разрабатывается в соответствии со стандартом по функциональной безопасности программного обеспечения Э/Э/ПЭ МЭК 61508-3; в частности, рассматривается разработка программного обеспечения, которая осуществляется в соответствии с формальной спецификацией требований к безопасности. Успешное использование некоторых или всех свойств достоверности, определенных в настоящем стандарте, повышает уверенность в том, что конкретная часть программного обеспечения, связанного с безопасностью, соответствует требованиям УПБ функции безопасности, которую она частично или полностью реализует, и тем самым повышает стойкость к систематическим отказам программного обеспечения |
| Ключевые слова | функциональная безопасность, программное обеспечение, математические и логические методы, свойства программного обеспечения |
| Термины и определения | Раздел стандарта |
| Наличие терминов РОСТЕРМ | |
| Вид стандарта | |
| Вид требований | |
| Дескрипторы (английский язык) | |
| Обозначение заменяемого(ых) | |
| Обозначение заменяющего | |
| Обозначение заменяемого в части | |
| Обозначение заменяющего в части | |
| Гармонизирован с: | |
| Аутентичный текст с ISO | |
| Аутентичный текст с IEC | IEC/TS 61508-3-2(2024) |
| Аутентичный текст с ГОСТ | |
| Аутентичный текст с прочими | |
| Содержит требования: ISO | |
| Содержит требования: IEC | |
| Содержит требования: СЭВ | |
| Содержит требования: ГОСТ | |
| Содержит требования: прочими | |
| Нормативные ссылки на: ISO | |
| Нормативные ссылки на: IEC | IEC 61508-3(2010);IEC 61508-4(2010) |
| Нормативные ссылки на: ГОСТ | |
| Документ внесен организацией СНГ | |
| Нормативные ссылки на: Прочие | |
| Документ принят организацией СНГ | |
| Номер протокола | |
| Дата принятия в МГС | |
| Присоединившиеся страны | |
| Управление Ростехрегулирования | 1 - Управление стандартизации |
| Технический комитет России | 58 - Функциональная безопасность |
| Разработчик МНД | |
| Межгосударственный ТК | |
| Дата последнего издания | |
| Номер(а) изменении(й) | |
| Количество страниц (оригинала) | |
| Организация - Разработчик | Общество с ограниченной ответственностью «ЭОС Тех» (ООО «ЭОС Тех») и Федеральное государственное бюджетное учреждение «Российский институт стандартизации» (ФГБУ «Институт стандартизации») |
| Статус | Принят |
| Код цены | |
| На территории РФ пользоваться | |
| Отменен в части | |
| Номер ТК за которым закреплен документ | 058 |
| Номер приказа о закреплении документа за ТК | 1442-ст |
| Дата приказа о закреплении документа за ТК | 20.11.2025 |
 |