Подтверждён событием на выбранную дату.
Карточка нормативного документа
ГОСТ Р 72396-2025
Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование
Действуетна 10.11.2026Перед применением сверяйтесь с официальным источником
Что известно о документе сейчас
По сведениям официальной карточки.
Приведена ниже без подмены названия документа.
Отсутствие связи не означает, что замены нет.
Национальный стандарт Российской Федерации
ГОСТ Р 72396-2025
Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование
Справочная карточка ГОСТНОРМ. Официальные сведения и источник показаны отдельно. Полный текст размещается только при подтверждённом праве использования.
Область применения
Настоящий стандарт является частью серии стандартов МЭК 61508 и охватывает общее обеспечение надежности программного обеспечения, используемого в критически важных операционных технологиях (OT) и выполняемого на аппаратных средствах, которые входят в состав приложения OT. В настоящем стандарте рассматривается только программное обеспечение, связанное с безопасностью, которое разрабатывается в соответствии со стандартом по функциональной безопасности программного обеспечения Э/Э/ПЭ МЭК 61508-3; в частности, рассматривается разработка программного обеспечения, которая осуществляется в соответствии с формальной спецификацией требований к безопасности. Успешное использование некоторых или всех свойств достоверности, определенных в настоящем стандарте, повышает уверенность в том, что конкретная часть программного обеспечения, связанного с безопасностью, соответствует требованиям УПБ функции безопасности, которую она частично или полностью реализует, и тем самым повышает стойкость к систематическим отказам программного обеспечения
Классификация и разработка
- Дата введения
- 01.07.2026
- ОКС
- 25.040.40
Навигация по теме
Классификация и ключевые понятия
ОКС группирует стандарты по тематике. Совпадение кода или ключевых слов помогает искать документы, но не доказывает, что они применимы к одной и той же продукции.
функциональная безопасностьпрограммное обеспечениематематические и логические методысвойства программного обеспечения
По теме
Стандарты с близкой тематикой
Подборка построена по совпадающим кодам ОКС и ключевым понятиям. Это не перечень нормативных ссылок и не сведения о замене документа.
Практическая проверка
Как понять, подходит ли этот ГОСТ
Карточка помогает найти документ и проверить базовые сведения, но не определяет обязательность применения для конкретной продукции, работы или договора.
- Сверьте обозначение и название.Похожие номера и годы могут относиться к разным редакциям.
- Прочитайте область применения.Она определяет границы документа; название не заменяет этот текст.
- Проверьте статус на нужную дату.Учитывайте будущее введение, отмену или замену.
- Изучите связи и редакции.При замене перейдите к новому документу и повторите проверку.
- Сверьтесь с первоисточником.Для решений с юридическими или договорными последствиями проверьте официальную карточку и документ-основание.
Пояснения
Частые вопросы о ГОСТ Р 72396-2025
Действует ли ГОСТ Р 72396-2025?
По подтверждённым событиям в базе ГОСТ Р 72396-2025 действует в РФ на 10.11.2026. Перед применением сверьте статус с официальной карточкой.
Чем заменён ГОСТ Р 72396-2025?
Подтверждённая замена в базе не указана. Это не означает, что замены нет: проверьте официальную карточку.
Можно ли прочитать или скачать документ?
Полный текст и PDF не размещены. Карточка содержит библиографические сведения; материалы появятся только после проверки источника и права публикации.
Где проверить официальные сведения?
Ссылка «Официальный источник» ведёт на карточку Росстандарта. Сверяйте обозначение, статус, даты и область применения.
Карточка содержит подтверждённые библиографические сведения. Текст или PDF появится только после проверки источника и права публикации.
Проверить официальный источникИстория статуса
Показаны только проверенные события. Дата сверки карточки не заменяет дату введения, замены или отмены.
Введён в действие
Дата введения по официальной карточке Росстандарта
Открыть основание