このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。
DO-178C/DO-331 業界標準用のモデル アドバイザー チェック
DO-178C/DO-331 業界標準用のモデル アドバイザー チェック
DO-178C/DO-331 チェックは、安全性要件またはミッションクリティカルな要件を満たさなければならないアプリケーションのコードを生成するモデルの設計やトラブルシューティングを容易にします。
ユーザーが DO-178C/DO-331 チェックを実行すると、モデル アドバイザーは、Simulink® Check™ ライセンスのチェックアウトを実行します。
これらのチェックは DO Qualification Kit を使用するため、DO-178 規格および関連規格が関係するプロジェクトでの使用に適合しています。
参考
モデルのバージョン情報の表示
チェック ID: mathworks.do178.MdlChecksum
モデルのバージョン情報をレポートに表示します。
説明
このチェックは、現在のモデルについて次の情報を表示します。
バージョン番号
作成者
日付
チェックサムの比較
Simulink Check で使用できます。
結果と推奨アクション
条件 | 推奨アクション |
---|---|
モデルのバージョンとチェックサム情報を取得できません。 | この概要は参考のために提供されます。何もする必要はありません。 |
機能および制限事項
ライブラリ モデルでは動作しません。
ブロックまたはチャートの対象外指定は許容されません。
参考
コード生成レポート (Simulink Coder)
DO-178C (Software Considerations in Airborne Systems) および関連する規格の詳細については、Radio Technical Commission for Aeronautics (RTCA) を参照してください。