主要内容

このペ,ジの翻訳は最新ではありません。ここをクリックして,英語の最新版を参照してください。

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

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

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

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

クラス

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

関数

edittime.getAdvisorChecking 确定编辑时检查是否开启
edittime.setAdvisorChecking 根据建模标准交互式地检查您的模型
Advisor.getExclusion 获取模型或文件的排除信息
Advisor.addExclusion 向模型或文件添加排除项
Advisor.removeExclusion 删除模型或文件的排除项
Advisor.saveExclusion 将排除项保存到模型或外部文件中
Advisor.loadExclusion 将排除项加载到模型或文件
Advisor.clearExclusion 清除模型或文件中的所有排除项

トピック

モデルアドバザ

モデルアドバ▪▪ザ▪▪を使用したモデルの準拠性のチェック

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

編集時チェックを使用したモデルの準拠性のチェック

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

モデルアドバ▪▪ザ▪▪の設定エディタ▪を使用したモデルアドバ▪▪ザ▪のカスタマ▪ズ

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

モデルアドバザレポトの生成

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

モデルアドバ▪▪ザ▪▪チェックの解析からのブロックの除外

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

モデルアドバ▪▪ザ▪▪チェック

Do-178c / do-331標準へのモデルの準拠性のチェック

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

Do-254標準へのモデルの準拠性のチェック

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

IEC 61508、IEC 62304、ISO 26262、ISO 25119およびEN 50128 / EN 50657の各規格へのモデルの準拠性のチェック

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

高信頼性システムモデリングのモデルチェック

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

Mabおよびjmaabへのモデルの準拠性のチェック

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

Misra c:2012へのモデルの準拠性のチェック

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

モデルのセキュリティで保護されたコーディング(CERT C, CWEおよびISO / IEC TS 17961標準)のチェック

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

モデルの要件リンクのチェック

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