このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。
Simulink Check 入門
Simulink® Check™ はモデル、要件、テストを解析し、設計の品質と標準への準拠性を評価します。設計中にモデリング標準およびガイドラインの違反を特定する、業界認定のチェックとメトリクスを提供します。サポートされる高信頼性ソフトウェア開発標準には、ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304、および 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) によって対応しています。
チュートリアル
- ステップ 1: モデル アドバイザーのチェック項目違反の検出と修正
- ステップ 2: メトリクス ダッシュボードを使用したモデル メトリクス データの収集
- ステップ 3: 準拠問題の検出と修正
- ステップ 4: モデルのリファクタリングによるコンポーネントの再利用の向上
- 複雑なモデルのターゲット解析のためのモデル スライサー ツールを使用したモデルの簡略化
対象領域にフォーカスすることで、大規模で複雑なモデルのシミュレーション、デバッグおよび形式的解析を簡略化する。
- モデル テスト ダッシュボードを使用して要件に基づくテストの品質を評価
ダッシュボードのメトリクスを使用して、テスト アクティビティのステータスおよび品質を追跡する。
標準やガイドラインへの違反を特定する、業界認定のチェックおよびメトリクスを使用する。
注目の例
ビデオ
編集時のチェックによる準拠問題の早期発見
編集時のチェックにより Simulink または Stateflow におけるガイドラインまたは標準に関する問題を編集時に特定する方法を学習する。
モデリング標準への準拠
モデル アドバイザーを使用して、標準への準拠性を検証
DO-178C 開発プロセスにおける適格なツールの使用、パート 4: 適格なモデル検証—モデル規格
静的解析を実行して、DO-178C および DO-331 に準拠してモデルの規格、整合性、正確性を検証する。