新着情報
採用情報
日本語
|
English
|
中文
ユーザーサポート
資料ダウンロード
お問い合わせ
3つの強み
組込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
QTE(Quality Town for Embedded grade)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・解析ツール
Caseplayer2
共有変数自動解析ツール
SharedVariableChecker2
静的解析ツール運用効率化ソリューション
Code Analysis Refiner
ISO 26262セーフティ&セキュリティ
Safilia(セイフィリア)
Seculia
HighTec社 TriCore/Power Architecture クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
DXE- エッジ向けデジタル技術から付加価値を探求する事業 –
生成AIソリューション
MCD -モデル中核開発事業-
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築とツールの導入支援
IS&S
-サイバーセキュリティ 向け エンジニアリング支援-
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 現場業務)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティワークパッケージ)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 教育支援)
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
大規模ソフトウェア開発者向けテストツール導入支援
QTE導入支援サービス
-機能安全開発効率化支援-
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
SAQT -先進品質技術ソリューション事業-
テストパートナーSQV
ユニットテスト・オンザトラック
QEMUを使った仮想検証環境構築サービス
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
GAIO CLUB
導入事例
セミナーイベント
企業情報
ガイオ・テクノロジーの3つの強み
モダン型開発/従来型開発について
組込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
Quality Town for Embedded grade(QTE)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・
解析ツール
CasePlayer2
共有変数自動解析ツール
SharedVariableChecker2
静的解析ツール運用効率化ソリューション
Code Analysis Refiner
ISO 26262セーフティ&セキュリティ
Safilia
Seculia
HighTec社 クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
DXE -エッジ向けデジタル技術から付加価値を探求する事業-
生成AIソリューション
MCD -モデル中核開発事業-
リバースモデリング代行サービス
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築と
ツールの導入支援
IS&S -サイバーセキュリティ 向け エンジニアリング支援-
サイバーセキュリティ 現場業務
サイバーセキュリティワークパッケージ
サイバーセキュリティ 教育支援
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
-機能安全開発効率化支援-
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
SAQT -先進品質技術ソリューション事業-
テストパートナーSQV
ユニットテスト・オンザトラック
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
大規模ソフトウェア開発者向けテストツール導入支援
QEMUを使った仮想検証環境構築サービス
企業情報
新着情報
採用情報
導入事例
セミナーイベント
資料ダウンロード
動画一覧
GAIOサイバーチャンネル
GAIO CLUB
お問い合わせ
プライバシーポリシー
情報セキュリティ基本方針
ユーザーサポート
GAIO CLUB
HOME
>
GAIO CLUB
カテゴリー
すべて表示する
イベント
Google Test
ガイオ用語集
静的解析/コンパイラ技術
MBD実践ステップアップガイド
MBDてさぐり奮戦記
技術情報
GAIO CLUB 特集
静的解析/コンパイラ技術
【第2回】理解しづらいコーディングガイドラインとは? ~ビット操作~
C言語コーディングガイドラインについて、いくつかの理解し難いルールとそれに関わるお話をしたいと思います。
詳しくはこちら
静的解析/コンパイラ技術
【第1回】Cコンパイラは、なぜ怒る?
C言語プログラムに関するお話をしたいと思います。
詳しくはこちら
MBD実践ステップアップガイド
【第5回】MBDによる制御モデルの開発
対象とする製品や開発体制によって大きく異なりますが、ここでは製品の開発段階に応じた制御モデルの開発と評価について解説を試みます。
詳しくはこちら
MBD実践ステップアップガイド
【第4回】MBDによる開発プロセス
一般的にMBDにより開発生産性や品質が飛躍的に向上すると言われていますが、MBDを導入すると、制御プログラムの開発プロセスはどうあるべきか考えてみましょう。
詳しくはこちら
MBDてさぐり奮戦記
【第8回/最終回】内製ツールの検討
今回は、本奮戦記の最終回として、内製したツールについてその概要を説明いたします。
詳しくはこちら
MBD実践ステップアップガイド
【第3回】xILS シミュレータの種類と使い方
シミュレータによる製品開発のメリットについては多く語られていますが、目的に応じたシミュレータの選択や使い方について正しく理解していないと、思ったような成果を得ることができません。ここでは、xILSの構成と利用上の注意点について簡単に説明を行います。
詳しくはこちら
MBDてさぐり奮戦記
【第7回】モデル管理手法の検討
今回は、MATLAB Simulink(MathWorks社)のモデル図(以下モデル図と略します)を量産開発として管理するため、モデル図に固有の課題として検討した手法について、その概要を説明いたします。
詳しくはこちら
技術情報
仮想検証についての解説
本ページでは、「仮想検証」とは何か、仮想検証を実施するメリット、仮想検証の事例等について説明します。また、仮想検証に用いられるツールとして「QEMU」と呼ばれるツールについて、その特徴やメリットを説明します。
詳しくはこちら
MBDてさぐり奮戦記
【第6回】マイコンの選定
今回は、MBD手法を適用するワンチップマイコン(以下マイコンと略します)を選択したときの選定ポイントについて、その概要を説明いたします。
詳しくはこちら
技術情報
組込みシステム開発に役立つ良著のご紹介
ガイオのパートナーである、GLIWA Embedded Sytems社のCEO Peter Gliwa氏による、車載システム分野での開発経験と知識を集めたタイミング測定にフォーカスした本が出版されましたので、紹介いたします。
詳しくはこちら
イベント
ISTQB GA(General Assembly)meeting のご紹介
本記事では、筆者が2022年5月12日、13日にアイルランド ダブリンで開催されたISTQB General Assembly meeting(総会)にJSTQBの代表として出席した際の様子や、雰囲気などをご紹介します。
詳しくはこちら
MBD実践ステップアップガイド
【第2回】モデル設計のポイント
プラントモデルは挙動や特性を表すため、運動力学や熱力学、流体力学などの方程式を使った数理モデルが用いられます。制御モデルはプラントを制御するため、状態遷移モデルや制御工学的なモデルが使われます。
詳しくはこちら
« 前へ
1
…
3
4
5
6
7
…
11
次へ »
人気のコラム
OSの無い環境でC言語プログラムを動かすときは、マイコンのメモリを意識する必要があります。今回は、メモリとCソースプログラムの関係についての話です。
複数のタスクが並列動作する場合、競合に注意する必要があります。シングルタスクであっても割り込み処理との競合があります。
本特集では、モデルベース開発開発において、制御仕様として作成したMATLAB/Simulinkモデルからマイコンへ実装するコードを生成した場合に必要となる、モデル/コード間の比較検証と、その方法や課題について解説します。
最新のコラム
イベント
2025年12月、ラスベガスで開催された「AWS re:Invent 2025」に初めて参加してきました。本レポートでは、新卒1年目の私が感じたre:Inventの熱気や、エンジニア単独参加というプレッシャーの中で行った準備、そして現地で体感した最新技術(特にAIエージェント)について、時系列に沿ってご紹介します。
イベント
公益社団法人自動車技術会が主催の「自動運転AIチャレンジ2025」に初参加ながら、一般クラスで準優勝を果たしました。 人材育成という目標を掲げて参戦を決めた初挑戦チーム「GAIOの夜明け」は、学生クラス、一般クラス合わせて266チーム中オンライン予選を一般クラス6位で通過し、その後、実車を用いた決勝という二つの大きな壁に、どのように立ち向かったのか。コードに情熱を注ぎ、限界に挑み続けたチーム「GAIOの夜明け」の熱い舞台裏を、予選から決勝までの軌跡を追いながら詳細にレポートします。
技術情報
ソフトウェア開発の世界では、「アジャイル開発」という言葉がすっかり定着しました。ビジネスの要求に素早く応え、スピーディーに開発を進めるその手法は、現代の競争環境において不可欠な武器です。しかし、その恩恵を最大限に享受できている企業は、実はそれほど多くありません。
技術情報
現代のビジネス環境は、目まぐるしい変化と競争の激化により、企業にソフトウェア開発の高速化と品質向上を同時に求めています。この要求に応えるための強力な手法として、アジャイル開発とDevOpsが注目を集めています。
技術情報
ソフトウェアテストにおけるMC/DCカバレッジ測定方法について、具体的なテストケースを通じて解説します。
Google Test
今回は、LCOVとQTEのカバレッジを比べてみます。前回少し触れたLCOVのブランチカバレッジについても説明します。
Google Test
今回は、g++と関連するコマンドを使用してカバレッジを確認してみます。使用するのは、前回と同じGoogle Mockを使用したC言語プログラムのテスト環境です。
お問い合わせ・お見積りはこちら
03-4455-4767
[代表]9:00~17:30
(土・日・祝日・年末年始・夏季休暇を除く)