ドキュメンテーション

最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

Simulink Check

スタイル ガイドラインおよびモデリング標準への準拠の検証

Simulink® Check™ は開発中に標準およびガイドラインの違反を特定する、業界で認められているチェックとメトリクスを提供します。サポートされる信頼性の高いソフトウェア開発標準には、DO-178、ISO 26262、IEC 61508、IEC 62304、および MathWorks Automotive Advisory Board (MAAB) スタイル ガイドラインが含まれます。編集する際、編集時チェックが準拠問題を特定します。独自の標準やガイドラインに準拠するカスタム チェックを作成することができます。

Simulink Check はモデルのアーキテクチャおよび標準に対する適合性を評価する際に利用できるサイズや複雑度などのメトリクスを提供します。統合されたメトリクス ダッシュボードにより、設計の状態と品質を評価できます。自動モデル リファクタリングにより、重複した設計要素の置換、設計の複雑度の削減、および再利用可能なコンテンツの特定を行うことができます。

業界標準には、IEC Certification Kit (ISO 26262 と IEC 61508 用) と DO Qualification Kit (DO-178 用) によって対応しています。

Simulink Check 入門

Simulink Check の基礎を学ぶ

モデルの準拠性のチェック

モデルが安全規格とガイドラインに準拠していることを検証

モデル チェックのカスタマイズ

モデル アドバイザーのチェックおよびコンフィギュレーションの作成と、ユーザーへの配布

モデル メトリクスの収集

モデル メトリクス データを収集してカスタム モデル メトリクスを作成

モデルのリファクタリング

モデリング クローンとパターンを特定してモデルを変換

検証と確認

Simulink 製品を使用して、モデルとコードをテストし、設計エラーの有無をチェックし、標準に対するチェックを行い、カバレッジを測定し、システムを検証します

ツールの検定と認定

DO および IEC 認定のための Simulink Check の検定