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

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


コード生成/解析、シミュレーション技術をベースにした自社開発ツールを提供

クロスコンパイラの自社開発からスタートしたガイオは、コアテクノロジーであるマイコンコード生成、ソースコード解析、マイコン/システムシミュレーション技術をベースにした、オリジナルの組込み開発・検証ツールを提供する、国内で数少ないツールベンダーです。


自社開発ツールと他社ツールをグローバルに連携し 包括的なソリューションを提供

「GiS」のコンセプトのもと、ガイオの「自社開発ツール」と開発検証サービスを補完する「他社ツールとグローバル連携」を行うことで、組込み開発者の皆様の課題に対して、モデルベース開発における開発プロセス全体にわたる包括的な解決策を提供致します。


システム設計他社ツール

設計他社ツール

ソフトウエア設計支援ツール

HighTec社コンパイラ

機能安全対応ソフトテストツール

モデルベースソフトテストツール

実機テストソリューション

シミュレータベーストファミリ

Safilia

SecuLia


組込みソフト 検証・開発ツール パッケージ製品

検証ツール パッケージ組込みソフトの品質改善、モデルベース開発ソフト検証を目的とした、単体テストツール、プログラム解析ツール、モデル/コードの比較検証ツールを提供しています。組込みターゲットコードを対象にした信頼性の高いソフト検証、機能安全認証(ISO26262、IEC61508)向けのソフト検証が可能です。また、ガイオの基幹技術であるクロスコンパイラの開発、プログラム設計ツールの提供も継続して行っています。

カバレッジマスター winAMS: ISO26262対応 C/C++ 組込み向け単体テストツール
MC-Verifier: モデルベース開発 モデル/コードBack-to-Back テスト統合ツール

CasePlayer2: ISO26262対応 組込み用プログラム解析・仕様書作成ツール
FuncVarGrid: 関数内変数アクセス情報出力ツール

Project Composer for Ri: リコー画像プロセッサ「Ri」向けブロックベース開発環境

Safilia: ISO26262版 SCDL対応安全コンセプト設計ツール
SecuLia: セキュリティ脅威分析支援ツール

HighTec社 TriCore/Power Architecture クロスコンパイラ

ガイオは、HighTec社のTriCore/Power Architecture開発プラットフォーム(クロスコンパイラ、アセンブラ、リンカ、デバッガ)の日本国内、総販売代理店として、販売を行なっております。

TriCore 開発プラットフォーム(クロスコンパイラ)
Power Architecture 開発プラットフォーム(クロスコンパイラ)

シミュレータベーストファミリ仮想検証ツール ・ 実機テストソリューション

組込みシステム仮想検証ガイオのベーステクノロジーであるマイコンシミュレータ(SPILS)を応用した、仮想検証システムシミュレータ(シミュレータベーストファミリ:SBF)を提供しています。実機では困難なシステム動作の網羅テスト、自動テストを実現し、結合後の組込みシステムの信頼性、品質を検証します。また、実機をベースにした自動テストシステムの提供も行っています。

シミュレータベーストファミリ 仮想検証ツール: 自動車ECU / プリンタメカ制御 / ASIC強調・SoCシステム
リアルタイムファンクションテスター: 実機テストソリューション


機能安全規格対応 / モデルベース開発ツール ソリューション

自社開発ツールと他社ツールをグローバルに連携する「GiS」のコンセプトをもとに、自動車制御ソフトを中心としたモデルベース開発プロセス全体にわたるソリューションを提供しています。単体レベル、結合レベル、システムレベルでの、モデルベース開発に必要なソフト検証ツール、ソリューションを提供しています。

ISO26262 自動車機能安全 モデルベース開発検証ソリューション

モデルベース開発ツールソリューション詳細情報へ
自動車制御ソフト 検証ソリューション



参考情報・リンク

2015年度総合カタログ(PDF)