Simulink Design Verifier 2.0を発表【MathWorks】

2011年7月7日

MathWorks が Simulink Design Verifier 2.0を発表
Simulink モデルの自動エラー検出のための新機能を提供

MathWorksは本日、Simulinkモデルで自動エラー検出を可能にするために、Simulink Design VerifierにPolyspace解析技術を搭載したことを発表しました。Simulink Design Verifier 2.0では、Polyspaceエラー検出機能が既存のプロパティ検証やテスト生成機能と統合されるため、設計エラーの根本的原因の発見や修正にかかる時間を短縮できるうえ、検証と妥当性確認にかかる全体的なコストを削減することが可能となります。

これにより、航空宇宙、自動車、医療、産業オートメーション、および産業機械の各分野において、Simulink Design Verifier 2.0によって提供される形式的解析手法を使用してモデルベースデザインを適用し、詳細なテストやシミュレーションを行わなくても、Simulinkモデルや Stateflowモデルの設計上の欠陥を特定できるようになります。

Simulink Design Verifier 2.0の特長

● デッド ロジック、整数や固定小数点のオーバーフロー、ゼロ除算、アサーション違反などを検出
● 機能的な要求仕様やセキュリティに関する要求仕様をモデリングするためのブロックや関数
● 機能的な要求仕様とモデル カバレッジの目標から、ベクトル生成をテスト
● 解析とデバッグのために違反の例を生成し、プロパティを検証
● 固定小数点と浮動小数点のモデルをサポート

ビデオ デモによる Simulink Design Verifierの概要および新機能については、
mathworks.com/products/sldesignverifier（英語）をご覧ください。

価格および発売時期

Simulink Design Verifier は1,200,000円～で提供を開始いたしました。
詳細については、製品Webサイト（mathworks.com/products/sldesignverifier）をご覧ください。

MathWorksについて

MathWorks（マスワークス）は、数学的計算で業界をリードする世界的なソフトウェア 開発会社です。MATLABは、Language of Technical Computing（技術計算のための言語）として、アルゴリズム開発、データ解析、視覚化、数値計算のためのプログラミング環境を提供します。Simulinkは、マルチドメイン シミュレーションやダイナミック システム、および組込みシステムのモデルベース デザインのためのグラフィカル環境です。世界中のエンジニアや科学者が、自動車、航空宇宙、エレクトロニクス、金融機関、生命工学、製薬などの産業分野において、発見、革新、開発を加速させるためのツールとしてこれらのプロダクト ファミリを活用しています。また、MathWorksの製品は、教育および研究に欠かせないツールとして、世界各国の大学や教育機関において活用されています。MathWorksは 1984年に創業、現在は、マサチューセッツ州ネイティックを本拠地とし、世界 15か国で 2200名以上の従業員が活躍しています。詳細については www.mathworks.co.jp をご覧ください。

MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See www.mathworks.co.jp/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.

MathWorksホームページはこちら