JP2009003679A - ソフトウエア安全解析評価装置 - Google Patents
ソフトウエア安全解析評価装置 Download PDFInfo
- Publication number
- JP2009003679A JP2009003679A JP2007163519A JP2007163519A JP2009003679A JP 2009003679 A JP2009003679 A JP 2009003679A JP 2007163519 A JP2007163519 A JP 2007163519A JP 2007163519 A JP2007163519 A JP 2007163519A JP 2009003679 A JP2009003679 A JP 2009003679A
- Authority
- JP
- Japan
- Prior art keywords
- unit
- analysis
- safety analysis
- software safety
- software
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Landscapes
- Stored Programmes (AREA)
Abstract
【課題】計画意志決定者とソフトウエア安全解析担当は、安全解析計画をプランし、所定の目的に従って、異なるソフトウエア安全解析法の組み合わせを評価して共同認識を達成できるソフトウエア安全解析評価装置を提供する。
【解決手段】時間に関する解析を実行する動的解析ユニットと、完全に重要ソフトウエアの事故状態をカバレージする完全性ユニットと、目標達成の程度を判断する到達可能性ユニットと、事故ケースの詳細程度を解析する詳細性ユニットと、1組のソフトウエア安全解析方法により、利用可能の情報を得るための手続きを判断する信号/ノイズ比ユニットと、該ソフトウエア安全解析方法の複雑程度を実行するための複雑度ユニットと、一つのソフトウエア安全解析方法を実行するためコストの程度を評価する具現コストユニットとが含有される。
【選択図】図1
【解決手段】時間に関する解析を実行する動的解析ユニットと、完全に重要ソフトウエアの事故状態をカバレージする完全性ユニットと、目標達成の程度を判断する到達可能性ユニットと、事故ケースの詳細程度を解析する詳細性ユニットと、1組のソフトウエア安全解析方法により、利用可能の情報を得るための手続きを判断する信号/ノイズ比ユニットと、該ソフトウエア安全解析方法の複雑程度を実行するための複雑度ユニットと、一つのソフトウエア安全解析方法を実行するためコストの程度を評価する具現コストユニットとが含有される。
【選択図】図1
Description
本発明は、ソフトウエア安全解析評価装置に関し、特に、計画意志決定者とソフトウエア安全解析担当は、安全解析計画をプランし、所定の目的に従って、異なるソフトウエア安全解析(Software Safety Analysis、SSA)法の組み合わせを評価して、共同認識を達成できる。
原子力発電所計器制御システムが大量にデジタル化するとともに、各種類のソフトウエア安全解析法により、危険因子を認証して、原子力発電所の計器制御システムデジタル化設備が安全であるかを評価するツールとし、納得できる程度までリスクを低下する。
既存の解析法は、先行のハザード解析システム(PHA)や事故モードと効果解析システム(FMEA)、故障木解析システム(FTA)、マルコフ連鎖モデリングシステム(Markov Chain Modeling)、動的流れ図方法論システム(DFM)及びシミュレータ基礎モードシステムが含まれる。しかしながら、上記の各解析法は、それぞれ利点もあり欠点もあり、単一の方法だけを利用すれば、解析は満足できる結果が得られない。それぞれの欠点は次の通りである。
該先行のハザード解析システムは、成功できるかのキーポイントが、参加者の選択にあり、それらの専門家は、該システムに関して広い背景や洞察力を有することが必要である。
該事故モードと効果解析システムは、簡約にソフトウエア共同因子事故を討論できるが、完全にソフトウエア事故の構造を説明することができない。
該故障木解析システムは、安全度評価(Probabilistic Risk Assessment、PRA)の主なシステムの一つであるが、該故障木解析システムは、デジタル計器制御システムに適用されると、多数の人が納得できるソフトウエア事故率が得られない問題がある。
該マルコフ連鎖モデリングシステムは、ソフトウエア事故経路と回復手続きを記述できるが、解析担当がマルコフ連鎖を応用する時、合理的な転送率(transfer rate)が得られない問題がある。
該動的流れ図方法論システムは、時間に関する多状態論理があるが、大きいシステムに適用し難い欠点があり、該動的流れ図方法論システムを複雑のシステムに応用される時、モデリングを生成するため、使用されるマトリックスが非常に膨大になる。
該シミュレータ基礎モードシステムは、事件の詳細が再現されるが、その具現コストは比較的に高い。
また、単一方法だけでは満足できる結果を解析できない。相補的に、以上のような2種類以上のシステムを利用して解析すれば、より満足的な結果が得られる。そのため、適当な評価基準があれば、解析担当が資源に応じて適当なシステムの組み合わせを選択して、解析を行うことができる。そのため、一般の従来のものは実用的とは言えない。
本発明の主な目的は、計画意志決定者とソフトウエア安全解析担当は、その安全解析計画をプランし、所定の目的に従って異なるソフトウエア安全解析法の組み合わせを評価して、共同認識を達成できるソフトウエア安全解析評価装置を提供する。
本発明は、上記の目的を達成できるために、少なくとも、時間に関する解析を実行する動的解析(Dynamic capability)ユニットと、完全に重要ソフトウエアの事故状態をカバレージする完全性(Completeness)ユニットと、目標達成の程度を判断する到達可能性(Achievability)ユニットと、事故ケースの詳細程度を解析する詳細性(Detail)ユニットと、1組のソフトウエア安全解析(Software Safety Analysis、SSA)方法によりで利用可能の情報を得るための手続きを判断する信号/ノイズ比(Signal/Noise ratio)ユニットと、該ソフトウエア安全解析方法の複雑程度を実行する複雑度(Complexity)ユニットと、一つのソフトウエア安全解析方法を実行するためコストの程度を評価する具現コスト(Implementation Cost)ユニットとが含有されるソフトウエア安全解析評価装置である。これにより、計画意志決定者とソフトウエア安全解析担当は、その安全解析計画をプランし、所定の目的に従って異なるソフトウエア安全解析法の組み合わせを評価して、共同認識を達成できる。
図1〜図4は、それぞれ、本発明の構造概念図と本発明のソフトウエア安全解析分類概念図、本発明の評価ポインターレベル概念図及び本発明の基本評価ポインター数値概念図である。図のように、本発明はソフトウエア安全解析評価装置であり、少なくとも、動的解析(Dynamic capability)ユニット11と完全性(Completeness)ユニット12、到達可能性(Achievability)ユニット13、詳細性(Detail)ユニット14、信号/ノイズ比(Signal/Noise ratio)ユニット15、複雑度(Complexity)ユニット16及び具現コスト(Implementation Cost)ユニット17が含有され、これにより、計画意志決定者とソフトウエア安全解析担当は、その安全解析計画をプランし、所定の目的に従って、異なるソフトウエア安全解析(Software Safety Analysis、SSA)法の組み合わせを評価して、共同認識を達成できる。
該動的解析ユニット11は、時間に関する解析を実行し、例えば、シミュレータ基礎モード解析システム26が時間に関する解析ツールであるが、故障木解析システム(FTA)23がそうではないものである。
該完全性ユニット12は、完全に重要ソフトウエアの事故状態をカバレージし、例えば、該故障木解析システム23は、構造特性が拡張し易いため、多数の重要のソフトウエア事故形態をカバレージでき、また、該シミュレータ基礎モード解析システム26は、1度に一つの実施例だけを解析でき、完全に各種類の実施例をカバレージできない。
該到達可能性ユニット13は、目標達成の程度を判断し、例えば、炉心損害頻度(Core damage frequency)がソフトウエア事故頻度を考慮し、故障木解析システム23の目標とするが、合理的なソフトウエア事故率が容易に得られない。認証システムは、危険因子を該シミュレータ基礎モード解析システム26の目標とし、比較的に容易にその目標を達到できる。
該詳細性ユニット14は、一つの事故実施例の詳細程度を解析し、例えば、該シミュレータ基礎モード解析システム26は、解析実施例について詳細結果を提供でき、先行のハザード解析システム(PHA)21は、簡単な結果しか提供できない。
該信号/ノイズ比ユニット15は、1組のソフトウエア安全解析法により、利用可能の情報を得るための手続きを判断し、例えば、該故障木解析システム23は、完全のソフトウエア事故構造を介して、事故モードと効果解析システム(FMEA)22によるものより、より利用可能の情報が得られる。そのため、該故障木解析システム23は、該事故モードと効果解析システム22より高い信号/ノイズ比が得られる。
該複雑度ユニット16は、該ソフトウエア安全解析法を実行する複雑程度を評価し、例えば、該故障木解析システム23を実行するステップは、該先行のハザード解析システム21より多いため、該故障木解析システム23の複雑度が該先行のハザード解析システム21より高い。即ち、該故障木解析システム23を実行するには比較的に時間が掛かり、そのため、計画対象期間がない計画であれば進捗が遅れるようになる。
該具現コストユニット17は、一つのソフトウエア安全解析法を実行するためのコストの程度を評価し、例えば、該シミュレータ基礎モード解析システム26を利用する時、発電所シミュレーションプログラムを導入して、十分の計器制御機能とプログラム校正を構築するためのコストを考慮することが必要である。
本発明は適用する時、まず、従来のソフトウエア安全解析法である、先行のハザード解析システム21や事故モードと効果解析システム22、故障木解析システム23、マルコフ連鎖モデリングシステム(Markov Chain Modeling)24、動的流れ図方法論システム(DFM)25及びシミュレータ基礎モード解析システム26について、質的(Qualitative)/量的(Quantitative)及びアセンブリーを中心とするもの(Component centric)、システムを中心とするもの(System centric)等に区分するように定義し(図2のように)、また、該動的解析ユニット11と完全性ユニット12、到達可能性ユニット13、詳細性ユニット14、信号/ノイズ比ユニット15、複雑度ユニット16及び具現コストユニット17について、評価ポインター3を、「極低」、「低」、「中等」、「高」及び「極高」の五つレベルに分け、また、「極低」から「極高」まで、ポジティブ意味のポインターとして、1〜5の数値を附与し、また、「極低」から「極高」まで、ネガティブ意味のポインターで、−1〜−5の数値を附与し(図3のように)、基本評価のポインター数値を表示する(図4のように)。また、この基本評価の制定は、主観的特性を有し、解析担当者は、格別の認識や需要に応じて、その数値が調整されることができ、また、該区分定義においての質的は、事故率や転送率を利用しない方法で、該区分定義においての量的は、事故率や転送率を利用する方法であり、該区分定義においてのアセンブリーを中心とする場合、ソフトウエア事故をソフトウエア自身の性質と見なし、該区分定義においてのシステムを中心とする場合、独自的に一つのソフトウエアの事故を討論するのが、意味がないことを主張する。システムを中心とする場合、システム脈絡において、ソフトウエアや事故の概念を考慮しなければ意味がない。この情況の場合、システム事故とシステム安全解析と称される。
図5〜図10は、それぞれ、本発明の第1の実施例の個別評価概念図と第1の実施例の組み合わせ評価概念図、第2の実施例の個別評価概念図、第2の実施例の組み合わせ評価概念図、第3の実施例の個別評価概念図及び第3の実施例の組み合わせ評価概念図である。図のように、多種類のソフトウエア安全解析法を組み合わせて解析を行うことは、通常的且つ必要的であるから、本発明を説明するため、下例(A)〜(E)の組み合わせで、複数の実施例により具体的に説明する。
(A)PHA+FMEA+FTA(事故率を考慮する)と、(B)PHA+FMEA+FTA(事故率を考慮する)+マルコフ連鎖モデリングシステム(転送率考慮する)と、(C)PHA+FMEA+FTA(事故率を考慮しない)+マルコフ連鎖モデリングシステム(転送率を考慮しない)と、(D)PHA+DFMと、(E)PHA+FMEA+FTA(事故率を考慮しない)+シミュレータ基礎モード解析システム。
第1の実施例において、基本評価ポインター数値を使用して(例えば、図4のように)、全ての重率因子を1にセットする。その個別の評価結果(例えば、図5のように)から、マルコフ連鎖モデリングシステム(転送率を考慮しない)24bと動的流れ図方法論システム25及びシミュレータ基礎モード解析システム26は、ポインターが比較的に高い点数になり、また、組み合わせ評価結果(例えば、図6のように)から、PHA+FMEA+FTA(事故率を考慮しない)+マルコフ連鎖モデリングシステム(転送率を考慮しない)は、(A)〜(E)の組み合わせにおいて最も良いものである。
第2の実施例において、仮に、解析担当が、該動的解析ユニット11や到達可能性ユニット13、詳細性ユニット14及び信号/ノイズ比ユニット15を強調し、また予算が十分であるため、該具現コストユニット17を考慮しない。個別評価結果(例えば、図7のように)から、該動的流れ図方法論システム25と該シミュレータ基礎モード解析システム26は、ポインターが比較的に高い点数になり、また、組み合わせ評価結果(例えば、図8のように)から、PHA+FMEA+FTA(事故率を考慮しない)+シミュレータ基礎モード解析システムは、(A)〜(E)の組み合わせにおいて最も良いものである。
また、第3の実施例において、仮に、該完全性ユニット12を強調し、また、予算と計画対象期間とが限られたため、特に、該複雑度ユニット16と該具現コストユニット17を強調する。個別評価結果(例えば、図9のように)、故障木解析システム(事故率を考慮しない)23bとマルコフ連鎖モデリングシステム(転送率を考慮しない)24bは、故障木解析システム(事故率を考慮する)23aとマルコフ連鎖モデリングシステム(転送率を考慮する)24aより、ポインターが比較的に高い点数になり、また、組み合わせ評価結果(例えば、図10のように)から、PHA+FMEA+FTA(事故率を考慮しない)+マルコフ連鎖モデリングシステム(転送率を考慮しない)は、再び(A)〜(E)の組み合わせにおいて最も良いものになる。
上記の解析評価結果から分かるように、納得できる量的事故率と転送率が得難い為、従来のPHA+FMEA+FTA(事故率を考慮する)+マルコフ連鎖モデリングシステム(転送率を考慮する)の組み合わせより競争性がない。しかしながら、質的構造である故障木解析システムとマルコフ連鎖モデリングシステムとは、ソフトウエア事故構造を理解することに非常に有利的である。また、システムを中心とするため、例えば、該動的流れ図方法論システム25と該模擬基礎モード解析システム26は、在該動的解析ユニット11、到達可能性ユニット13と詳細性ユニット14及び信号/ノイズ比ユニット15が有利的である(例えば、図7のように)。各ソフトウエア安全解析法の進化とともに、評価結果が変化するが、本発明において、ソフトウエア安全解析方法の本質についての了解は、評価することにより得られた数字より重要であるため、本発明の評価装置は、解析担当が共同認識を達成するための平台とするのが好ましい。
以上のように、本発明に係わるソフトウエア安全解析評価装置は、有効に従来の諸欠点を改善でき、計画意志決定者とソフトウエア安全解析担当は、安全解析計画をプランし、所定の目的に従って、異なるソフトウエア安全解析の組み合わせを評価して、共同認識を達成できるため、本発明はより進歩的かつより実用的で、法に従って特許請求を出願する。
以上は、ただ本発明のより良い実施例であり、本発明は、それによって制限されることが無く、本発明に係わる特許請求の範囲や明細書の内容に基づいて行った等価の変更や修正は、全てが本発明の特許請求の範囲内に含まれる。
11 動的解析ユニット
12 完全性ユニット
13 到達可能性ユニット
14 詳細性ユニット
15 信号/ノイズ比ユニット
16 複雑度ユニット
17 具現コストユニット
21 先行のハザード解析システム
22 事故モードと効果解析システム
23 故障木解析システム
23a 故障木解析システム
23b 故障木解析システム
24 マルコフ連鎖モデリングシステム
24a マルコフ連鎖モデリングシステム
24b マルコフ連鎖モデリングシステム
25 動的流れ図方法論システム
26 シミュレータ基礎モード解析システム
3 評価ポインター
12 完全性ユニット
13 到達可能性ユニット
14 詳細性ユニット
15 信号/ノイズ比ユニット
16 複雑度ユニット
17 具現コストユニット
21 先行のハザード解析システム
22 事故モードと効果解析システム
23 故障木解析システム
23a 故障木解析システム
23b 故障木解析システム
24 マルコフ連鎖モデリングシステム
24a マルコフ連鎖モデリングシステム
24b マルコフ連鎖モデリングシステム
25 動的流れ図方法論システム
26 シミュレータ基礎モード解析システム
3 評価ポインター
Claims (6)
- 時間に関する解析を実行する動的解析ユニットと、完全に重要ソフトウエアの事故状態をカバレージする完全性ユニットと、目標達成の程度を判断する到達可能性ユニットと、事故ケースの詳細程度を解析する詳細性ユニットと、1組のソフトウエア安全解析方法により、利用可能の情報を得るための手続きを判断する信号/ノイズ比ユニットと、該ソフトウエア安全解析方法の複雑程度を実行するための複雑度ユニットと、一つのソフトウエア安全解析方法を実行するためコストの程度を評価する具現コストユニットとが含有されることを特徴とする、ソフトウエア安全解析評価装置。
- 該ソフトウエア安全解析方法は、先行のハザード解析システム(PHA)や事故モードと効果解析システム(FMEA)、故障木解析システム(FTA)、マルコフ連鎖モデリングシステム、動的流れ図方法論システム(DFM)及びシミュレータ基礎モード解析システムが含まれることを特徴とする、請求項1に記載のソフトウエア安全解析評価装置。
- 該ソフトウエア安全解析方法は、質的/量的と、アセンブリーを中心とするもの/システムを中心とするもの、に区分されることを特徴とする、請求項1に記載のソフトウエア安全解析評価装置。
- 該動的解析ユニットと完全性ユニット、到達可能性ユニット、詳細性ユニット、信号/ノイズ比ユニット、複雑度ユニット及び具現コストユニットの評価ポインターは、極低、低、中等、高、及び、極高の五つのレベルがあることを特徴とする、請求項1に記載のソフトウエア安全解析評価装置。
- 該評価ポインターは、「極低」から「極高」まで、それぞれポジティブな意味で、1〜5の数値が附与されることを特徴とする、請求項4に記載のソフトウエア安全解析評価装置。
- 該評価ポインターは、「極低」から「極高」まで、それぞれネガティブな意味で、−1〜−5の数値が附与されることを特徴とする、請求項4に記載のソフトウエア安全解析評価装置。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007163519A JP2009003679A (ja) | 2007-06-21 | 2007-06-21 | ソフトウエア安全解析評価装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007163519A JP2009003679A (ja) | 2007-06-21 | 2007-06-21 | ソフトウエア安全解析評価装置 |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2009003679A true JP2009003679A (ja) | 2009-01-08 |
Family
ID=40320003
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2007163519A Pending JP2009003679A (ja) | 2007-06-21 | 2007-06-21 | ソフトウエア安全解析評価装置 |
Country Status (1)
Country | Link |
---|---|
JP (1) | JP2009003679A (ja) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109299008A (zh) * | 2018-09-21 | 2019-02-01 | 北京广利核系统工程有限公司 | 一种核电站控制系统安全功能自动测试系统及方法 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2006277370A (ja) * | 2005-03-29 | 2006-10-12 | Toshiba Corp | 回路基板の品質解析システム及び品質解析方法 |
-
2007
- 2007-06-21 JP JP2007163519A patent/JP2009003679A/ja active Pending
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2006277370A (ja) * | 2005-03-29 | 2006-10-12 | Toshiba Corp | 回路基板の品質解析システム及び品質解析方法 |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109299008A (zh) * | 2018-09-21 | 2019-02-01 | 北京广利核系统工程有限公司 | 一种核电站控制系统安全功能自动测试系统及方法 |
CN109299008B (zh) * | 2018-09-21 | 2021-11-30 | 北京广利核系统工程有限公司 | 一种核电站控制系统安全功能自动测试系统及方法 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Calixto et al. | Comparing SLIM, SPAR-H and Bayesian network methodologies | |
Inti et al. | Application of fuzzy preference–analytic hierarchy process logic in evaluating sustainability of transportation infrastructure requiring multicriteria decision making | |
CN109886328B (zh) | 一种电动汽车充电设施故障预测方法与系统 | |
CN111199469A (zh) | 用户还款模型生成方法、装置及电子设备 | |
Tak et al. | System‐Level Seismic Risk Assessment of Bridge Transportation Networks Employing Probabilistic Seismic Hazard Analysis | |
Boring et al. | Simulation and non-simulation based human reliability analysis approaches | |
Raunak et al. | Metamorphic testing on the continuum of verification and validation of simulation models | |
JP2009003679A (ja) | ソフトウエア安全解析評価装置 | |
EP2015181A1 (en) | Software safety analysis and evaluation system | |
Hofstadler | Multisystemic modeling to improve forecast accuracy in construction management | |
Ji et al. | Dynamical core evaluation test report for NOAA’s next generation global prediction system (NGGPS) | |
CN113485940B (zh) | 一种基于参数抽象建模的组合测试用例生成方法 | |
Colombo et al. | Towards the automatic measurement of human performance in virtual environments for industrial safety | |
KR100919684B1 (ko) | 데이터 마이닝 방법 | |
Yun et al. | Mutation analysis for system of systems policy testing | |
Bani-Mustafa et al. | A hierarchical tree-based decision making approach for assessing the trustworthiness of risk assessment models | |
Olsen et al. | Enabling quantified validation for model credibility | |
CN111488284A (zh) | 一种用于OpenStack云平台的模拟操作主动检测方法 | |
KR20210081149A (ko) | 통합 위험 관리 방법 및 시스템 | |
Hanh et al. | Applying the meta-heuristic algorithms for mutation-based test data generation for Simulink models | |
Angelopoulou et al. | The system dynamics architecture of UTASiMo: a simulation-based task analysis tool to predict human error probability | |
Papadopoulos | Towards probabilistic seismic risk assessment accounting for seismicity clustering and damage accumulation | |
Im et al. | Toward a reasoning framework for dependability | |
Werner | Assessing and Modelling Tail Dependencies Between Service Times in Discrete Event Simulation With Minimum Information Copulas for a Better Understanding of Maximum Time in System Risk | |
US20230195964A1 (en) | Prediction program, prediction method, and prediction device |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20100802 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20110106 |