出展品目カテゴリー

シミュレータ、システム設計ツール、テスト・検証サービス

開発支援ツール、受託開発／コンサルティング、品質検証サービス、標準化・技術普及団体

出展のみどころ

ガイオ・テクノロジーは、1980年に組込み開発向けクロスコンパイラの自社開発をスタートし、その後、マイコンのコード解析技術、シミュレータ技術をベースにした組込みソフトウェア向けの各種検証ツールを提供しています。

また、もう一本の柱であるエンジニアリングサービス事業では、モデル中核開発事業（MCD)、先進品質技術ソリューション事業（SAQT）セーフティー/セキュリティサービス（IS＆S）等のサービスを提供しており、日々、主要自動車メーカー、大手自動車部品サプライヤにて、モデルベース開発支援、テストプロセス構築支援、ツール導入・運用支援等の業務を手がけています。

今年のETでは、新ツールや新機能の「体験コーナー」をご用意しました。
以下にご紹介させて頂いております初めてお披露目となる新製品も体験可能です。
席数限定となりますので、弊社ホームページ（https://www.gaio.co.jp/newslist/et2019/）をご確認の上お早めにお申し込みください。
午後からは、弊社製品のブース内プレゼンテーションも開催致します。

ぜひ、B-01ブースにお越しくださいませ。

新製品

PROMPT

モデルからテストデータを自動生成するツールです。
自動生成時間が早く、カバレッジ網羅の高いデータを生成します。

PLAS-Qlite

単体テストのテストデータを使用し、関数単体の実行速度を検証します。
RAMやROM、IOレジスタ等のアクセスに対するレーテンシーを設定することで、
メモリアクセスの計測結果を出力します。

smartMBT

Back-to-Backテストを1クリックでフルオートメーション実行するツールです。
　smartMBTは以下のツール群で構成されます。
　－smartMBT-MCK
　　フルオートメーション実行のためのモデルチェックツールです。
　　テスト自動生成において、カバレッジ率低いブロックや、自動実行を阻害する要因をチェックします。
　－smartMBT-MRP
　　MCKでチェックした結果、自動実行できるモデルに置換するツールです。
　－smartMBT-CLI
　　フルオートメーション実行するコマンドライン環境を構築します。
　　ガイオの標準環境をベースとし、お客様の環境に合わせてカスタマイズします。

対応応用分野

• オートモティブ
• 家電/AV/アミューズメント
• FA
• 新通信/モバイル/ネットワーク
• スマートエネルギー
• 社会インフラ
• 医療/介護
• ロジスティックス
• 農林/水産/鉱業
• 航空/宇宙
• 金融（銀⾏/証券/保険など）

連絡先情報

下記情報は来場者から出展者への事前アポイント・問合せを目的に公開しています。
それ以外の目的（セールス等）で無断に使用・転載する事を固く禁じます。

ガイオ・テクノロジー 営業本部 東京都品川区東品川2-2-4　天王洲ファーストタワー25階

TEL : 03-4455-4767 E-mail : info@gaio.co.jp URL : https://www.gaio.co.jp/