モデルの準拠性のチェック

モデルが安全規格とガイドラインに準拠していることを検証

モデリングガイドラインをプロジェクトチームと開発チームの全体に適用するために,モデルアドバイザーを使用してモデルのチェックを実行できます。チェックを実行する場合,モデルアドバイザーはチェック別に指定されている条件とコンフィギュレーション設定についてモデルを確認します。

金宝app^®检查™は,高信頼性システムモデリングガイドラインとMathWorks^®顾问委员会(MAB)モデリングガイドラインに関連付けられた安全規格への準拠性に関するモデルアドバイザーチェックを備えています。モデルアドバイザーを使用したモデルの準拠性のチェックから始めます。

クラス

`顾问。应用程序`	跨模型层次结构运行模型Advisor
`顾问。经理`	管理应用程序

`edittime.getAdvisorChecking`	确定是否打开编辑时检查
`edittime.setAdvisorChecking`	根据建模标准交互式地检查您的模型

モデルアドバイザーと編集時のチェックを使用して,モデルまたはサブシステムがモデリングガイドラインまたはモデリング標準に準拠していることを確認する。

モデルアドバイザーの設定エディターを使用して,モデルアドバイザーチェックとフォルダーのコンフィギュレーションをカスタマイズする。

追加の形式でレポートを生成するようモデルアドバイザーを構成。

モデルアドバイザーのモデルまたはサブシステムの解析の範囲を制限可能。

モデルアドバイザーを使用した,モデルまたはサブシステムが做- 178 c安全規格の一部に準拠することのチェック。

モデルアドバイザーを使用した,モデルまたはサブシステムが做- 254安全規格の一部に準拠することのチェック。

モデルアドバイザーを使用して,モデルまたはサブシステムがIEC 61508、IEC 62304、ISO 26262およびEN 50128 / EN 50657安全規格の一部に準拠することをチェックする。

モデルアドバイザーを使用して,モデルまたはサブシステムが高信頼性システムモデルの安全規格の一部に準拠するかをチェックする。

モデルアドバイザーを使用して,モデルまたはサブシステムがMathWorks顾问委员会(MAB)および日本MATLAB^®汽车顾问委员会(JMAAB)モデリングガイドラインに準拠することをチェックする。

モデルアドバイザーを使用した,モデルがMISRA - C: 2012準拠のコードを生成する可能性が高いことのチェック。

モデルアドバイザーを使用して,セキュリティで保護されたコーディング標準CERT C, CWE, ISO / IEC TS 17961にコードが準拠することをチェックする。

モデルアドバイザーを使用した,モデル内のすべての要件リンクが要件ドキュメント内に有効な参照先をもっていることのチェック。