新着情報
採用情報
日本語
|
English
|
中文
ユーザーサポート
資料ダウンロード
お問い合わせ
3つの強み
組み込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
QTE(Quality Town for Embedded grade)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・解析ツール
Caseplayer2
共有変数自動解析ツール
SharedVariableChecker2
ISO 26262セーフティ&セキュリティ
Safilia(セイフィリア)
Seculia
HighTec社 TriCore/Power Architecture クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
MCD -モデル中核開発事業-
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築とツールの導入支援
IS&S
-サイバーセキュリティ 向け エンジニアリング支援-
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 現場業務)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティワークパッケージ)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 教育支援)
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
-機能安全開発効率化支援-
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
SAQT -先進品質技術ソリューション事業-
テストパートナーSQV
ユニットテスト・オンザトラック
QEMUを使った仮想検証環境構築サービス
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
大規模ソフトウェア開発者向けテストツール導入支援
QTE導入支援サービス
GAIO CLUB
導入事例
セミナーイベント
企業情報
ガイオ・テクノロジーの3つの強み
モダン型開発/従来型開発について
組込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
Quality Town for Embedded grade(QTE)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・
解析ツール
CasePlayer2
共有変数自動解析ツール
SharedVariableChecker2
ISO 26262セーフティ&セキュリティ
Safilia
Seculia
HighTec社 クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
MCD -モデル中核開発事業-
リバースモデリング代行サービス
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築と
ツールの導入支援
IS&S -サイバーセキュリティ 向け エンジニアリング支援-
サイバーセキュリティ 現場業務
サイバーセキュリティワークパッケージ
サイバーセキュリティ 教育支援
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
-機能安全開発効率化支援-
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
SAQT -先進品質技術ソリューション事業-
テストパートナーSQV
ユニットテスト・オンザトラック
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
大規模ソフトウェア開発者向けテストツール導入支援
QEMUを使った仮想検証環境構築サービス
企業情報
新着情報
採用情報
導入事例
セミナーイベント
資料ダウンロード
動画一覧
GAIOサイバーチャンネル
GAIO CLUB
お問い合わせ
プライバシーポリシー
情報セキュリティ基本方針
ユーザーサポート
組み込みソフト開発・検証ツール
HOME
>
組込ソフト開発・検証ツール
自社開発ツールと他社ツールをグローバルに連携し包括的なソリューションを提供
クロスコンパイラの自社開発からスタートしたガイオは、コアテクノロジーであるマイコンコード生成、ソースコード解析、マイコン/システムシミュレーション技術をベースにした、オリジナルの組込み開発・検証ツールを提供する、国内で数少ないツールベンダーです。 ガイオの「自社開発ツール」と開発検証サービスを補完する「他社ツールとグローバル連携」を行うことで、組込み開発者の皆様の課題に対して、モデルベース開発における開発プロセス全体にわたる包括的な解決策を提供致します。
組込みソフト 検証・開発ツール パッケージ製品
カバレッジマスターwinAMS
組込みソフト開発向け単体テスト、カバレッジ計測ツールのデファクトスタンダード
機能安全規格ISO 26262 / IEC 61508に準拠し、ステートメント、ブランチ、MC/DC、関数コールなどのコードカバレッジ計測可能な、組込みソフト向けC/C++ソフトウエア単体テストツールです。マイコンシミュレータを内蔵し、コンパイルされたオブジェクトコードを実行して単体テストを行います。一般の単体テストツールにありがちなCソースの論理レベルでの単体テストに留まらず、組込み特有のマイコンへの実装に依存した問題点を含めた、マイコンコードに最も忠実で信頼性の高い単体テストを実施します。
カバレッジマスターwinAMS MBTオプション
モデルベース開発に求められるBack to BackテストをカバレッジマスターwinAMSで効率化
モデルベース開発に求められるBack to Backテスト(以下BtoBテスト)をカバレッジマスターwinAMSを利用して効率的に実施するためのオプションです。カバレッジマスターwinAMSで利用可能なマイコンシミュレータを利用してモデル(MILS)とターゲットコード(PILシミュレーション)の一致性検証を行うことができます。
QTE(Quality Town for Embedded grade)
オープンプラットフォーム対応 C++言語向け新世代のユニットテストツール
弊社製品の「QTE」は、AUTOSAR Adaptive Platformに対応可能な単体テストツールで、自動運転/統合ECUソフトの開発に求められるC++、Host-Linux、Target-Linux、オープンソース型ソフトウェア(OSS)環境に対応しております。
Caseplayer2
プログラム仕様書を簡単作成
コードレビューの強い 'ミカタ'
CasePlayer2 は、ANSI準拠C言語、C++(※C++ 11/14対応)、組み込み向けC言語(非ANSI)を解析して、フローチャートなどのプログラム仕様書を作成するツールです。機能安全規格ISO 26262 / IEC 61508に準拠し、C言語コーディング規約「MISRA-C」のルールチェック機能を搭載。過去のソースコードのロジック解析や、仕様書作成作業を強力に支援します。
SharedVariableChecker2
競合を見逃すな!
変数アクセスをビジュアライズ
「SharedVariableChecker2」は、プログラム解析/仕様書作成ツール CasePlayer2 との連携で使用するツールで、Cソースを静的解析し、タスク、関数からの同一グローバル変数へのアクセスを可視化。変数の競合状態や関連性を図表化し、不具合リスク箇所の特定に寄与します。
PROMPT
MBDのテストデータ生成を改善
「PROMPT」はMATLAB/Simulinkのサブセットとして、大規模・複雑化するモデルに対するモデルカバレッジの網羅性の高いテストベクタを短時間で自動生成するツールです。MATLAB/Simulinkを用いたモデルベース開発(MBD)において課題となる「大規模・複雑化するモデルに対してのテストデータ生成」を解決し、結果として車載システム等に搭載されるECU用ソフトウェアの開発に対する「高安全・高信頼」に寄与することが可能です。
PLAS-Qlite
パフォーマンス検証をフロントローディング化
ソフトウェアの動作パフォーマンスをPC上のシミュレーションにより確認できる「パフォーマンス検証ツール」です。派生開発や機能追加でソフトウェア規模が増加した際に引き起こされるマイコン制御時間の許容オ―バーを、実機テストの前段階(関数単体テスト工程)で確認し、「パフォーマンス検証」における手戻り工数削減を実現します。
ISO 26262セーフティ&セキュリティ
Safilia
ISO 26262版 SCDL対応安全コンセプト設計ツール
「Safilia(セイフィリア)」は、安全コンセプト設計を支援し、設計者、開発者間の情報共有を円滑に進めるためのモデリングツールです。「安全コンセプト記法研究会 SCN-SG 」が策定する、仕様・規格に基づいた、安全コンセプト記述言語 Safety Concept Description Language(SCDL)を採用しています。ブロックダイアグラムによるエディタで安全コンセプトを記述し、共通の合意形成、共有を促進することができます。
Seculia
セキュリティ脅威分析支援ツール
Seculiaは、アタックツリー(AT:Attack Trees)を中心とした脅威分析手法を採用したセキュリティ脅威分析支援ツールです。本ツールは、(株)シーエーブイテクノロジーズとガイオ・テクノロジー(株) の共同開発製品です。
HighTec社 TriCore/Power Architecture クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
クロスコンパイラ/Eclipseベースの統合開発環境
HighTec社 TriCore 開発プラットフォームは、強力なウイザード機能を持つEclipseベースの統合開発環境です。TriCoreやAurix マルチコアをサポートします。プロジェクトの設定やコンパイラ、アセンブラ、リンカを使用するビルドプロセス全体の管理を行います。
HighTec社 Power Architecture 開発プラットフォーム
クロスコンパイラ / Eclipseベースの統合開発環境
HighTec社 Power Architecture 開発プラットフォームは、強力なウイザードを持ち、最新のPower Architectureファミリをサポートしています。
シミュレータベーストファミリ仮想検証ツール ・ 実機テストソリューション
シミュレータベーストファミリ仮想検証ツール
組込みシステム仮想検証環境
シミュレータベーストファミリ(SBF)は、一般的な組込みシステム、自動車制御、メカ制御、SoC(システムオンチップ)の開発早期でのソフト検証を可能にする、組込みシステムシミュレーション環境です。柔軟な接続インタフェースを持ち、自動車モデルベース開発向けのMATLAB/Simulinkを始め、3Dメカシミュレータ、ASICシミュレータとのシステム動作シミュレーションを行うことができます。
モデルガイドラインチェック製品
Model Dr. MDiA
モデルガイドラインチェッカー
「Model Dr. MDiA」は、MATLAB/Simulinkモデルの品質を各種ガイドラインを基準に診断し、モデルの品質を定量化・可視化するツールです。 診断結果からモデルの品質改善や定期的な診断を実施することで品質変化の把握が可能になるため、モデル品質の向上と維持が可能となります。 「Model Dr. MDiA」は 株式会社 両毛システムズ が企画・開発、ガイオ・テクノロジー株式会社が販売を行っています。
自動車機能安全ISO 26262ツール認証取得について
自動車機能安全ISO 26262ツール認証取得について
第三者認証機関TUV SUDより 自動車機能安全規格ISO 26262のツール認証を取得
自動車機能安全規格(ISO 26262)に準拠した車載ソフトの開発を行っていただくために、ガイオのテストツール、「カバレッジマスターwinAMS」、「CasePlayer2」、「Quality Town for Embedded grade(QTE)」は、ドイツの第三者認証機関であるTUV SUDよりツール認証を取得済みです。
資料ダウンロード
カバレッジマスターwinAMS
組込みソフト開発向け単体テスト、カバレッジ計測ツールのデファクトスタンダード
資料ダウンロード
Quality Town for Embedded grade(QTE)
オープンプラットフォーム対応 C++言語向け新世代のユニットテストツール
資料ダウンロード
PROMPT
Performable RatiOnalized Model Perfective Tool
資料ダウンロード
お問い合わせ・お見積りはこちら
03-4455-4767
[代表]9:00~17:30
(土・日・祝日・年末年始・夏季休暇を除く)