DO-178C/DO-331 業界標準用のモデル アドバイザー チェック

モデル アドバイザーを使用して、モデルまたはサブシステムが DO-178C/DO-331 安全規格の選択した内容に準拠していることを確認できます。

これらのチェックを実行するには、モデル アドバイザーを開いて、[タスク別] 、 [DO-178C/DO-331 のモデリング標準] でチェックを実行します。

これらのチェックの実行には、Embedded Coder®、Simulink® Check™、Simulink Design Verifier™、または Requirements Toolbox™ が必要です。

DO-178 規格および関連規格が関係するプロジェクトでの使用に適格であると DO Qualification Kit で認められているモデル アドバイザー チェックの一覧については、Simulink Check - Trace Matrix (mathworks_slchk_trace.xlsx) を参照してください。このアーティファクトは、Simulink Check 用に作成する検定プロジェクトで利用できます。詳細については、Set Up a Tool-Specific Qualification Project (DO Qualification Kit)を参照してください。

メモ

モデルでモデル参照を使用している場合は、適格なチェックをすべての参照モデルで実行してから最上位モデルで実行します。

モデル アドバイザー サブフォルダーモデル アドバイザー チェックチェック ID
N/Aモデルのバージョン情報を表示mathworks.do178.MdlChecksum
高信頼性システム高信頼性システム モデリング ガイドライン用のモデル アドバイザー チェックを参照
SimulinkIdentify unconnected lines, input ports, and output portsmathworks.design.UnconnectedLinesPorts
ライブラリ リンクIdentify unresolved library linksmathworks.design.UnresolvedLibLinks
要件の整合性要件リンクのモデル アドバイザー チェックを参照
バグ レポートBug Report Checks (DO Qualification Kit)を参照

モデルのバージョン情報を表示

チェック ID: mathworks.do178.MdlChecksum

レポートにモデルのバージョン情報を表示します。

説明

このチェックでは、現在のモデルについて次の情報が表示されます。

  • バージョン番号

  • 作成者

  • 日付

  • モデルのチェックサム

Simulink Check で使用できます。

結果と推奨アクション

条件推奨アクション
モデルのバージョンとチェックサム情報を取得できなかった。 この概要は情報として提供されるものです。特にアクションは必要ありません。

機能および制限事項

  • ライブラリ モデルでは動作しません。

  • ブロックまたはチャートの対象外指定は許容されません。

参考