新着情報
採用情報
日本語
|
English
ユーザーサポート
資料ダウンロード
お問い合わせ
3つの強み
組み込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
QTE(Quality Town for Embedded grade)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・解析ツール
Caseplayer2
共有変数自動解析ツール
SharedVariableChecker2
ISO 26262セーフティ&セキュリティ
Salutem(サルテム)
Safilia(セイフィリア)
Seculia
HighTec社 TriCore/Power Architecture クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
動作タイミング解析ツール
Timing-Suite T1(ティーワン)
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
実機連携 組込みソフト自動テストシステム
リアルタイムファンクションテスター
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
モデル中核開発事業
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築とツールの導入支援
セキュリティサービス
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 現場業務)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティワークパッケージ)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 教育支援)
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
大規模ソフトウェア開発者向けテストツール導入支援
QTE導入支援サービス
機能安全開発効率化支援
Salutem導入支援サービス
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
先進品質技術ソリューション事業(SAQT)
テストパートナーSQV
ユニットテスト・オンザトラック
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
QEMUを使った仮想検証環境構築サービス
GAIO CLUB
導入事例
セミナーイベント
企業情報
ガイオ・テクノロジーの3つの強み
モダン型開発/従来型開発について
組込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
Quality Town for Embedded grade(QTE)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・
解析ツール
CasePlayer2
共有変数自動解析ツール
SharedVariableChecker2
ISO 26262セーフティ&セキュリティ
Salutem
Safilia
Seculia
HighTec社 クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
動作タイミング解析ツール
Timing-Suite T1(ティーワン)
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
実機連携 組込みソフト自動テストシステム
リアルタイムファンクションテスター
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
モデル中核開発事業
リバースモデリング代行サービス
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築と
ツールの導入支援
セキュリティサービス
サイバーセキュリティ 現場業務
サイバーセキュリティワークパッケージ
サイバーセキュリティ 教育支援
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
機能安全開発効率化支援
Salutem導入支援サービス
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
先進品質技術ソリューション事業(SAQT)
テストパートナーSQV
ユニットテスト・オンザトラック
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
QEMUを使った仮想検証環境構築サービス
企業情報
新着情報
採用情報
導入事例
セミナーイベント
資料ダウンロード
動画一覧
GAIOサイバーチャンネル
GAIO CLUB
お問い合わせ
プライバシーポリシー
情報セキュリティ基本方針
ユーザーサポート
GAIO CLUB
HOME
>
GAIO CLUB
カテゴリー
すべて表示する
ガイオ用語集
静的解析/コンパイラ技術
MBD実践ステップアップガイド
MBDてさぐり奮戦記
技術情報
GAIO CLUB 特集
GAIO CLUB 特集
フローチャートを利用したレビュー会議でソフトウエア品質を高めよう
GAIO CLUB【2004/5月号】製品インフォメーション ソースコードを解析してフローチャート化 プレビュー会議でソフトウエアの品質向上を目指す、組み込み用CASEツール「CasePlayer2」
詳しくはこちら
GAIO CLUB 特集
初めての組み込みLinuxドライバ開発
GAIO CLUB【2004/5月号】Linuxは、マルチタスク、仮想メモリ、共有ライブラリ、メモリ管理、TCP/IP等ネットワーク機能を持ち、従来のUNIXと同じコマンド、プログラミング・インターフェースを持つUNIXライクなOSです。
詳しくはこちら
GAIO CLUB 特集
シミュレータを利用して実機では再現が困難な例外条件を再現テストする
GAIO CLUB【2004/4月号】現在行われているソフトウエア評価の方法のほとんどは、いわゆる「実機デバッグ」です。ソフトを実装した試作製品を前に、実際に操作を行いながら正しく動作することを確認すると言うものです。
詳しくはこちら
GAIO CLUB 特集
シミュレータを利用したカバレッジ自動テストで、組み込みソフト品質を改善、保証する
GAIO CLUB【2004/4月号】システムと呼ばれるものは何でも、より小さな単位のモジュールの組み合わせで出来ています。組み込みソフトウエアの場合でも、全体のシステムは、小さな関数、タスクなどのモジュールの組み合わせで成り立っています。
詳しくはこちら
GAIO CLUB 特集
これからの技術立国「日本」に求められるもの 組み込みエンジニアの育成を考える
GAIO CLUB【2004/2月号】現在、全世界で販売されている電子製品の多くは、中国、東南アジアで生産されています。ハードウエア製造の分野では、労働力の確保、賃金、維持コストなどの面から、これらの地域以上に生産性、コストメリットを得ることは難しくなっています。
詳しくはこちら
GAIO CLUB 特集
既存IP利用のSoCラピッドプロトタイピングローコストソリューション「ASICデザインキット」
GAIO CLUB【2004/2月号】最近では、モバイル組み込み機器の様に、小型・省電力の要求から、複数の汎用チップを集積したASICや、マイコンコアまでも取り込んだSystem On Chip が採用されています。
詳しくはこちら
GAIO CLUB 特集
LinuxをWindowsホストでフルシミュレーション「ソニックシミュレータ」いよいよ登場
GAIO CLUB【2004/1月号】桁違いの実行性能を魅せつける高速動作シミュレータ、実機テストでは見つからない”潜在バグ”を絞り出します。
詳しくはこちら
GAIO CLUB 特集
バーチャルモデルの使い方事例 こんな使い方で効果を上げています
GAIO CLUB【2004/1月号】バーチャル製品モデルの使い方の事例こんな使い方で効果を上げています。HMI・操作仕様作成は従来通りワープロで作成し、プロトモデルで作成した仕様の「バグ」をとことん絞り出す。
詳しくはこちら
GAIO CLUB 特集
仮想デバイスモデル構築を体験しよう「IFビルダー」の使い方講座
GAIO CLUB【2003/12月号】IFビルダーを使ってハードウエアタイマーを設計。シミュレータで利用する仮想ハードウエアの考え方を学習する。
詳しくはこちら
GAIO CLUB 特集
評価ボードと仮想デバイスを連動した「ハイブリッド評価ボード」
GAIO CLUB【2003/12月号】実機完成待ちを無くし潜在バグをも発見できる新世代開発環境、FPGAとの組み合わせでアプリソフトを視野に入れたASIC設計。
詳しくはこちら
GAIO CLUB 特集
ソフトウエアのテスト自動化を進めよう
GAIO CLUB【2003/11月号】テスト工程の自動化でソフトウエアの品質を保証する、シミュレータを応用してカバレッジ網羅率の向上を考える。
詳しくはこちら
GAIO CLUB 特集
ユニバーサルデザインを考えませんか?
GAIO CLUB【2003/11月号】紙の資料による机上の企画会議では分からない「使いやすさ」を実際のハードウエア操作デバイスと仮想プロトモデルで検討。
詳しくはこちら
« 前へ
1
…
6
7
8
9
次へ »
人気のコラム
C言語コーディングガイドラインについて、いくつかの理解し難いルールとそれに関わるお話をしたいと思います。
シミュレータによる製品開発のメリットについては多く語られていますが、目的に応じたシミュレータの選択や使い方について正しく理解していないと、思ったような成果を得ることができません。ここでは、xILSの構成と利用上の注意点について簡単に説明を行います。
単体テストとは…ソフトウェア開発において非常に重要な工程の一つであり、1つの機能やモジュールを単独でテストすることです。単体テストを行うことで、モジュール内で発生する問題を事前に検出でき、修正することができます。
最新のコラム
静的解析/コンパイラ技術
前回まで、具体的なソースプログラム例を確認したのは6つの脆弱性タイプでした。今回はそれ以外の脆弱性について、見てみます。CWEサイトにはどのような説明があるか、ごく簡単にまとめました。
静的解析/コンパイラ技術
今回も、CWE Top 25 の脆弱性に関するコーディング例を考えます。
静的解析/コンパイラ技術
引き続き、CWE Top 25 の脆弱性からコーディング例を考えます。
静的解析/コンパイラ技術
CWE Top 25 の脆弱性からコーディング例を考えてみます。
静的解析/コンパイラ技術
前回、CWEが提供するCERT CガイドラインのVIEWのお話をしましたが、Top 25に現れる脆弱性とCERT C他のコーディングガイドラインの対応付けをしてみます。
静的解析/コンパイラ技術
CWEでは、脆弱性の種別・分類の共通基準を提供しています。ということで、前回集めた過去5年間のTop 25について見てみます。
静的解析/コンパイラ技術
今回から、セキュリティに関するお話をしようと思います。と言っても、セキュリティの専門家ではないので、脆弱性とコーディングルール・静的解析に関わる話になります。
お問い合わせ・お見積りはこちら
03-4455-4767
[代表]9:00~17:30
(土・日・祝日・年末年始・夏季休暇を除く)