手元に存在する大量のデータを、専門知識やプログラミングスキルを要さず簡単に視覚化し、分析できるツールです。高速で簡単、そして美しさを備えた役立つデータ分析が可能な、誰もが使えるソフトウェアです。

複数の並列で動作するプログラムが時間的な制約の中で適切な動作をするか、といった複雑なモデルを作成できます。これによって、テストではカバーしきれないタイミングを含む網羅的な検証を可能とします。

並列システムの形式仕様記法 CSP(Communicating Sequential Process)を用いて並列システムが満たすべき性質のモデル検査を実行できます。検査性質を満たさない場合、実行パスを反例として出力し、シミュレーション画面で視覚的に不具合を解析できます。

C/C++ 言語対応の静的解析・単体テストツールです。静的解析はパターンマッチングによる解析と実行フローのシミュレーションによる解析の両方をサポートしています。開発工程に C++test による静的解析、単体テストを組み込むことにより、効率的なテストとソースコードの品質向上が期待できます。

組込み向け HMI/スクリーン設計およびソースコード生成ツールです。小さなメモリのローエンドシステムからハイエンドまで、幅広いデバイスと多くの RTOS に対応しています。理想の GUI 画像設計を実現出来ます。

組込み向け HMI/スクリーン設計およびソースコード生成ツールです。小さなメモリのローエンドシステムからハイエンドまで、幅広いデバイスと多くの RTOS に対応しています。理想の GUI 画像設計を実現出来ます。

構成管理機能の他に変更管理、欠陥追跡、要件管理、プロジェクト・タスク管理、スレッド形式のディスカッションなどを含む包括的なソリューションを提供するツール