組込みソフト開発・検証ツール

組込みソフト開発向け単体テスト、カバレッジ計測ツールのデファクトスタンダード

機能安全規格ISO 26262 / IEC 61508に準拠し、ステートメント、ブランチ、MC/DC、関数コールなどのコードカバレッジ計測可能な、組込みソフト向けC/C++ソフトウエア単体テストツールです。マイコンシミュレータを内蔵し、コンパイルされたオブジェクトコードを実行して単体テストを行います。一般の単体テストツールにありがちなCソースの論理レベルでの単体テストに留まらず、組込み特有のマイコンへの実装に依存した問題点を含めた、マイコンコードに最も忠実で信頼性の高い単体テストを実施します。

モデルベース開発に求められるBack to BackテストをカバレッジマスターwinAMSで効率化

モデルベース開発に求められるBack to Backテスト(以下BtoBテスト)をカバレッジマスターwinAMSを利用して効率的に実施するためのオプションです。カバレッジマスターwinAMSで利用可能なマイコンシミュレータを利用してモデル(MILS)とターゲットコード(PILシミュレーション)の一致性検証を行うことができます。

モダン開発向け次世代テストツール

弊社製品の「QTE」は、モダン開発を目指す高品質な組み込みソフトウェア向けテストツールです。

プログラム仕様書を簡単作成
コードレビューの強い 'ミカタ'

CasePlayer2 は、ANSI準拠C言語、C++（※C++ 11/14対応）、組み込み向けC言語（非ANSI）を解析して、フローチャートなどのプログラム仕様書を作成するツールです。機能安全規格ISO 26262 / IEC 61508に準拠し、C言語コーディング規約「MISRA-C」のルールチェック機能を搭載。過去のソースコードのロジック解析や、仕様書作成作業を強力に支援します。

競合を見逃すな！
変数アクセスをビジュアライズ

「SharedVariableChecker2」は、プログラム解析/仕様書作成ツール CasePlayer2 との連携で使用するツールで、Cソースを静的解析し、タスク、関数からの同一グローバル変数へのアクセスを可視化。変数の競合状態や関連性を図表化し、不具合リスク箇所の特定に寄与します。

MBDのテストデータ生成を改善

「PROMPT」はMATLAB/Simulinkのサブセットとして、大規模・複雑化するモデルに対するモデルカバレッジの網羅性の高いテストベクタを短時間で自動生成するツールです。MATLAB/Simulinkを用いたモデルベース開発(MBD)において課題となる「大規模・複雑化するモデルに対してのテストデータ生成」を解決し、結果として車載システム等に搭載されるECU用ソフトウェアの開発に対する「高安全・高信頼」に寄与することが可能です。

パフォーマンス検証をフロントローディング化

ソフトウェアの動作パフォーマンスをPC上のシミュレーションにより確認できる「パフォーマンス検証ツール」です。派生開発や機能追加でソフトウェア規模が増加した際に引き起こされるマイコン制御時間の許容オ―バーを、実機テストの前段階（関数単体テスト工程）で確認し、「パフォーマンス検証」における手戻り工数削減を実現します。

静的解析ツールの膨大な違反警告の処置を効率化

Code Analysis Refinerは、CodeCheckerで不足する機能を補い、静的解析ツール運用にかかる作業時間を大幅に短縮します。

ISO 26262版 SCDL対応安全コンセプト設計ツール

「Safilia（セイフィリア）」は、安全コンセプト設計を支援し、設計者、開発者間の情報共有を円滑に進めるためのモデリングツールです。「安全コンセプト記法研究会　SCN-SG 」が策定する、仕様・規格に基づいた、安全コンセプト記述言語 Safety Concept Description Language（SCDL）を採用しています。ブロックダイアグラムによるエディタで安全コンセプトを記述し、共通の合意形成、共有を促進することができます。

セキュリティ脅威分析支援ツール

Seculiaは、アタックツリー(AT:Attack Trees)を中心とした脅威分析手法を採用したセキュリティ脅威分析支援ツールです。本ツールは、（株）シーエーブイテクノロジーズとガイオ・テクノロジー（株） の共同開発製品です。

クロスコンパイラ/Eclipseベースの統合開発環境

HighTec社 TriCore 開発プラットフォームは、強力なウイザード機能を持つEclipseベースの統合開発環境です。TriCoreやAurix マルチコアをサポートします。プロジェクトの設定やコンパイラ、アセンブラ、リンカを使用するビルドプロセス全体の管理を行います。

クロスコンパイラ / Eclipseベースの統合開発環境

HighTec社 Power Architecture 開発プラットフォームは、強力なウイザードを持ち、最新のPower Architectureファミリをサポートしています。

組込みシステム仮想検証環境

シミュレータベーストファミリ（SBF）は、一般的な組込みシステム、自動車制御、メカ制御、SoC（システムオンチップ）の開発早期でのソフト検証を可能にする、組込みシステムシミュレーション環境です。柔軟な接続インタフェースを持ち、自動車モデルベース開発向けのMATLAB/Simulinkを始め、3Dメカシミュレータ、ASICシミュレータとのシステム動作シミュレーションを行うことができます。

モデルガイドラインチェッカー

「Model Dr. MDiA」は、MATLAB/Simulinkモデルの品質を各種ガイドラインを基準に診断し、モデルの品質を定量化・可視化するツールです。 診断結果からモデルの品質改善や定期的な診断を実施することで品質変化の把握が可能になるため、モデル品質の向上と維持が可能となります。 「Model Dr. MDiA」は 株式会社 両毛システムズ が企画・開発、ガイオ・テクノロジー株式会社が販売を行っています。

第三者認証機関TUV SUDより 自動車機能安全規格ISO 26262のツール認証を取得

自動車機能安全規格（ISO 26262）に準拠した車載ソフトの開発を行っていただくために、ガイオのテストツール、「カバレッジマスターwinAMS」、「CasePlayer2」、「Quality Town for Embedded grade（QTE）」は、ドイツの第三者認証機関であるTUV SUDよりツール認証を取得済みです。