(57)【要約】【課題】半導体装置が要求されている機能安全を満たしているか否かを動的に提示する。【解決手段】機能安全判定システム１は、半導体装置の機能に基づく入力信号を取得する入力インタフェース１０と、上記機能が機能安全要求を満たしているか否かの判定をする判定装置１１と、判定の結果である判定結果を出力する出力インタフェース１２とを有する。上記判定装置１１は、半導体装置に対する機能安全要求と半導体装置の機能仕様とに基づいて、上記機能に対する要求信号を設定し、要求信号と入力信号とを照合することにより、上記機能が機能安全要求を満たしているか否かの判定をする。【選択図】図１
2020042387.tif 000002
【特許請求の範囲】
【請求項１】
半導体装置の機能に基づく入力信号を取得する入力インタフェースと、
前記半導体装置に対する機能安全要求と前記半導体装置の機能仕様とに基づいて、前記機能に対する要求信号を設定し、前記要求信号と前記入力信号とを照合することにより、前記機能が前記機能安全要求を満たしているか否かの判定をする判定装置と、
前記判定の結果である判定結果を出力する出力インタフェースと
を備える機能安全判定システム。
【請求項２】
前記判定装置は、前記半導体装置が有する複数の機能に応じて前記複数の機能ごとに前記判定をし、
前記出力インタフェースは、前記複数の機能に対応した前記判定結果を出力する
請求項１に記載の機能安全判定システム。
【請求項３】
前記判定装置は、前記機能安全要求が有する複数の要求事項に応じて、前記判定をし、
前記出力インタフェースは、前記複数の要求事項に対応した前記判定結果を出力する
請求項１に記載の機能安全判定システム。
【請求項４】
前記判定装置は、前記要求事項に対応する複数の機能が存在する場合に、前記要求事項と前記複数の機能とを対応させて前記判定をし、
前記出力インタフェースは、前記要求事項と前記複数の機能とに対応した前記判定結果を出力する
請求項３に記載の機能安全判定システム。
【請求項５】
前記出力インタフェースは、視覚的に表示する態様により前記判定結果を出力する
請求項４に記載の機能安全判定システム。
【請求項６】
前記出力インタフェースは、前記判定結果と、前記判定結果に対応する前記機能安全要求および前記機能の内少なくともいずれか一方とを連関して表示する態様により前記判定結果を出力する
請求項５に記載の機能安全判定システム。
【請求項７】
前記入力インタフェースは、前記半導体装置が有する複数の機能の内いずれの機能を選択するかを受け付け、
前記判定装置は、前記選択された機能にかかる前記判定をする
請求項２に記載の機能安全判定システム。
【請求項８】
前記判定装置は、前記複数の機能の内、取得した前記入力信号に対応した機能を選択し、選択した前記機能にかかる前記判定をする
請求項２に記載の機能安全判定システム。
【請求項９】
前記入力インタフェースは、前記機能安全要求の安全レベルの設定を受け付け、
前記判定装置は、前記設定された前記安全レベルに応じて前記判定を行う
請求項２に記載の機能安全判定システム。
【請求項１０】
前記判定装置は、前記設定された前記安全レベルに応じた機能を選択し、選択した前記機能にかかる前記判定をする
請求項９に記載の機能安全判定システム。
【請求項１１】
前記半導体装置の機能を模擬する模擬装置をさらに有し、
前記入力インタフェースは、前記模擬装置から供給される信号を前記入力信号として取得する
請求項１に記載の機能安全判定システム。
【請求項１２】
前記模擬装置は、前記半導体装置が組み込まれる動作システムにさらに組み込まれるための信号入出力端子を有する
請求項１１に記載の機能安全判定システム。
【請求項１３】
半導体装置の機能に基づく入力信号を取得する入力信号取得ステップと、
前記半導体装置に対する機能安全要求と前記半導体装置の機能仕様とに基づいて、前記機能に対する要求信号を設定し、前記要求信号と前記入力信号とを照合することにより、前記機能が前記機能安全要求を満たしているか否かの判定をする判定ステップと、
前記判定の結果である判定結果を出力する判定結果出力ステップと
を備える機能安全判定方法。
【請求項１４】
半導体装置の機能に基づく入力信号を取得する入力信号取得ステップと、
前記半導体装置に対する機能安全要求と前記半導体装置の機能仕様とに基づいて、前記機能に対する要求信号を設定し、前記要求信号と前記入力信号とを照合することにより、前記機能が前記機能安全要求を満たしているか否かの判定をする判定ステップと、
前記判定の結果である判定結果を出力する判定結果出力ステップと
を備える機能安全判定方法をコンピュータに実行させるプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は機能安全判定システム、機能安全判定方法およびプログラムに関する。
【背景技術】
【０００２】
近年、製品の安全性を担保するための取り組みとして、機能安全（以下、ＦＳ（Functional Safety）と称することもある）と呼ばれる国際規格が広く採用されている。機能安全を策定した国際標準化機構（ＩＳＯ）は、ＩＳＯ２６２６２において機能安全を「電気電子システムの機能不全のふるまいにより引き起こされるハザードが原因となる、不合理なリスクの不在」であると定義している。
【０００３】
このような機能安全の要求を受けて、半導体装置の設計者は、従来の機能仕様に加えて、要求される機能安全を満たすための機能安全要求に基づいて半導体の設計を行う。一方、設計された半導体装置のユーザ等は、その半導体装置が要求する機能安全を満たしていることを検証する。半導体装置が機能安全要求を満たしていることを検証するため、ユーザ等は、その半導体装置のデータシート等に記載された半導体装置の機能仕様と、その半導体装置の機能安全要求とを対応させる必要がある。また、半導体装置の機能仕様と、機能安全要求とを対応させたものとして、例えば「セーフティアプリケーションノート」と呼ばれる仕様書が作成される。半導体装置のユーザは、セーフティアプリケーションノートに記載されている事項を理解することにより、半導体装置が有する各機能が機能安全要求を満たしていることを検証することができる。
【０００４】
ところで、半導体装置が要求仕様通りに設計されていることを検証する技術として、シミュレーションを利用することが知られている。シミュレーションは、その半導体装置が有する回路ごとに、その回路が要求仕様を満たしているか否かを検証する。
【０００５】
例えば、特許文献１に記載の故障シミュレーション装置は、正常回路に強度故障を生成して故障回路を生成し、生成された故障回路に対する論理シミュレーションとともに、正常回路に対する論理シミュレーションを実行し、これらの結果を比較する。そして、故障シミュレーション装置は、その比較結果に基づいて、テストパターンによって強度故障が検出されるか否かを判定する。
【先行技術文献】
【特許文献】
【０００６】
【特許文献１】特開２００５−２９３３８５号公報
【発明の概要】
【発明が解決しようとする課題】
【０００７】
しかし、従来のシミュレーション装置は、回路の機能動作に対する信頼性を検証するものであって、その回路が機能安全要求を満たしていることを検証するためのものではない。
【０００８】
その他の課題と新規な特徴は、本明細書の記載および添付図面から明らかになるであろう。
【課題を解決するための手段】
【０００９】
一実施の形態によれば、機能安全判定システムは、半導体装置の機能に基づく入力信号を取得する入力インタフェースと、上記機能が機能安全要求を満たしているか否かの判定をする判定装置と、判定の結果である判定結果を出力する出力インタフェースとを有する。
上記判定装置は、半導体装置に対する機能安全要求と半導体装置の機能仕様とに基づいて、上記機能に対する要求信号を設定し、要求信号と入力信号とを照合することにより、上記機能が機能安全要求を満たしているか否かの判定をする。
【００１０】
一実施の形態によれば、機能安全判定方法は、半導体装置の機能に基づく入力信号を取得する入力信号取得ステップと、上記機能が機能安全要求を満たしているか否かの判定をする判定ステップと、判定の結果である判定結果を出力する判定結果出力ステップとを有する。上記判定ステップは、半導体装置に対する機能安全要求と半導体装置の機能仕様とに基づいて、上記機能に対する要求信号を設定し、要求信号と入力信号とを照合することにより、上記機能が機能安全要求を満たしているか否かの判定をする。
【００１１】
一実施の形態によれば、プログラムは、半導体装置の機能に基づく入力信号を取得するステップと、上記機能が機能安全要求を満たしているか否かの判定をする判定ステップと、判定結果を出力するステップとを有する機能安全判定方法をコンピュータに実行させる。
【発明の効果】
【００１２】
前記一実施の形態によれば、半導体装置が要求されている機能安全を満たしているか否かを動的に提示する機能安全判定システム等を提供することができる。
【図面の簡単な説明】
【００１３】
【図１】実施の形態１にかかる判定システムの概略構成図である。
【図２】機能安全モデルを作成する手順の一例を示す図である。
【図３】機能安全モデルの表示の一例を示す図である。
【図４】機能安全モデルに連関する機能動作モデルの表示の一例を示す図である。
【図５】実施の形態１にかかる判定システムの処理の一例を示すフローチャートである。
【図６】実施の形態２にかかる機能安全モデルの集合体の例を示す図である。
【図７】実施の形態２にかかる判定システムの構成を示す図である。
【図８】実施の形態２にかかる判定システムの処理の一例を示すフローチャートである。
【図９】実施の形態２の変形例にかかる判定システムの構成を示す図である。
【図１０】実施の形態３にかかる機能安全モデルの表示の一例を示す図である。
【図１１】実施の形態３にかかる判定システムの処理の一例を示すフローチャートである。
【図１２】実施の形態３にかかる判定システムの処理の別の例を示すフローチャートである。
【発明を実施するための形態】
【００１４】
説明の明確化のため、以下の記載および図面は、適宜、省略、および簡略化がなされている。また、様々な処理を行う機能ブロックとして図面に記載される各要素は、ハードウェア的には、ＣＰＵ、メモリ、その他の回路で構成することができ、ソフトウェア的には、メモリにロードされたプログラムなどによって実現される。したがって、これらの機能ブロックがハードウェアのみ、ソフトウェアのみ、またはそれらの組合せによっていろいろな形で実現できることは当業者には理解されるところであり、いずれかに限定されるものではない。なお、各図面において、同一の要素には同一の符号が付されており、必要に応じて重複説明は省略されている。
【００１５】
＜実施の形態１＞
以下に、図１を参照して実施の形態１にかかるＦＳ（Functional Safety）判定システムについて説明する。図１は、実施の形態１にかかる判定システムの概略構成図である。ＦＳ判定システム１は、半導体装置の機能安全を判定し、判定結果を出力するシステムである。ＦＳ判定システム１は、主な構成として、入力インタフェース１０、機能安全モデル１１および出力インタフェース１２を有している。ＦＳ判定システム１は、例えばパーソナルコンピュータに所定のプログラムをインストールすることより実現される。
【００１６】
入力インタフェース１０は、予め設定された入力を受け付けるインタフェースであって、例えばキーボードやコンピュータマウスのような入力装置からの入力信号を受け付ける。なお入力インタフェース１０は、ＵＳＢ（Universal Serial Bus）コネクタやＬＡＮ（Local Area Network）コネクタのような情報入力手段、さらにワイヤレスネットワークの情報受信手段などであって、他の装置等からの情報を受け付けるものであってもよい。
【００１７】
機能安全モデル１１は、例えばＣＰＵ（Central Processing Unit）やメモリ等を有するコンピュータにおいてハードウェアおよびソフトウェアにより構成される。機能安全モデル１１は入力インタフェース１０から所定の信号を受け取り、受け取った信号に応じて設計された半導体装置が要求される機能安全を満たすことを判定するための処理を行う。すなわち機能安全モデルは、機能安全を判定する判定装置である。機能安全モデル１１は、判定の結果である判定結果を出力インタフェース１２に供給する。
【００１８】
出力インタフェース１２は、例えば液晶パネルおよび表示駆動装置を含むコンピュータディスプレイ等の表示装置に対して上記判定結果を表示させるためのインタフェースである。表示装置は、出力インタフェース１２から判定結果を受け取り、受け取った判定結果等を表示装置に出力する。なお、入力インタフェース１０と機能安全モデル１１、および機能安全モデル１１と出力インタフェース１２は、有線または無線によりそれぞれ接続されている。
【００１９】
次に、図２を参照して機能安全モデル１１を作成する手順について説明する。図２は、機能安全モデルを作成する手順の一例を示す図である。ここでは、車載用の半導体装置の設計者等が設計した半導体装置の機能安全モデルを作成する場合について説明する。
【００２０】
図に示すように、機能安全モデル１１を作成する場合、まず設計者等は、デバイス仕様および機能安全要求に基づいて、セーフティアプリケーションノートを作成する。一般に、デバイス仕様および機能安全要求は半導体を設計するプロセスでそれぞれ作成される。換言すると、半導体装置は、作成されたデバイス仕様および機能安全要求に記載されている要求を満たすように設計される。
【００２１】
デバイス仕様は、半導体装置に含まれる回路構成における入力端子および出力端子の信号の定義や、レジスタの設定などが記載された文書である。半導体装置は、所定の入力に対して定められた出力を行う機能を有する動作回路が複数集積されることにより構成される。したがって、デバイス仕様は、半導体装置に含まれる機能または動作回路に対応して記載される。
【００２２】
機能安全要求は、半導体装置に要求される機能安全の要求項目が記載された文書である。例えば、自動車向けの半導体装置に関する機能安全は、ＩＳＯ２６２６２においてＡＳＩＬ（Automotive Safety Level）という基準が定められている。ＡＳＩＬでは安全レベルがＡ、Ｂ、Ｃ、Ｄの４段階に設定されており、それぞれの安全レベルにおける機能安全要求が定められている。したがって、機能安全要求は、半導体が組み込まれる製品等が要求される安全レベルに応じて、半導体装置がどのような機能を有するべきかが記載されている。
【００２３】
セーフティアプリケーションノートは、機能安全要求と、機能安全要求に対応して抽出されたデバイス仕様とが記載された文書である。すなわち、セーフティアプリケーションノートには、機能安全要求に記載された一般的な要求事項と、その要求事項に対応した具体的な半導体装置の機能とが結びつくように記載されている。半導体装置のユーザは、セーフティアプリケーションノートを理解することにより、半導体装置が要求される安全レベルに適合した仕様となっていることを検証することができる。
【００２４】
続いて、半導体装置の設計者等は、作成したセーフティアプリケーションノートに基づいて、機能安全モデルを作成する。機能安全モデルは、半導体装置がセーフティアプリケーションノートに記載されている要求を満たしていることを動的に検証するための手段であり、例えば任意の言語で生成されたプログラムにより生成される。機能安全モデルは、セーフティアプリケーションノートに記載されている機能安全要求の項目ごとに作成される。
【００２５】
図３を参照しながら機能安全モデルについて具体的に説明する。図３は、機能安全モデルの表示の一例を示す図である。図３に示した一例は、半導体装置が有するＡＤＣ（Analog to Digital Converter）の出力に関する機能安全要求に対応した機能安全モデルをコンピュータディスプレイ等の任意の画面に表示したイメージである。図３に示した機能安全モデル１１は、矩形の枠内の左上に機能安全要求の項目ごとに付与されている固有のＩＤ（Identifier）としてＡ００１が記載されるとともに、ＩＤ＝Ａ００１において定められている要求事項１１０が記載されている。要求事項１１０は、ＡＤＣタイムアウトの監視について、「ユーザは、ピンの状態をチェックするかそれと同等のチェックをすることによりシステムレベルでタイムアウトのチェックを行わなければならない。」と規定されている。
【００２６】
また、機能安全モデル１１は、矩形中央部に小円１１１が配置され、左辺から小円１１１に向かう矢印１１２が描かれている。また、機能安全モデル１１は、小円１１１から矩形の右辺へ向かう矢印１１３が描かれ、さらに、小円１１１から下辺へ向かう矢印１１４が描かれている。
【００２７】
小円１１１は機能安全モデル１１が有する機能を抽象的かつ視覚的に示したものである。また、小円１１１に向かう矢印１１２は、機能安全モデル１１が受け取る入力信号を示している。図に示す具体例の場合、矢印１１２の近傍に［ＡＤＣＧｎＣＮＶｘ］と記載されている。これは、半導体装置のピンＩＤを示している。つまり、矢印１１２は、半導体装置のピンＩＤ［ＡＤＣＧｎＣＮＶｘ］の信号を受け取ることが示されている。
【００２８】
矢印１１３は、機能安全モデル１１を動作させた場合に、入力された信号が機能安全要求を満たす場合（入力信号が真である場合）に点灯する。また、矢印１１４は、機能安全モデル１１を動作させた場合に、入力された信号が機能安全要求を満たさない場合（入力信号が偽である場合）に点灯する。すなわち、機能安全モデル１１において、小円１１１および矢印１１２〜１１４は、該当する機能安全の項目を半導体装置が満たすか否か（入力信号の真偽）を視覚的に示すように構成されている。
【００２９】
さらに、機能安全モデル１１は、機能安全要求判定部１１５を有している。図に示した表示の例において、機能安全要求判定部１１５は矩形の枠内の右下に「Ｆｕｎｃｔｉｏｎ  ＩＤ＝ＦＡ００１」と表示されている。機能安全要求判定部１１５は、機能安全モデル１１に対応した機能安全要求を満たしているかを判定するアルゴリズムが含まれている。図において、機能安全要求判定部１１５にはＡＤＣタイムアウトの監視に関するアルゴリズムがプログラムされている。なお、本実施の形態において、機能安全要求判定部１１５の表示部はリンク機能を有しており、コンピュータディスプレイに表示された機能安全要求判定部１１５をユーザが選択することにより、機能安全要求判定部１１５に関する機能の詳細を確認することができる。
【００３０】
上述のように、機能安全モデル１１は、半導体装置が該当する機能安全要求を満たすか否かを判定した場合の判定結果と、この判定結果に対応する機能安全要求およびデバイス仕様に含まれる機能を連関して視覚的に表示する構成となっている。このような構成により、機能安全モデル１１は、半導体装置に関する機能安全要求とこれに対応する機能とをユーザに容易に認識させることができる。
【００３１】
なお、一の機能安全モデル１１における機能安全要求が、複数の機能に関連する場合には、複数の機能に対応した複数の矢印を表示するとともに、複数の機能ＩＤ表示を表示する。すなわち、機能安全モデル１１は、複数の機能に応じて複数の機能ごとに機能安全要求に関する判定をし、図に示す表示は複数の機能に対応した判定結果が示される。このような構成により、機能安全モデル１１は、半導体装置に関する機能安全要求とこれに対応する複数の機能をユーザに容易に認識させることができる。
【００３２】
次に、機能安全要求判定部１１５のリンク先である機能詳細表示について説明する。図４は、機能安全モデルに連関する機能動作モデルの表示の一例を示す図である。図４は機能安全モデル１１において示されている機能ＩＤに関する機能がどのように実装されているかを示す表示である。
【００３３】
機能詳細表示１１６は、矩形の枠内の左上に機能ＩＤが示されている。図に示されている機能詳細表示１１６は、図３の機能安全モデル１１に連関する機能であり、機能安全要求判定部１１５にリンクしている。また、機能ＩＤの下に示された枠１１７には、該当する機能ＩＤに対応する動作回路の機能の詳細が記載されている。図の枠１１７には「特定の仮想チャネルの変換タイミングは、Ａ／Ｄコンバータの状態監視ピンＡＤＣＧｎＣＮＶｘを使用して監視する。無変換、時間がかかりすぎる変換、予期しない変換を監視する場合は、時間枠内の変換レベルを検出する。」と記載されている。この枠１１７の記載内容は、デバイス仕様における機能ＩＤ＝ＦＡ００１の内容である。
【００３４】
また、機能詳細表示１１６は、枠１１７の下に機能ブロック表示１１８が示されている。機能ブロック表示１１８は、枠１１７に記載された機能を任意のプログラム言語によって抽象化したものである。ユーザは機能詳細表示１１６を確認することにより、デバイス仕様に記載されている機能がどのように実装されているかを認識することができる。図に示す機能ブロック表示１１８は、入力信号がタイムアウト監視機能を行っていることを判定するためのプログラムが実装されていることを示している。
【００３５】
なお、機能ブロック表示１１８は、例えば、入力信号に論理演算が要求されている場合には対応した論理演算の照合を行うことを示す内容が表示される。同様に、入力信号が、例えば、時間ないし処理手順とともに変化するフローを伴うものであれば、これに対応するフローチャートが表示される。
【００３６】
次に、図５を参照してＦＳ判定システム１の処理について説明する。図５は、実施の形態１にかかるＦＳ判定システムの処理の一例を示すフローチャートである。まず、ＦＳ判定システム１は、入力インタフェース１０を介して入力信号を取得する（ステップＳ１１）。
【００３７】
次に、ＦＳ判定システム１は、予め設定されている機能安全要求にかかる要求信号と、取得した入力信号とを照合することにより、入力信号にかかる機能が機能安全要求を満たしているか否かの判定をする（ステップＳ１２）。本実施の形態の場合、機能安全モデル１１に予め設定された機能は、ＡＤＣのタイムアウトの管理である。したがって、機能安全モデル１１は、状態監視ピンＡＤＣＧｎＣＮＶｘの入力信号が、真であるか否かを判定し、判定結果を生成する。
【００３８】
次に、ＦＳ判定システム１は、生成した判定結果を、出力インタフェース１２を介して出力する（ステップＳ１３）。判定結果が機能安全要求を満たす場合は、表示装置において図３の矢印１１３が点灯する。一方、判定結果が機能安全要求を満たさない場合は、表示装置において図３の矢印１１４が点灯する。このように、判定結果を視覚的に表示することにより、ユーザは、該当する機能安全の要求が満たされるか否かを容易に理解することができる。
【００３９】
次に、ＦＳ判定システム１は、動作を継続するか否かを判断する（ステップＳ１４）。動作を継続すると判断しない場合（ステップＳ１４：Ｎｏ）、ＦＳ判定システム１は、動作を終了する。一方、動作を継続すると判断する場合（ステップＳ１４：Ｙｅｓ）、ＦＳ判定システム１は、ステップＳ１１に戻り、再び入力信号を取得する。
【００４０】
ここで例えばユーザが意図して入力信号を変更した場合には、機能安全モデル１１はステップＳ１２において変更された入力信号に応じた判定結果を生成するとともに、ステップＳ１３においてこれに応じた判定結果を出力する。
【００４１】
以上、実施の形態１にかかるＦＳ判定システム１について説明した。このように、ＦＳ判定システム１は、該当する機能に対して機能安全要求を満たす信号が入力された場合には、該当する機能における機能安全要求が満たされることを示す表示を出力する。一方、ＦＳ判定システム１は、該当する機能に対して機能安全要求を満たさない信号が入力された場合には、該当する機能の機能安全要求が満たされないことを示す表示を出力する。このような構成により、実施の形態１にかかるＦＳ判定システムは、模擬対象が要求されている機能安全を満たしているか否かをユーザに動的に提示することができる。半導体装置のユーザは、これまでセーフティアプリケーションの記載内容を理解して静的に機能安全要求の検証を行ってきた。しかし、本実施の形態にかかるＦＳ判定システムを利用することにより、機能安全要求と半導体装置の機能とを直観的に連関して理解することができる。よって、本実施の形態によれば、半導体装置が要求されている機能安全を満たしているか否かを動的に提示する機能安全判定システム等を提供することができる。
【００４２】
なお、当然ながら本実施の形態の説明において図示した表示は一例であって、これと異なる表示態様であってもよい。
【００４３】
＜実施の形態２＞
次に、実施の形態２について説明する。実施の形態２は、機能安全モデルを複数備える点、およびＦＳ判定システムの入力インタフェースに所定の装置等が接続される点が実施の形態１と異なる。
【００４４】
図６を参照して実施の形態２にかかる機能安全モデルについて説明する。図６は、実施の形態２にかかる機能安全モデルの集合体の例を示す図である。設計者等は、実施の形態１で説明した機能安全モデルを半導体装置が有する機能ごとに複数作成し、作成した複数の機能安全モデルを１個の集合体としてモデルアセンブリ２０を生成する。つまり、モデルアセンブリ２０は、半導体装置における機能安全モデルが複数含まれている。モデルアセンブリにより、ユーザは、半導体装置の特定の機能全般に対する機能安全の検証を行うことができる。あるいは、モデルアセンブリに半導体装置の全ての機能に関する機能安全要求が盛り込まれていることにより、ユーザは、半導体装置が有する全ての機能に対する機能安全の検証を行うことができる。
【００４５】
モデルアセンブリ２０は、矩形の枠内に、複数の機能安全モデルを有している。図に示す例において、モデルアセンブリ２０は、ＩＤ＝Ａ００１を有する機能安全モデル１１を含むＩＤ＝Ａ００１〜Ａ００２、ＩＤ＝Ｂ００１〜Ｂ００３、ＩＤ＝Ｃ００１の機能安全モデルを有している。なお、ＩＤ＝Ａ００１〜Ａ００２はサブグループ２０ａとして分類される。サブグループ２０ａに含まれる機能安全モデルは、共通の機能に属する。同様に、ＩＤ＝Ｂ００１〜Ｂ００３は共通の機能に属するサブグループ２０ｂに属し、ＩＤ＝Ｃ００１はサブグループ２０ｃに属している。ここで、共通の機能とは、例えばＡＤＣ、ＣＰＵ（Central Processing Unit）、エラーコントロールモジュール等の半導体装置が有している種々の機能である。このように、モデルアセンブリ２０は、共通の機能ごとに分類される。このような構成により、機能安全の模擬動作を行うユーザは、直観的に問題の有無を把握しやすくなる。なお、サブグループの分類方法は任意であって、機能別であってもよいし、回路構成に関連するものであってもよい。
【００４６】
モデルアセンブリ２０は、矩形の左辺に沿って入力端子（Ｉｎ＿０１〜Ｉｎ＿０３）が列挙されている。入力端子はユーザに把握が容易になるように列挙されている。各入力端子は、予め設定された機能安全モデルにそれぞれ接続されている。また、モデルアセンブリ２０は、矩形の右辺に沿って出力端子（Ｏｕｔ＿０１〜Ｏｕｔ＿０２）が列挙されている。これらの出力端子も、入力端子と同様に、予め設定された機能安全モデルにそれぞれ接続されている。
【００４７】
次に、図７を参照して実施の形態２にかかるＦＳ判定システムについて説明する。図７は、実施の形態２にかかるＦＳ判定システムの構成を示す図である。図に示すＦＳ判定システム２は、主な構成として上述のモデルアセンブリ２０と、機能動作モデル９０とを有している。なお、以降は、ＦＳ判定システムが有している入力インタフェースおよび出力インタフェースは適宜省略される場合がある。
【００４８】
機能動作モデル９０は、半導体装置が有する所定の機能をモデル化したプログラムである。機能動作モデル９０は、半導体装置の機能を模擬する模擬装置ということもできる。すなわち機能動作モデル９０は、半導体装置の機能仕様にから選択された機能を模擬するように構成されている。機能動作モデル９０は、入力端子Ｉｎ＿Ｐ１〜Ｉｎ＿Ｐｎおよび出力端子Ｏｕｔ＿Ｐ１〜Ｏｕｔ＿Ｐ８を有している。また、機能動作モデル９０の出力端子Ｏｕｔ＿Ｐ３は、モデルアセンブリ２０の入力端子Ｉｎ＿０１に接続している。同様に、機能動作モデル９０の出力端子Ｏｕｔ＿Ｐ４は、モデルアセンブリ２０の入力端子Ｉｎ＿０２に接続し、機能動作モデル９０の出力端子Ｏｕｔ＿Ｐ５〜Ｏｕｔ＿Ｐ８は、モデルアセンブリ２０の入力端子Ｉｎ＿０３〜Ｉｎ＿０６に接続している。このように、モデルアセンブリ２０と機能動作モデル９０とを接続した状態で動作させることにより、ＦＳ判定システム２は、半導体装置が機能安全要求を満たすか否かを容易に検証することができる。
【００４９】
次に、図８を参照して実施の形態２にかかるＦＳ判定システム２の処理について説明する。図８は、実施の形態２にかかるＦＳ判定システムの処理の一例を示すフローチャートである。
【００５０】
まず、ＦＳ判定システム２は、入力信号を取得する（ステップＳ２１）。具体的には、ユーザは、機能動作モデル９０の各入力端子に、所定の信号を入力するとともに、模擬動作の開始を指示する。これに伴い、機能動作モデル９０は、半導体装置の模擬動作を行う。
そして、機能動作モデル９０は出力端子Ｏｕｔ＿Ｐ３〜Ｏｕｔ＿Ｐ８から所定の信号をモデルアセンブリ２０の入力端子Ｉｎ＿０１〜Ｉｎ＿０６に供給する。
【００５１】
次に、モデルアセンブリ２０は取得した入力信号に基づいて所定の判定を行う（ステップＳ２２）。具体的には、モデルアセンブリ２０に含まれる複数の機能動作モデルが、それぞれ取得した入力信号に基づいて、各入力信号が各機能安全要求を満たすか否かを判定し、判定結果を生成する。そして、各機能安全モデルは、判定結果をそれぞれ出力する（ステップＳ２３）。
【００５２】
図７に示すモデルアセンブリ２０は、このようにして判定を行った結果を表示している。モデルアセンブリ２０が有している複数の機能安全モデルのうち、ＩＤ＝Ａ００１の機能安全モデルは、機能安全の要求を満たさない場合に表示される下向きの矢印が点灯している。また、ＩＤ＝Ａ００１を除く他の機能安全モデルは、機能安全の要求を満たす場合に表示される右向きの矢印が点灯している。すなわち図示の例は、機能動作モデル９０に対して所定の信号が入力された場合に、半導体装置に要求される機能安全のＩＤ＝Ａ００１が満たされなかったことを示している。
【００５３】
図８に戻り説明を続ける。ＦＳ判定システム２は、判定動作を継続するか否かを判断する（ステップＳ２４）。動作を継続すると判断しない場合（ステップＳ２４：Ｎｏ）、ＦＳ判定システム２は、最後に行った判定の結果を出力する（ステップＳ２５）。動作を継続すると判定しない場合の一例は、例えば、上述のように機能安全要求が満たされない判定結果が生成された場合である。
【００５４】
一方、動作を継続すると判断する場合（ステップＳ２４：Ｙｅｓ）、ＦＳ判定システム２は、ステップＳ２１に戻り、入力信号を再び受け付ける。動作を継続すると判定する場合の一例は、例えば機能安全要求が全て満たされている場合である。このような構成により、実施の形態２にかかるＦＳ判定システム２は、半導体装置が機能安全を満たすか否かをユーザに呈示することができる。
【００５５】
なお、ステップＳ２５における判定結果出力において、ＦＳ判定システム２は、総合的な判定結果を出力してもよい。すなわち、ＦＳ判定システム２は、入力された信号が変化した場合に、動的に行った模擬動作の判定の内容を異なる入力信号ごとに記憶しておき、記憶しておいた判定の内容に基づいて、模擬結果を出力してもよい。
【００５６】
以上、実施の形態２について説明したが、上述の機能動作モデル９０は、半導体装置の機能を模擬する模擬装置に代えて、実際の半導体装置に所定の信号を入力した結果として出力された信号と同等の信号を入力してもよい。
【００５７】
＜実施の形態２の変形例＞
次に、図９を参照しながら実施の形態２の変形例について説明する。図９は、実施の形態２の変形例にかかるＦＳ判定システムの構成を示す図である。実施の形態２の変形例は、モデルアセンブリの構成、および判定結果の表示態様が実施の形態２にかかるＦＳ判定システム２と異なる。
【００５８】
図９に示すＦＳ判定システム３は、半導体装置であるＭＣＵ８０と、パワーデバイス７０と、モータ６０とが接続された動作システムにおけるＭＣＵ８０の機能安全要求を検証するシステムである。ＦＳ判定システム３は、各構成が設計仕様に基づいた模擬動作を行うように設定されている。例えば、ＭＣＵ８０は、所定の信号を受け付けると、受け付けた信号に応じて所定のパルス信号等を生成し、生成したパルス信号等をパワーデバイス７０に供給する。パワーデバイス７０は、ＭＣＵ８０からパルス信号等を受け取ると、受け取ったパルス信号等に基づいてモータ６０を駆動するための駆動信号を生成するとともに、生成した駆動信号をモータ６０へ供給する。モータ６０は、供給された駆動信号に基づいてモータを駆動させる。
【００５９】
ＭＣＵ８２は、動作回路の主な構成としてＡＤＣ８１、ＥＣＭ（Error Control Module）８２、ＰＩＣ（Peripheral Inter Connect）８３およびＣＰＵ８４等を有している。ＡＤＣ８１は、機能動作モデル８１０と、モデルアセンブリ２１とを有している。機能動作モデル８１０は、入力端子Ｉｎ＿Ｐ１〜Ｉｎ＿Ｐｎから所定の信号を受け取ると、ＡＤＣの動作を模擬するとともに、所定の信号をモデルアセンブリ２１に供給する。モデルアセンブリ２１は、機能動作モデル８１０から受け取った信号に応じて、ＡＤＣ８１にかかる各機能が機能安全要求を満たすか否かを判定するように構成されている。
【００６０】
本実施の形態において、ＭＣＵ８０を構成する動作回路は、ＡＤＣ８１を例として説明したように、機能動作モデルと、機能動作モデルに接続されたモデルアセンブリとをそれぞれ有している。このような構成により、ＦＳ判定システム３は、ＭＣＵ８０の全ての動作回路において、機能安全が満たされるか否かを判定することができる。
【００６１】
次に、判定結果の表示態様について説明する。図９において破線で囲んだ領域５０には、ＭＣＵ８０が有する動作回路のモデルアセンブリごとに、機能安全要求のＩＤが表示されている。図において、領域５０の左端には、ＡＤＣ８１のモデルアセンブリ２１に含まれる機能安全要求のＩＤのＡ００１〜Ａ００３が判定結果表示５１として示されている。判定結果表示５１は、ＡＤＣ８１のモデルアセンブリ２１に対応しており、モデルアセンブリ２１が有している機能安全モデルのＩＤが全て示されている。
【００６２】
判定結果表示５１において、ＩＤのＡ００１は黒地に白文字でＩＤが表示されている。また、ＩＤのＡ００２、Ａ００３は白地に黒文字で表示されている。これは、ＩＤのＡ００１の機能安全要求が満たされておらず、ＩＤのＡ００２、Ａ００３の機能安全要求が満たされていることを意味している。
【００６３】
このような状況は、例えば、ＦＳ判定システム３において、ユーザが意図的に、任意の入力端子に、設計通りの入力信号とは異なる信号を入力する場合に発生する。ユーザは、半導体装置であるＭＣＵ８０を組み込んだ動作システムにおいて、当該動作システムが機能安全要求を満たすことを検証する。その場合に、当該動作システムに機能動作モデルが含まれていることで、ＭＣＵ８０に生じる機能安全要求の不具合を機能別に把握することができる。つまり、このような構成により、ユーザは、動作システムが故障モードに陥った場合に、半導体装置のどの機能に影響があるのかを直観的に理解することができる。したがって、ユーザは、このようにして把握した不具合に基づいて、動作システム全体の構成やアルゴリズム等を再設定する等して、動作システムが機能安全要求を満たすことを容易に検証することができる。
【００６４】
以上、実施の形態２の変形例について説明した。以上に説明したように、実施の形態２の変形例によれば、動作システムの模擬動作を行いながら、半導体装置が要求されている機能安全を満たしているか否かを動的に提示する機能安全判定システム等を提供することができる。
【００６５】
＜実施の形態３＞
次に実施の形態３について説明する。実施の形態３は、モデルアセンブリを構成する機能安全モデルが選択可能な構成となっている点において、実施の形態２と異なる。図１０は、実施の形態３にかかる機能安全モデルの表示の一例を示す図である。
【００６６】
ＦＳ判定システム４におけるモデルアセンブリ２２は、実行領域２２ａと、リザーブ領域２２ｂとを有している。図において、モデルアセンブリ２２の実行領域２２ａは、ＩＤ＝Ａ００１、Ａ００３、Ｂ００１、Ｂ００２、Ｂ００３、Ｃ００１の６個の機能安全モデルを有している。一方、モデルアセンブリ２２の実行領域２２ａは、ＩＤ＝Ａ００２、Ｃ００２、Ｃ００３の機能安全モデルを有している。
【００６７】
モデルアセンブリ２２は、各機能安全モデルが実行領域２２ａとリザーブ領域２２ｂとを移動可能に設定されている。ユーザは、例えばポインティングデバイス等を使用して任意の機能安全モデルを選択したうえで、選択した機能安全モデルを、実行領域２２ａからリザーブ領域２２ｂに、あるいはリザーブ領域２２ｂから実行領域２２ａにと移動させる。
【００６８】
このような構成により、機能安全モデルを予めライブラリ化しておき、設計される半導体装置の仕様に応じてモデルアセンブリを生成することができる。これにより、ユーザはＦＳ判定システムを編集設計により効率よく作成することができる。
【００６９】
また、モデルアセンブリ２２は、必須の構成とオプションの構成とを予め設定し、ユーザにオプションの選択を委ねる構成としてもよい。実施の形態３は、このような構成により、機能安全のレベル等をユーザが選択可能である場合において、半導体装置の機能安全を動的に確認できるＦＳ判定システムを提供することができる。
【００７０】
なお、モデルアセンブリ２２は、機能安全モデルの選択を、入力信号に応じて行う構成としてもよい。すなわち、モデルアセンブリ２２は、接続ないし選択がされない入力端子が存在する場合に、当該入力端子に対応した機能安全モデルは選択されずリザーブ領域２２ｂに属するものとしてもよい。
【００７１】
次に、図１１を参照して実施の形態３における処理の例を説明する。図１１は、実施の形態３にかかるＦＳ判定システムの処理の一例を示すフローチャートである。図１１に示すフローチャートは、ステップＳ２１の前にステップＳ３１が付加されている点において、図８のフローチャートと異なる。
【００７２】
図１１のフローチャートにおいて、ＦＳ判定システム４は、入力信号を受け付ける前に、機能安全モデルの選択を受け付ける（ステップＳ３１）。ユーザは、例えばディスプレイに表示される案内に従って、半導体装置にかかる機能安全モデルを選択する。ユーザが機能安全モデルの選択を行うと、ＦＳ判定システム４は、選択された機能安全モデルに応じた入力信号を受け付ける。以降の処理は図８に示したフローチャートと同様であるため、ここでは説明を省略する。
【００７３】
次に、図１２を参照して実施の形態３における処理の別の例について説明する。図１２は、実施の形態３にかかるＦＳ判定システムの処理の別の例を示すフローチャートである。図１２に示す例は、ユーザが機能安全モデルを直接選択するのではなく、ユーザが機能安全に関するパラメータを選択し、ユーザの選択に応じて、ＦＳ判定システム４がモデルアセンブリ２２の構成を決定するものである。
【００７４】
図１２のフローチャートにおいて、まず、ＦＳ判定システム４は、模擬する動作システムに要求される機能安全レベルを受け付ける（ステップＳ４１）。ユーザは、例えばディスプレイに表示される案内に従って、ＡＳＩＬレベルＡ〜Ｄの内いずれかを選択する。ユーザが機能安全モデルの選択を行うと、ＦＳ判定システム４は、選択された安全レベルに応じたモデルアセンブリを構成し、これに応じた入力信号を受け付ける。以降の処理は図８に示したフローチャートと同様であるため、ここでは説明を省略する。
【００７５】
このような構成により、ＦＳ判定システム４は、要求される安全レベルが異なる場合にも、共通のＦＳ判定システムを提供することができる。また、ユーザは、安全レベルの違いによる半導体装置の機能安全の検証を容易に行うことができる。
【００７６】
以上、実施の形態３について説明した。実施の形態３によれば、半導体装置に要求される機能安全の内容や、半導体装置に接続される他の装置との組み合わせ等による事情に合わせて、半導体装置の機能安全要求ないし機能安全モデルを変更できるＦＳ判定システムを提供することができる。
【００７７】
なお、上述したプログラムは、様々なタイプの非一時的なコンピュータ可読媒体を用いて格納され、コンピュータに供給することができる。非一時的なコンピュータ可読媒体は、様々なタイプの実体のある記録媒体を含む。非一時的なコンピュータ可読媒体の例は、磁気記録媒体（例えばフレキシブルディスク、磁気テープ、ハードディスクドライブ）、光磁気記録媒体（例えば光磁気ディスク）、ＣＤ−ＲＯＭ（Ｒｅａｄ  Ｏｎｌｙ  Ｍｅｍｏｒｙ）ＣＤ−Ｒ、ＣＤ−Ｒ／Ｗ、半導体メモリ（例えば、マスクＲＯＭ、ＰＲＯＭ（Ｐｒｏｇｒａｍｍａｂｌｅ  ＲＯＭ）、ＥＰＲＯＭ（Ｅｒａｓａｂｌｅ  ＰＲＯＭ）、フラッシュＲＯＭ、ＲＡＭ（Ｒａｎｄｏｍ  Ａｃｃｅｓｓ  Ｍｅｍｏｒｙ））を含む。また、プログラムは、様々なタイプの一時的なコンピュータ可読媒体によってコンピュータに供給されてもよい。一時的なコンピュータ可読媒体の例は、電気信号、光信号、及び電磁波を含む。一時的なコンピュータ可読媒体は、電線及び光ファイバ等の有線通信路、又は無線通信路を介して、プログラムをコンピュータに供給できる。
【００７８】
以上、本発明者によってなされた発明を実施の形態に基づき具体的に説明したが、本発明は既に述べた実施の形態に限定されるものではなく、その要旨を逸脱しない範囲において種々の変更が可能であることはいうまでもない。
【符号の説明】
【００７９】
１、２、３、４  ＦＳ判定システム
１０  入力インタフェース
１１  機能安全モデル
１１  判定装置
１２  出力インタフェース
２０、２１、２２  モデルアセンブリ
６０  モータ
７０  パワーデバイス
９０  機能動作モデル
１１０  要求事項
１１５  機能安全要求判定部１１６  機能詳細表示
１１７  枠
１１８  機能ブロック表示
８１０  機能動作モデル
【図１】
2020042387.tif 000003
【図２】
2020042387.tif 000004
【図３】
2020042387.tif 000005
【図４】
2020042387.tif 000006
【図５】
2020042387.tif 000007
【図６】
2020042387.tif 000008
【図７】
2020042387.tif 000009
【図８】
2020042387.tif 000010
【図９】
2020042387.tif 000011
【図１０】
2020042387.tif 000012
【図１１】
2020042387.tif 000013
【図１２】
2020042387.tif 000014