この規格ページの目次
9
C 0508-3 : 2014 (IEC 61508-3 : 2010)
図2のボックス10 E/E/PE系安全ライフサイクル(実現フェーズ)
10 E/E/PE安全関連系 E/E/PE系設計
10.1
要求仕様
実現
(E/E/PE系安全ライフ
サイクルを参照)
ASIC及びソフトウェア
10.2 E/E/PE系安全妥当性
確認計画 10.3を含む,E/E/PE系の設計
及び開発(図3及びJIS C
0508-2も参照)
10.4 E/E/PE系統合
E/E/PE系の設置,
10.5 引渡し,
運用及び保全の手順
10.6 E/E/PE系
安全妥当性確認
各E/E/PE安全
関連系に対して 図2のボックス14へ
一つのE/E/PE
安全ライフサイクル 図2のボックス12へ
図3−E/E/PE系安全ライフサイクル(実現フェーズ)
ソフトウェア安全ライフサイクル(実現フェーズ)
E/E/PE系安全
ソフトウェア
ライフサイクル 安全要求仕様
(図3参照)
システム安全のソフト ソフトウェアの設計
ウェアの妥当性確認計画 及び開発
PE統合(ハードウェア
及びソフトウェア)
ソフトウェアの運用及び
保全手順
ソフトウェア関連システ
ム安全妥当性確認
図2のボックス14へ
図2のボックス14へ
図2のボックス12へ
図2のボックス12へ
図4−ソフトウェア安全ライフサイクル(実現フェーズ)
――――― [JIS C 0508-3 pdf 11] ―――――
10
C 0508-3 : 2014 (IEC 61508-3 : 2010)
JIS C 0508-2の
適用範囲
E/E/PE系 E/E/PE系
設計要求仕様 アーキテクチャ
ハードウェア安全要求仕様
JIS C 0508-3の ソフトウェア
適用範囲 安全要求事項 非プログラマブル
プログラマブル
ハードウェア
電子ハードウェア
ソフトウェア 非プログラマブル
プログラマブルエ
設計及び開発 ハードウェア設計
レクトロニクス
設計及び開発 及び開発
プログラマブルエレクトロ E/E/PE
ニクス統合(ハードウェア
及びソフトウェア) 系統合
図5−JIS C 0508-2とJIS C 0508-3との関係及び適用範囲
E/E/PE系 ソフトウェア 妥当性確認 妥当性確認
妥当性確認済
安全要求仕様 テスト
安全要求仕様 ソフトウェア
統合テスト(コンポー
ソフトウェア・ ネント,サブシステム
E/E/PE系
アーキテクチャ 及びプログラマブルエ
アーキテクチャ レクトロニクス)
ソフトウェア 統合テスト
システム設計 (モジュール)
モジュール モジュール
設計 テスト
引渡し事項
適合確認 コーディング
図6−ソフトウェアの決定論的対応能力及び開発ライフサイクル(Vモデル)
――――― [JIS C 0508-3 pdf 12] ―――――
11
C 0508-3 : 2014 (IEC 61508-3 : 2010)
表1−ソフトウェア安全ライフサイクル−概要
安全ライフ
サイクルフェーズ 要求事
図4の 目的 範囲 項の細 引継ぎ事項 引渡し事項
ボック 標題 分箇条
ス番号
10.1 ソフトウェ PE系
安全関連ソフトウェアの要求事項 7.2.2 割当て中に作成ソフトウェア安
ア安全要求 ソフトウェ
を,ソフトウェア安全機能要求事 するE/E/PE安 全要求仕様
仕様 アシステム
項及びソフトウェア決定論的対応 全要求仕様(JIS
能力要求事項に関して指定する。 C 0508-1参照)
要求する安全機能を履行するため E/E/PE系安全要
に必要な各E/E/PE安全関連系のソ 求仕様(JIS C
フトウェア安全機能要求事項を指 0508-2参照)
定する。
各E/E/PE安全関連系について,そ
のE/E/PE安全関連系に割り当てら
れる各安全機能に規定した安全度
水準を達成するために必要なソフ
トウェアの決定論的対応能力要求
事項を指定する。
10.2 システム安 PE系
システム安全のソフトウェアの妥 7.3.2 ソフトウェア安システム安全に
全のソフト 当性確認を実施するための計画を
ソフトウェ 全要求仕様 関してのソフト
ウェアの妥 作成する。 アシステム ウェアの妥当性
当性確認計 確認計画
画
10.3 ソフトウェ アーキテクチャ PE系 7.4.3 ソフトウェア安ソフトウェアア
アの設計及 ソフトウェ 全要求仕様 ーキテクチャ設
び開発 アシステム
要求安全度水準に関して,安全関 計
連ソフトウェアに規定している要 E/E/PE系ハード
求事項を満たすソフトウェアアー ウェアアーキテソフトウェアア
キテクチャを構築する。 クチャ設計(JIS
ーキテクチャ統
C 0508-2参照)合テスト仕様
E/E/PE安全関連系のハードウェア
アーキテクチャによって決まるソ ソフトウェア
フトウェアの要求事項を,管理下 /PE統合テスト
にある機器の安全に関するE/E/PE 仕様(JIS C
ハードウェア/ソフトウェア相互 0508-2が要求す
作用の重要性も含めて評価する。 るものと同じ)
――――― [JIS C 0508-3 pdf 13] ―――――
12
C 0508-3 : 2014 (IEC 61508-3 : 2010)
表1−ソフトウェア安全ライフサイクル−概要(続き)
安全ライフ
サイクルフェーズ 要求事
図4の 目的 範囲 項の細 引継ぎ事項 引渡し事項
ボック 標題 分箇条
ス番号
10.3 ソフトウェ PE系
支援ツール及びプログラミング言 7.4.4 ソフトウェア安支援ツール及び
アの設計及 語 全要求仕様 コーディング規
び開発 ソフトウェ 約
アシステム
ソフトウェアの安全ライフサイク ソフトウェアア
ル全体において,要求安全度水準 ーキテクチャ設開発ツールの選
支援ツール
の適合確認,妥当性確認,評価及 計 択
び部分改修を支援するための,言
プログラミ
語及びコンパイラ,ランタイムシ
ング言語
ステムインタフェース,ユーザイ
ンタフェース並びにデータの形式
及び表現方法を含むツール群を選
択する。
10.3 ソフトウェ 詳細設計及び開発 (ソフトウェア
ソフトウェ 7.4.5 ソフトウェアアソフトウェアシ
アの設計及 システム設計) アアーキテ ーキテクチャ設ステム設計仕様
び開発 クチャ設計 計
の主要要素
要求安全度水準に対する安全関連 ソフトウェアシ
ソフトウェアの要求事項を満た 及びサブシ 支援ツール及びステム統合テス
ステム
し,解析及び検証が可能で安全に コーディング規ト仕様
部分改修できるソフトウェアの設 約
計及び実装を行う。
10.3 ソフトウェ 詳細コード実装 個別ソフト 7.4.6 ソフトウェアモソースコードリ
アの設計及 ウェアモジ ジュール設計仕スト
び開発 ュール
要求安全度水準に対する安全関連 様
ソフトウェアの要求事項を満た コード審査報告
し,解析及び検証が可能で安全に 支援ツール及び書
部分改修できるソフトウェアの設 コーディング規
計及び実装を行う。 約
10.3 ソフトウェ ソフトウェアモジュールテスト ソフトウェ 7.4.7 ソフトウェアモソフトウェアモ
アの設計及 アモジュー ジュールテストジュールテスト
び開発 ル
安全関連ソフトウェアの(要求す 仕様 結果
るソフトウェア安全機能及びソフ
トウェアの決定論的対応能力に関 ソースコードリ適合確認・テス
する)要求事項を達成しているこ スト トしたソフトウ
とを検証する。 ェアモジュール
コード審査報告
各ソフトウェアモジュールが意図 書
する機能を実行し,意図しない機
能を実行することがないことを示
す。
PE系の構成が,ソフトウェアの決
定論的対応能力に関する要求事項
を満たしていることを,適切な範
囲でデータによって保証する。
――――― [JIS C 0508-3 pdf 14] ―――――
13
C 0508-3 : 2014 (IEC 61508-3 : 2010)
表1−ソフトウェア安全ライフサイクル−概要(続き)
安全ライフ
サイクルフェーズ 要求事
図4の 目的 範囲 項の細 引継ぎ事項 引渡し事項
ボック 標題 分箇条
ス番号
10.3 ソフトウェ ソフトウェア統合テスト ソフトウェ 7.4.8 ソフトウェアシソフトウェアシ
アの設計及 アアーキテ ステム統合テスステム統合テス
び開発 クチャ
安全関連ソフトウェアの(要求す ト仕様 ト結果
るソフトウェア安全機能及びソフ
ソフトウェ
トウェアの決定論的対応能力に関 検証・テストし
アシステム
する)要求事項を達成しているこ たソフトウェア
とを検証する。 システム
全てのソフトウェアモジュール,
要素及びサブシステムが正しく相
互に作用し合い,意図する機能を
実行し,意図しない機能を実行す
ることがないことを示す。
PE系の構成が,ソフトウェアの決
定論的対応能力に関する要求事項
を満たしていることを,適切な範
囲でデータによって保証する。
10.4 プログラマ ソフトウェアを目標プログラマブ
プログラマ 7.5.2 ソフトウェアアソフトウェアア
ブル電子装 ル電子ハードウェアに統合する。
ブル電子ハ ーキテクチャ統ーキテクチャ統
置統合 ードウェア 合テスト仕様 合テスト結果
安全関連プログラマブル電子装置
(ハードウェ 統合ソフト
のソフトウェア及びハードウェア ソフトウェアとプログラマブル
ア及びソフ ウェア
を,それらの両立性を保証し,目 PEとの統合テ 電子装置統合テ
トウェア) 標とする安全度水準の要求事項を スト仕様(第2 スト結果
満たすようにして組み合わせる。 部でも要求)
検証・テストし
統合プログラマた統合プログラ
ブル電子装置 マブル電子装置
10.5 ソフトウェ 同上
運用及び部分改修中の,E/E/PE安 7.6.2 上記全てで関連ソフトウェア運
アの運用及 全関連系の機能安全の維持を保証 するもの 用及び部分改修
び部分改修 するための,ソフトウェアに関す 手順
手順 る必要な情報及び手順を提供す
る。
10.6 ソフトウェ 同上
統合システムが,安全関連ソフト 7.7.2 ソフトウェア関ソフトウェア安
ア関連シス ウェアに規定する,目標安全度水 連システム安全全妥当性確認結
テム安全妥 準の要求事項に適合していること 妥当性確認計画果
当性確認 を保証する。
妥当性確認した
ソフトウェア
――――― [JIS C 0508-3 pdf 15] ―――――
次のページ PDF 16
JIS C 0508-3:2014の引用国際規格 ISO 一覧
- IEC 61508-3:2010(IDT)
JIS C 0508-3:2014の国際規格 ICS 分類一覧
- 25 : 生産工学 > 25.040 : 産業オートメーションシステム > 25.040.40 : 工業計測及び制御
JIS C 0508-3:2014の関連規格と引用規格一覧
- 規格番号
- 規格名称
- JISC0508-1:2012
- 電気・電子・プログラマブル電子安全関連系の機能安全―第1部:一般要求事項
- JISC0508-2:2014
- 電気・電子・プログラマブル電子安全関連系の機能安全―第2部:電気・電子・プログラマブル電子安全関連系に対する要求事項
- JISC0508-4:2012
- 電気・電子・プログラマブル電子安全関連系の機能安全―第4部:用語の定義及び略語