Simulink 検証ツールが ISO26262 の認証を取得

MathWorks はSimulink Verification and Validation と<br>Simulink Design Verifier の認証により、 IEC Certification Kit を強化

東京, 日本 - (2011 年 4 月 12 日)

MathWorksは本日、Simulink Design VerifierSimulink Verification and Validation が、ISO26262 に準拠した開発プロセスでの使用を TÜV SÜD より認証されたことを発表しました。この認証により、高品質な組み込みシステムを開発する自動車業界のエンジニアは、検証作業においてこれらの検証ツールが適正に機能することで、要求される信頼性を確保できるようになります。

MathWorksでは、Simulink Design Verifier のテストケース自動生成機能と、Simulink Verification and Validation のモデルカバレッジ計測機能をISO26262-8 の最新版に準じて分類し、事前審査を行った後、 TÜV SÜD が、ツールの分類と事前審査の結果を評価しました。また、モデルベース デザインによる早期検証と妥当性確認を行う自動車関連のエンジニアをより強力に支援するために、IEC Certification Kit には Simulink Design Verifier と Simulink Verification and Validation の認定書、リファレンスワークフロー、ISO26262 規格への適合性を示す認証テンプレートが含まれています。これにより、IEC Certification Kit は、既に認証を得ている Embedded Coder  と Polyspace のコード検証ツールとモデルベースデザインに対する、ISO26262 のツール認証サポートを強化します。

ISO26262 機能安全規格の対象となるさまざまな活動を支援するために、MathWorks では引き続きパートナー各社と緊密に協力して、関連するテクノロジーを提供しています。たとえば、ikv++ technologies AG による機能安全性分析ツール medini analyze は、Simulink を使用して高信頼性システムを開発する場合に、ISO26262 で義務付けられている ASIL (Automotive Safety Integrity Level ) の決定と分解の自動化や、詳細な安全性分析に使用できます。

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.