Основные ссылки
|
ГОСТ Р 72396-2025
Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование
| Обозначение: | ГОСТ Р 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.01.2026 |
|---|
| Дата актуализации описания: | 01.01.2026 |
|---|
| Дата регистрации: | 00.00.0000 |
|---|
| Дата издания: | 11.12.2025 |
|---|
| Дата введения в действие: | 01.07.2026 |
|---|
| Область и условия применения: | Настоящий стандарт является частью серии стандартов МЭК 61508 и охватывает общее обеспечение надежности программного обеспечения, используемого в критически важных операционных технологиях (OT) и выполняемого на аппаратных средствах, которые входят в состав приложения OT. В настоящем стандарте рассматривается только программное обеспечение, связанное с безопасностью, которое разрабатывается в соответствии со стандартом по функциональной безопасности программного обеспечения Э/Э/ПЭ МЭК 61508-3; в частности, рассматривается разработка программного обеспечения, которая осуществляется в соответствии с формальной спецификацией требований к безопасности. Успешное использование некоторых или всех свойств достоверности, определенных в настоящем стандарте, повышает уверенность в том, что конкретная часть программного обеспечения, связанного с безопасностью, соответствует требованиям УПБ функции безопасности, которую она частично или полностью реализует, и тем самым повышает стойкость к систематическим отказам программного обеспечения |
|---|
| Расположен в: | |
|---|
Источник информации: https://internet-law.ru/gosts/gost/86462/
На эту страницу сайта можно сделать ссылку:
На правах рекламы:
|
