 |
 |
|
|
|
|
|
|
|
расширенный поиск | карта сайта |
|
|
|
IEC/TS 61508-3-2(2024) |  на печать | | Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 3-2. Требования и руководство по применению математических и логических методов для установления точных свойств программного обеспечения и их документирование |
|
| | Библиография | Обозначение | 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 | | МКС | 25.040.40 | | Аннотация (область применения) | Настоящий стандарт является частью комплекса стандартов МЭК 61508 и охватывает общее обеспечение надежности программного обеспечения, используемого в критически важных операционных технологиях (OT) и выполняемого на аппаратных средствах, которые входят в состав приложения OT. В настоящем стандарте рассматривается только программное обеспечение, связанное с безопасностью, которое разрабатывается в соответствии со стандартом по функциональной безопасности программного обеспечения Э/Э/ПЭ МЭК 61508-3; в частности, рассматривается разработка программного о
беспечения, которая осуществляется в соответствии с формальной спецификацией требований к безопасности. Успешное использование некоторых или всех свойств достоверности, определенных в настоящем стандарте, повышает уверенность в том, что конкретная часть программного обеспечения, связанного с безопасностью, соответствует требованиям УПБ функции безопасности, которую она частично или полностью реализует, и тем самым повышает стойкость к систематическим отказам программного обеспечения | | Вид стандарта | ST | | Дата опубликования | 26.08.2024 | | Язык оригинала | английский | | Количество страниц оригинала | 27 | | Количество страниц перевода | 28 | | ТК – разработчик стандарта | TC 65/SC 65A | | Номер издания | 1.0 | | Статус | Действует | | Код цены | G | |
| | Стандарт IEC/TS 61508-3-2(2024) входит в рубрики классификатора:
| | |
| |
|
|
|
| Цены |
| На языке оригинала |
32400,00
|
| Перевод на русский язык |
64800,00
|
| Комплект: На языке оригинала+Перевод на русский язык |
81000,00
|
|
|
|