Polyspace 組込みソフトウェア検証

Polyspace^® 製品は、コードのコンパイルおよび実行前に実行時エラーを検出することによって、組込みアプリケーションの C、C++、および Ada コードを検証します。形式手法を使った高度な検証技術により、エラーを検出するだけでなく、特定のクラスの実行時エラーが存在しないことを数学的に証明します。

これらのツールは、ハンドコード、あるいはモデルベース デザイン ツールから自動的に生成されたコードにも使用できます。自動生成されたコードの場合、Polyspace Link 製品が結果をモデルまで追跡するため、設計上の欠陥を容易に修復することが可能です。

ソース コードに実行時エラーが含まれていないことを証明

Polyspace Client™ for C/C++
Polyspace Server™ for C/C++
Polyspace Client™ for Ada
Polyspace Server™ for Ada

Polyspace の結果を外部モデルまで追跡

Polyspace Model Link™ SL (for Simulink^®)
Polyspace Model Link™ TL (for dSPACE^® TargetLink^®)
Polyspace UML Link™ RH (for IBM^® Rational^® Rhapsody^®)

業界標準をサポート

IEC Certification Kit (for IEC 61508)
DO Qualification Kit (for DO-178)

無料 Polyspace テクニカル キット

無料 Polyspace 評価版をダウンロードする

テクニカル サポート

ドキュメンテーション、ナレッジ ベース、ケース トラッキング、ダウンロード、ユーザー コミュニティなど

既存の Polyspace 製品の移行に関する詳細はこちら

ニュース

MathWorks、組込みシステム コード検証ツール大手の Polyspace Technologies を買収