サービス内容

ベンチマーク

お客様のニーズをヒアリングし、市販製品をベンチマークするサービスです。弊社が車載ECUソフトの開発とテストに蓄積した技術ノウハウと実績に基づき、お客様の業務に最適なシステム提案します。

導入支援

技術者の教育や、手順書の作成、トラブル発生時の対応など支援します。海外ベンダーと直接やり取りする言語力（日本語、英語、中国語、韓国語）を持ちますので、コミュニケーションへの心配は不要です。

連携機能開発

既存資産を市販ツールに導入するためのコンバータ機能の開発や、成果物を下流工程に利用するためのフォーマット変換機能などの仕様検討及び、機能開発を行うサービスです。

実績一覧

CodeSonar

CodeSonar は、C/C++/Java で書かれたソースコードを、コンパイル時に静的に深く解析し、さまざまな種類の重大なバグとセキュリティ上の脆弱性を検出し、ソフトウェアの品質を向上させる高精度バグ検出ツールです。

Polyspace

Polyspace® 静的コード解析製品は、想定されるあらゆる制御フローやデータフローの下、形式手法を使用して重大なランタイムエラーがないことを証明するツールです。

C++Test

C++testは、静的解析・単体テスト・カバレッジ計測機能などを搭載したテストツールです。 コーディング規約チェック・世界中多くの導入実績あり・9種類のカバレッジ計測・独自ルールの作成・ソフトウェア品質向上・機能安全規格に準拠、テスト工数を大幅削減が可能です。

aiT WCET Analyzers

aiT WCET Analyzersは、リアルタイムシステムのタスクの最悪実行時間（WCET）の厳密な境界を静的に計算します。バイナリ実行可能ファイルを直接分析し、固有のキャッシュとパイプラインの動作を考慮に入れます。

Astrée

Astréeは、CまたはC ++で作成または生成されたセーフティクリティカルなソフトウェアにランタイムエラーと無効な同時動作がないことを証明する静的コードアナライザーです。

TA Tool Suite

TA Tool Suiteは、組込マルチコア型リアルタイムシステムの設計、シミュレーション、検証に役立つ使いやすいツールが揃っているツールです。

STIMULUS

STIMULUS では、システム・アーキテクトが仕様フェーズで要件をシミュレートし、あいまいな要件、不正確な要件、欠落している要件、矛盾する要件を設計開始前に検出できるため、安全性が重視される組み込みシステムの検証に必要な高品質な仕様を作成できます。

RTT-Observer Generator

RTT-Observer Generator は RTT-Observerと呼ばれるリアルタイムのフォーマルテストを実施するためのアドオンです。dSPACE HILもしくはVEOSによるシミュレーション実施中にリアルタイムで形式化された要求群に基づいた判定を行う監視ユニット"要求オブザーバ"を自動で生成します。