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 用) を通じて、業界標準のサポートが可能です。


機能

Check Model Quality with Standards

Verify compliance with style guidelines and modeling standards using checks preconfigured for standards such as: DO-178, ISO 26262, IEC 61508, IEC 62304, MISRA C:2012, and CERT-C.

詳細はこちら

Identify and Fix Errors While You Edit

Receive notification of compliance issues to avoid violations earlier in development.

詳細はこちら

Configure, Customize, and Automate Model Checks

Tailor modeling checks and configurations to meet your specific compliance and guideline goals.

詳細はこちら

Measure and View Model Metrics

Assess your project status with metrics from multiple Model-Based Design tools.

詳細はこちら

Refactor Models to Improve Design and Enable Component Reuse

Identify clones and modeling patterns to refactor models to improve component reuse.

詳細はこちら

製品リソース

これらのリソースを調べて Simulink Check をさらに詳しく知る。

ドキュメンテーション

リリース ノートやコード サンプルなど、Simulink Checkの関数と機能のドキュメンテーションを調べる。

関数

使用できる Simulink Check 関数のリストを参照する。

動作環境

最新リリースの Simulink Check のシステム必要条件を見る。

技術情報

Simulink Check を使用する技術的な利点について説明する記事を読む。

ユーザー事例

Simulink Check の各業界の研究開発分野における活用事例を読む。

コミュニティとサポート

質問の答えを検索し、トラブルシューティング リソースを調べる。


製品評価版の入手または製品の購入

無料評価版を入手する

Simulink Check の無料評価版をお試しいただけます。

評価版を入手する

購入する

Simulink Check を購入し、アドオン製品を調べる。

営業へのお問い合わせ
価格とライセンス

質問はありますか。

Paul

Paul Urban にお問い合わせください,
Simulink Check テクニカル エキスパート

Paul に電子メールを送信する

Simulink Check には: MATLAB, Simulink


 関連ソリューション

Simulink Check を使用して、科学および工学分野の課題を解決します。


ニュース&イベント

Simulink Verification and ValidationとSimulink Design Verifierを用いた構造カバレッジ分析や形式手法など、様々なコンポーネントのテストにお使いいただける先進的な検証手法をご紹介します。
Simulink およびモデルベース デザインに対する MathWorks のエンジニアの見解が得られます。

Improve Design Efficiency Using Modeling Standards Checking