高信頼性システムのモデリング

MathWorks^® 製品とモデルベース デザインを併用して高信頼性システムのモデル開発とコード生成を行う場合は、高信頼性ガイドラインを使用してください。ガイドラインでは、完全かつ明確で、静的に確定的であり、ロバストで検証可能なモデルの作成に関する、モデル設定、ブロックの使用方法、ブロック パラメーターに関する考慮事項が説明されています。

これらのガイドラインは、特定の安全基準または認証基準を使用することは前提としていません。ガイドラインでは、該当する場合は次の安全規格を参照しています。DO-178C/DO-331、IEC 61508、ISO 26262、EN 50128/EN 50657、ISO 25119、EN 50657。

Simulink^® Check™ のライセンスを所有している場合は、モデル アドバイザーを使用して、ガイドラインに準拠しているかどうかを確認できます。モデル アドバイザー チェックを表示するには、高信頼性システム モデリング ガイドラインのモデル アドバイザー チェックを参照してください。

詳細については、目的およびガイドラインのテンプレートを参照してください。