業界標準、ガイドラインおよびブロックの使用法
モデルの開発および業界標準に準拠したコードを生成するためのモデリング ガイドラインの使用
モデリング ガイドラインは、モデルの設定、ブロックの使用法およびブロック パラメーターに関する情報を提供します。特定のアプリケーションに適したモデルの開発およびコードの生成を行う場合は、モデリング ガイドラインを使用してください。アプリケーションにセーフティ クリティカルな開発や認定取得目的がある場合、モデリング ガイドラインを使用して、モデルと生成されたコードが 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.