IEC/TS 61508-3-2 Ed. 1.0:2024 (en)
電気・電子・プログラマブル電子安全関連系の機能安全-第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
発行年月日:
2024-08-26
状態:
有効
邦訳版:
有( 英・日対訳版)
英語 27ページ
38,500 円(税込) 本体価格:35,000円
邦訳 60ページ
65,835 円(税込) 本体価格:59,850円
- 規格概要
-
IEC TS 61508-3-2:2024 covers the general assurance of dependable software used in critical operational-technology (OT) which is running on hardware devices which are specified as part of the OT application. It is particularly aimed at safety-related software which is being developed according to the E/E/PE software functional safety standard IEC 61508-3; in particular, the development of the software follows a Formal Safety Requirements Specification. Successful use of some or all of the assurance points specified in this document enhances the confidence that a particular piece of safety-related software meets the requirements of the SIL of the safety function which it (partially or fully) implements, and thereby increases the systematic capability of the software.全文を表示する
TC |
TC 65/SC 65A |
---|---|
ICS |
25.040.40 |
備考 | 邦訳版はEd.1.0です。エディション(Ed.)についての詳細 |