業界標準、ガイドラインおよびブロックの使用法

モデルの開発および業界標準に準拠したコードを生成するためのモデリングガイドラインの使用

モデリングガイドラインは、モデルの設定、ブロックの使用法およびブロックパラメーターに関する情報を提供します。特定のアプリケーションに適したモデルの開発およびコードの生成を行う場合は、モデリングガイドラインを使用してください。アプリケーションにセーフティクリティカルな開発や認定取得目的がある場合、モデリングガイドラインを使用して、モデルと生成されたコードが IEC 601508、IEC 62304、ISO 26262、IEC 62304、EN 50128、ISO 25119、DO-178C、AUTOSAR、MISRA C™:2012、CERT^® C、CWE™、ISO/IEC TS 17961 などの業界標準に準拠する可能性を高めることができます。

モデル設計とコード品質を評価し、高信頼性システム用のモデリングガイドライン、MathWorks Advisory Board (MAB) スタイルガイドライン、コード生成ガイドラインなどのモデリングガイドラインへの準拠を検証するには、モデルアドバイザーチェックを使用します。詳細については、モデルアドバイザーを使用したモデルのチェックを参照してください。

トピック

効率的な C および C++ コードを生成するための高品質モデルの設計

コード生成向けにサポートされている製品とブロックの使用
コード生成をサポートする製品とブロックを特定する。
コード生成時のモデリングセマンティクスの考慮
データの伝播、サンプル時間の伝播、Subsystem ブロックのラッチ、ブロックの実行順序、代数ループ。
生成コードに関するモデリングガイドライン
コーディングガイドラインコンポーネント展開のモデリングガイドライン、および MathWorks Advisory Board (MAB) ガイドラインなど、モデルおよび生成コードについて考慮すべきガイドラインの概要。
コード生成用のモデルと構成のチェック
モデルアドバイザーとコード生成アドバイザーを使用して、モデルでコード生成の準備ができているかどうかを評価します。

業界標準に従ったモデルの開発とコードの生成

Industry Standards
Industry-specific standards to consider for your model and the generated code, including IEC 61508, IEC 62304, ISO 26262, IEC 62304, EN 50128, ISO 25119, DO-178C, and AUTOSAR.
Modeling Guidelines and Model Advisor Checks for Verifying Compliance with Industry Standards
Use High-Integrity System Modeling guidelines and Model Advisor checks to verify that your model and the generated code complies with industry standards.
Qualification of Embedded Coder and AUTOSAR Blockset for Use in Processes that Must Comply with Industry Standards
Use the IEC Certification Kit to qualify Embedded Coder^® and AUTOSAR Blockset for supported industry standards, including ISO 26262: 2018, IEC 61508: 2010, IEC 62304: 2015, ISO 25119: 2018, and EN 50128: 2011.

業界のコーディング標準に関するモデルと生成されたコードへの準拠性の検証

Coding Standards
Industry coding standards to consider for your model and generated code, including MISRA C:2012, CERT C, CWE, and ISO/IEC TS 19761:2013.
セキュリティで保護されたコーディング規約への準拠を検証するモデルアドバイザーチェック
モデルアドバイザーチェックを使用してモデルと生成コードがセキュリティで保護されたコーディング規約に準拠しているか検証する。
Modeling Guidelines and Model Advisor Checks for Verifying Compliance with MISRA C:2012
Modeling guidelines for those MISRA C:2012 guidelines whose compliance type is "Compliance via guideline".
Developing a MISRA C:2012 Compliance Statement
Identifies how to use this documentation when developing your compliance statements for generated code as required per the MISRA C:2012 guidelines.
Evaluate Your Generated Code for MISRA C:2012 Compliance
High-level workflow to evaluate your generated code for compliance with MISRA C:2012 guidelines.
MISRA C:2012 準拠の概要表
MISRA C:2012 ガイドラインへの準拠を表明する方法を定義する。該当するモデリングガイドライン、モデルアドバイザーのサポート、および Polyspace^® MISRA C:2012 チェッカーのサポートが含まれる。
Deviations Rationale for MISRA C:2012 Compliance
Rationale for MISRA C:2012 directives and rules whose compliance type is "Deviation".
CERT C Compliance Summary Tables
Defines the method to claim compliance to CERT C guidelines. Includes applicable modeling guidelines, Model Advisor support, and modeling recommendations.

注目の例

IEC 61508 規格に準拠したモデルの開発

IEC 61508 規格に準拠したモデルとコードを開発するために、この規格用のモデルアドバイザーチェックを使用する。

ライブスクリプトを開く

AUTOSAR 規格に準拠したモデルの開発

AUTOSAR 準拠の C コードを生成し、AUTOSAR XML (ARXML) 記述を Simulink® モデルからエクスポートします。

ライブスクリプトを開く