ガイオ・テクノロジー 組込みソフトウェア／システム開発のトータルソリューション

ライフサイクルマネージマント

ガイオセミナー教育サービス

実機連携自動テストツール

実機レス仮想検証ツール

故障障害注入シミュレータ

割り込み網羅検証ツール

カバレッジ計測単体テストツール

モデル／コード一致性確認

ユニットテストオンザトラック

単体テスト代行サービス

静的解析プログラム解析

MISRA-Cチェッカー

クロスコンパイラ統合開発環境

レガシーリファクタリングソリューション

WXG機能安全ソリューション

マイコン変更サービス

単体品質レベルギャップ診断サービス

ソフトウエア見える化サービス

リバースモデリングサービス

テスト用モデリング

テスト設計支援

Math Model

形式手法

HMI設計ツール

EAST-ADL／AADL連携

Modelica連携

UML／SysMLツール連携

AUTOSAR標準化 Associate Member

モデルベース開発

機能安全対応 ISO26262 IEC61508

フローチャート・プログラム仕様書作成

■Embedded China 2012 (上海 World Expo Exhibition and Convention Center)に出展　： ブース番号E03

■第3回SICEプラントモデリングシンポジウムにてチュートリアルセッションを行います

■Embedded World 2012 (ドイツ：ニュルンベルグ) に出展致しました / ブース番号：4-426, Hall 4

■カバレッジマスターwinAMS データ作成機能技術解説ビデオを掲載しました

2011/8/31開催の「ガイオ テクニカルセミナー2011夏」の講演から、「カバレッジマスター新バージョンで実現した「探索型」テストデータ自動生成機能の技術解説 」のビデオを掲載致しました。新バージョンで実現した「探索型アルゴリズム」によるテストデータ自動生成機能改善とその適用方法について解説しています。
セミナービデオ掲載ページ

■ＣＳＫとガイオ･テクノロジー、モデルベース開発、モデル駆動開発における協業を開始

株式会社CSK（本社:東京都港区、代表取締役社長:中西 毅、以下CSK）とガイオ･テクノロジー株式会社（所在地:横浜市神奈川区、代表取締役社長:馬場民準、以下ガイオ）は、モデルベース開発（MBD）ならびにモデル駆動開発（MDD）において、お互いの事業展開を支援する協業を開始しました。。
プレスリリース(CSK株式会社WEBページ)

■ガイオ・テクノロジー モデル中核開発事業「Model Centered Development」を発足

組込みソフト向け単体テストツール、検証サービスを提供するガイオ・テクノロジー株式会社は、組込み開発ツール・サービスの経験と知見をベースに MBD/MDD開発サービス、コンサルテーションを提供するモデル中核開発事業「Model Centered Development」を発足いたしました。
プレスリリース

■（株）不二越 ロボット事業部様の 単体テストツール「カバレッジマスターwinAMS」の適用事例を掲載致しました

産業用ロボットの開発を手がける（株）不二越 ロボット事業部様に、機能安全認証IEC61508への、ガイオの単体テストツール「カバレッジマスターwinAMS」の適用事例についてインタビューをさせていただきました。
GAIO CLUB ONLINE Vol.5