Simulink Check は、モデル、要件、およびテストを解析し、設計品質や規格への準拠を評価します。Simulink Check には、設計中にモデリング標準やガイドライン違反を特定するための、業界認定のチェックやメトリクスが用意されています。高信頼性ソフトウェア開発標準については、ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304、EN 50716、MathWorks Advisory Board (MAB) スタイルガイドラインなどをサポートしています。また、Simulink Check は、CERT C、CWE、ISO/IEC TS 17961 などのセキュアコーディング規約もサポートしています。独自の規格やガイドラインに準拠したカスタムチェックを作成し、エディターで準拠性の問題を特定できます。
Simulink Check には、設計の状態と品質を評価するためのメトリクスとダッシュボードが用意されています。また、自動によるモデルのリファクタリング機能を使用して、モデリングクローンの置換、設計の複雑度の軽減、再利用可能なコンテンツの特定が可能です。モデル スライサー ツールはモデルの問題のある動作を切り離し、デバッグ用に簡略化されたモデルを生成します。
IEC Certification Kit (for ISO 26262 and IEC 61508) や DO Qualification Kit (for DO-178) を通じて、業界標準への準拠をサポートします。
モデリング標準への準拠
業界標準への準拠を確認
ISO 26262、DO-178C、DO-331、DO-254、IEC 61508、ISO 25119、IEC 62304、EN 50128、MISRA C:2012、MathWorks Advisory Board (MAB) ガイドライン、JMAAB、CERT C、CWE、ISO/IEC TS 17961 などの業界標準に対する事前に構成されたチェック機能を使用します。
ドキュメンテーション | 例
編集時にエラーを検出して修正
モデル ガイダンス ダッシュボードを使用してエラーを特定し、その場で対処することで、後工程での手直しを回避します。Simulink、System Composer、または Stateflow 用のカスタムの編集時チェックを作成し、組織独自の規格の要件を満たします。
ドキュメンテーション | 例
モデルのレビューとレポートの自動化
レビュー用にモデル アドバイザー レポートを生成します。違反を正当化して警告とエラーを非表示にします。Parallel Computing Toolbox を使用すると、複数のマシンによるチェックを並行実行して、準拠の検証を加速できます。
ドキュメンテーション | 例
AI エージェントを使用したチェックの実行
Simulink Agentic Toolkit と Simulink Check を使用すると、AI エージェントでチェックの作成、準拠状況のレビュー、問題の検出、修正の提案を行えます。また、エージェントの動作を監督しながら、修正を自動化してモデルを再チェックできます。
品質、複雑度、および保守性の測定
モデルのサイズ、アーキテクチャ、および複雑度をモデルメトリクスで評価し、プロジェクトの MATLAB、Simulink、Stateflow のアーティファクトの可読性、保守性、および再利用性の改善に役立てます。ダッシュボードでメトリクスを統合すると、ISO 26262、DO-178C、IEC 61508、IEC 62304、EN 50128 などの規格準拠に向けて進捗を監視できます。
ドキュメンテーション | 例
モデルベースデザイン向け CI/CD の自動化
CI Support Package for Simulink を使用して、導入を簡略化し、継続的インテグレーション/継続的デリバリー (CI/CD) ワークフローを最適化します。CI/CD パイプラインの定義、ビルドの失敗を避けるためのデスクトップでの事前承認、Jenkins® や GitLab® などの CI システムとの統合、インクリメンタル ビルドによるビルド時間の短縮が可能です。
モデリングクローンの特定とリファクタリング
モデルを解析し、クローンや重複するモデリングパターンを検出します。自動リファクタリングにより、保守性を向上させ、再利用性を高め、設計の複雑度を軽減します。非効率なパターンを検出してリファクタリングし、生成コードの効率を高めます。
ドキュメンテーション | 例
製品リソース:
「当社は、ARP4754 に対応した変更が少なく客観的な要件を確立できるように、Simulink のシステム設計モデルを使用しています。モデルを DO-178 のソフトウェア設計モデルの基礎として使用し、そこからフライトコードを生成して、ソフトウェア検証に妥当性確認テストを再利用することで、時間を短縮しています。」
Simulink Check に関するよくある質問 (FAQ)
Simulink Check は、潜在的な問題を自動的に特定し、モデリング ガイドラインや業界標準への準拠を検証することで、エンジニアが Simulink モデルの品質を向上できるよう支援する Simulink アドオンです。チェックの実行、結果のレビュー、品質メトリクスのトラッキングのためのツールが用意されています。
Simulink Check は、ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304、EN 50128、MathWorks Advisory Board (MAB) ガイドラインなどの高信頼性規格や、CERT C、CWE、ISO/IEC TS 17961 などのセキュアコーディング規約に対応しています。
はい。モデルアドバイザーのカスタムチェックを構成、カスタマイズ、自動化して、モデルを組織独自の規格やガイドラインに確実に準拠させられます。準拠に関する問題は、エディター上で直接特定できます。
モデル テスト ダッシュボードは、要件ベースのテストアクティビティのデータを統合し、ユニットテストのアーティファクトの状態と品質を監視するとともに、ISO 26262 と DO-178C への準拠に向けて要件ベースのテストの完全性を評価します。
編集時チェックでは、エラーが Simulink キャンバスに生じた時点で特定して対処できるため、後工程での手直しを回避できます。また、組織の規格を満たす Simulink、System Composer、Stateflow 用のカスタムチェックを作成できます。
モデルスライサーは、機能の依存関係を強調表示してモデル内の問題のある動作を切り分け、ベースラインテストの失敗、等価テストの失敗、整数オーバーフローなどの問題をデバッグするための簡略化されたモデルを生成します。
はい。Simulink Check は、モデルを解析し、クローンや重複するモデリングパターンを検出します。その後、自動リファクタリングにより、保守性を向上させ、再利用性を高め、設計の複雑度を軽減します。
はい。CI/CD Automation for Simulink Check サポートパッケージにより、継続的インテグレーション/継続的デリバリー ワークフローの導入が簡略化され、パイプラインの定義、デスクトップ上での事前検証、Jenkins や GitLab などのシステムとの統合、インクリメンタル ビルドの実行が可能になります。
Simulink Check は、MATLAB、Simulink、Stateflow のアーティファクトについて、サイズ、アーキテクチャ、複雑度のメトリクスを提供し、規格準拠に向けた進捗を監視しながら、可読性、保守性、再利用性の向上を支援します。
はい。Parallel Computing Toolbox と併用すると、複数のコアまたはクラスター上でチェックを並列モードで実行し、処理時間を短縮して準拠性の検証を加速できます。
あなたは学生ですか?
ご所属の学校にはすでに Campus-Wide License が導入されていて、MATLAB、Simulink、その他のアドオン製品を利用できる可能性があります。
