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 を買収