ガイオ・テクノロジー株式会社 ロゴ

ガイオ・テクノロジー株式会社

      • Salutem 製品画像

        Salutem

        Excel既存資産をまとめ/設計効率を改善するツール

        現在の組込みソフトウェア開発において、Excelの表を使った分析/設計は大量の分析、取り回しに都合がよく、現在も多く使われ続けていますが、大量のExcelファイルの保存/管理が大変であったり、システム…

      • 組込みソフト単体テスト「カバレッジマスターwinAMS」 製品画像

        組込みソフト単体テスト「カバレッジマスターwinAMS」

        組込みソフト単体テスト、カバレッジ計測ツールのデファクトスタンダード

        「カバレッジマスターwinAMS」は、カバレッジ計測をフルサポートする C/C++ 組込みソフト検証用のモジュール単体テスト自動化ツールです。 クロスコンパイラで生成した「実装マイコンコード」…

      • 「CasePlayer2」 製品画像

        「CasePlayer2」

        プログラムの可視化、ドキュメント化をオートメーション コードレビューの強い "ミカタ"

        CasePlayer2は、組込みソフト向けの手軽なリバースCASEツールです。他のツールにありがちな、ソースの記述方法に制限がある、解析時のワーニング・エラーにより直ぐに機能が使えない、等の使い勝手の…

      • 「PLAS-Qlite」 製品画像

        「PLAS-Qlite」

        「パフォーマンス検証」における手戻り工数削減を実現!

        実行時間計測機能のある「カバレッジマスターwinAMS」と連携して、関数単体テスト工程段階で、派生開発や機能追加による、ソフトウェア規模増加に起因したマイコン制御時間の許容オ―バーを確認することができ…

      • 「SharedVariableChecker2」 製品画像

        「SharedVariableChecker2」

        競合を見逃すな! 変数アクセスをビジュアライズ

        Cソースコードを静的解析し、外部変数の競合状態を図表で生成、可視化し、レビューの効率化/品質向上に貢献します。  ・関数ポインタ/ポインタ変数に対応  ・マルチコアのコア間の変数干渉に対応 …

      • 「PROMPT」 製品画像

        「PROMPT」

        モデルカバレッジ率の高いテストデータを短時間で自動生成

        「PROMPT」は、MATLAB/Simulinkのサブセットとして、大規模・複雑化するモデルに対するモデルカバレッジの網羅性の高いテストベクタを短時間で自動生成するツールです。 MATLAB/Si…

      • 「Safilia R5」 製品画像

        「Safilia R5」

        ISO 26262版 SCDL対応安全コンセプト設計ツール

        安全コンセプト設計を支援し、設計者、開発者間の情報共有を円滑に進めるためのモデリングツールです。 「安全コンセプト記法研究会(SCN-SG)」が策定する、仕様・規格に基づいた、安全コンセプト記述言語…

      • 「Seculia」 製品画像

        「Seculia」

        ISO 26262対応 セキュリティ脅威分析支援ツール

        脅威分析手法として広く 使われているアタックツリーを中心とした脅威分析手法を採用したセキュリティ分析ツールです。 ISO 26262の Part 3(安全コンセプト)、Part 4(システムレベル開…

      • 「Timing-Suite T1」 製品画像

        「Timing-Suite T1」

        実機で「見える」タイミング解析

        T1は、欧州で多数の導入実績を持つ、実ECUを使った動作タイミング解析ツールです。 ソフトウェア制御のクリティカルなタイミングの動的検証が容易に可能で、実機に搭載したソフトウェアの問題をいち早く発見…

      • 「テストパートナーSQV」 製品画像

        「テストパートナーSQV」

        速さ・品質・価値を約束します 'たより' になるテストパートナー

        「S=Speed Q=Quality V=Value」をコンセプトにした、組込みソフトの単体テストを中心としたテストサービスです。 単体テストによりモジュールの品質確認を行いたいが、単体テスト作…

      • ソフト品質改善ソリューション ユニットテスト・オンザトラック 製品画像

        ソフト品質改善ソリューション ユニットテスト・オンザトラック

        ソフト品質改善ソリューション ユニットテスト・オンザトラック

        ユニットテスト・オンザトラック は、組込みソフト単体品質確保のために必要なコンサルティング、技術サポートと、必要な単体テストツールをパッケージとして提供する、組込みソフト品質改善ソリューションです

      • モデルベース開発 リバースモデリング代行サービス 製品画像

        モデルベース開発 リバースモデリング代行サービス

        モデルベース開発 リバースモデリング代行サービス

        モデルベース開発の基盤となるモデル作成をガイオがサポート! 自動車ソフト開発、機械制御システム開発においては、品質改善・開発効率化を目的として、MATLAB/Simulinkを使用した「モデルベ…

      1〜12 件 / 全 12 件
      表示件数
      45件
      • < 前へ
      • 1
      • 次へ >

      ガイオ・テクノロジーへのお問い合わせ

      お問い合わせ内容をご記入ください。

      至急度必須
      添付資料
      お問い合わせ内容 必須

      あと文字入力できます。

      【ご利用上の注意】
      お問い合わせフォームを利用した広告宣伝等の行為は利用規約により禁止しております。

      はじめてイプロスをご利用の方 はじめてイプロスをご利用の方 すでに会員の方はこちら

      イプロス会員(無料)になると、情報掲載の企業に直接お問い合わせすることができます。

      ※お問い合わせをすると、以下の出展者へ会員情報(会社名、部署名、所在地、氏名、TEL、FAX、メールアドレス)が通知されること、また以下の出展者からの電子メール広告を受信することに同意したこととなります。

      ガイオ・テクノロジー株式会社