ドキュメンテ,ション

最新のリリ,スでは,このペ,ジがまだ翻訳されていません。このペ,ジの最新版は英語でご覧になれます。

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

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

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

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

クラス

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

関数

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

トピック

モデルアドバザ

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

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

モデルチェックの制限

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

获得ブロックおよび外港ブロックを対象外に指定することによるモデルチェックの制限

この例では,モデルアドバイザー解析で1つの获得ブロックとすべての外港ブロックをモデルアドバ▪▪ザ▪▪チェックの対象外に指定する方法を説明します。

モデルアドバイザーレポートをAdobe PDFおよびMicrosoft Word形式で生成

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

Maabチェックとjmaabチェックを[マスク内を表示]または[リンクに従う]に設定

Maabチェックとjmaabチェックで,マスク内を表示するかリンクに従うかを制御

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

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

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

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

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

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

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

MathWorks汽车咨询委员会(MAAB)ガイドラインとモデルとの準拠性のチェック

モデルアドバesc esc esc esc esc esc esc esc esc®汽车顾问委员会(MAAB)ガイドラインの一部に準拠することのチェック。

日本MATLAB汽车咨询委员会(JMAAB)ガイドラインへのモデルの準拠性のチェック

モデルアドバ转换器ザ转换器を使用して,モデルまたはサブシステムが日本MATLAB®汽车顾问委员会(JMAAB)ガイドラインの一部に準拠することをチェックする。

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

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

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

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

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

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