〒225-0002 神奈川県横浜市青葉区美しが丘 2-21-10
inquiry@nextream.bz

Optima-SA™:Optimaの静的解析ソリューション

ISO 26262ランダム安全解析を実行するには、解析と解析によって検出された対処が必要なさまざまなタイプの故障を理解することが重要です。これには静的解析プロセスが必要です。Optima-SA™は静的解析ソリューションを提供します。

静的解析はさまざまな方法で実行できます。しかし、今日最も一般的なのは、手作業でさまざまなデザインのコンポーネントを解析し、さまざまなフォルトに対して最も脆弱なものはどれなのかを見つけ、そして、それらのフォルトのうち、コンポーネントの動作に重大な影響を与えるのはどれかを理解することです。特定の故障の影響を排除するために安全メカニズム(SM)を使用する場合、どの故障をトラップするかを理解することも重要です。

Optima-SA™ の性能

Optimaの静的解析ソリューションであるOptima-SA™は、この特性評価を自動的に実行し、解析ソリューションに使用可能なフォルト・リストを生成します。

例を考えてみましょう。下図は、典型的な安全機構であるロック・ステップ・モニタを示しています。これは、メイン・マスタ回路の複製であるシャドウ回路で構成されています。両者の出力はクロック・サイクルごとに比較されます(つまり、互いにロック・ステップされています)。これらの出力に差が検出された場合、フォルトが宣言される。

ロック・ステップ安全メカニズム

故障分類 – Optima-SA® 静的解析

安全機構の静的解析から、一連のフォルトとその分類を導き出すことができます。 また、さらなる検査が必要な故障リストも得られます。 Optima-SA™の出力は以下のとおりです。

                                                                                                                                                          Optima-SA™出力

Optima-SA™はまた、さらなる解析に役立つ最適化のためにフォルト・リストを検査します。 例えば、フォルト・プルーニング(間引き)が適用され、特定のフォルトが隣接するフォルトとともに解析され、一方のフォルトの検出が他方のフォルトの検出を意味するかどうかを確認します。 もしそうであれば、2番目の故障は故障リストから除外されます。

最後に、Optima-SA™は、他社ツールに渡すことができる故障リストを生成することができます。 例えば、ANSYS Medini製品によって読み込まれ、フォルト情報のカタログ化に使用されます。

Optima Safety and Security Platformの他製品同様に、Optima-SA™は、ISO 26262 ASIL-D機能安全検証のためのTUV Nord認証、およびSGS-TÜV SaarによるASIL-D READY機能安全認証を取得しています。