MathWorks が Simulink Design Verifier 2.0を発表

Simulink モデルの自動エラー検出のための新機能を提供

東京, 日本 - (2011 年 7 月 7 日)

SDV_fig1_for_web_215.jpg

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 名以上の従業員が活躍しています。詳細については jp.mathworks.com をご覧ください。

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