ガイオ・テクノロジーの製品・サービス一覧

現在の組込みソフトウェア開発において、Excelの表を使った分析/設計は大量の分析、取り回しに都合がよく、現在も多く使われ続けていますが、大量のExcelファイルの保存/管理が大変であったり、システム設計・ハードウェア設計・ソフトウェア設計の確認が広範囲に渡るため、機能変更による影響範囲の特定にも多くの工数がかかり、Excelに頼った設計は課題が多く、そろそろ限界に来ていると思われます。 このような背景における課題を解決するのが、弊社のExcel既存資産まとめ/設計効率改善ツールの「Salutem（サルテム）」です。

• 文書・データ管理

「カバレッジマスターwinAMS」は、カバレッジ計測をフルサポートする C/C++ 組込みソフト検証用のモジュール単体テスト自動化ツールです。 クロスコンパイラで生成した「実装マイコンコード」をそのまま使用し、マイコンシミュレータにより単体テスト実行を行います。 一般の単体テストツールにありがちなCソースの論理レベルでの単体テストに留まらず、組込み特有のマイコンへの実装に依存した問題点を含めた、マイコンコードに最も忠実で信頼性の高い単体テストを実施します。 【主な特長】 　■機能安全規格ISO 26262 / IEC 61508に準拠 　■単体テスト作業を効率化する支援機能が充実 　■C++コードの単体テストに対応（オプション） 　■C/1MCDカバレッジテスト入力データ自動作成機能 　■C0/C1/MCDカバレッジ自動測定測定（オプション）

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

CasePlayer2は、組込みソフト向けの手軽なリバースCASEツールです。他のツールにありがちな、ソースの記述方法に制限がある、解析時のワーニング・エラーにより直ぐに機能が使えない、等の使い勝手の悪さは全くなく、解析したいソースコードを単に登録するだけで、必要なプログラム解析書類を即座に作ることができます。

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

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

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

Cソースコードを静的解析し、外部変数の競合状態を図表で生成、可視化し、レビューの効率化/品質向上に貢献します。 　・関数ポインタ/ポインタ変数に対応 　・マルチコアのコア間の変数干渉に対応 　・割り込み禁止/許可関数を指定して排他制御を解析 　・共有変数のレビューシートを自動生成

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

「PROMPT」は、MATLAB/Simulinkのサブセットとして、大規模・複雑化するモデルに対するモデルカバレッジの網羅性の高いテストベクタを短時間で自動生成するツールです。 MATLAB/Simulinkを用いたモデルベース開発(MBD)において課題となる「大規模・複雑化するモデルに対してのテストデータ生成」を解決し、結果として車載システム等に搭載されるECU用ソフトウェアの開発に対する「高安全・高信頼」に寄与することが可能です。 　※JAIST(北陸先端科学技術大学院大学)との共同研究開発製品

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

安全コンセプト設計を支援し、設計者、開発者間の情報共有を円滑に進めるためのモデリングツールです。 「安全コンセプト記法研究会（SCN-SG）」が策定する、仕様・規格に基づいた、安全コンセプト記述言語 Safety Concept Description Language（SCDL）を採用しています。 ブロックダイアグラムによるエディタで安全コンセプトを記述し、安全コンセプトについての共通の合意形成、共有を促進することができます。

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

脅威分析手法として広く 使われているアタックツリーを中心とした脅威分析手法を採用したセキュリティ分析ツールです。 ISO 26262の Part 3（安全コンセプト）、Part 4（システムレベル開発）、 Part 5（ハードウェア開発）、Part 6 （ソフトウェア開発）と同等のセキュア開発プロセスにおいて利用可能で、セキュリティ分析だけではなく、 安全分析とセキュリティ分析との相互影響にもフォーカスした分析を可能にします。

• 開発支援ツール（ICE・エミュレータ・デバッガ等）
• その他セキュリティ

T1は、欧州で多数の導入実績を持つ、実ECUを使った動作タイミング解析ツールです。 ソフトウェア制御のクリティカルなタイミングの動的検証が容易に可能で、実機に搭載したソフトウェアの問題をいち早く発見する事ができます。 　※T1は GLIWA GmbH が企画・開発、ガイオ・テクノロジー（株）が販売を行っています。

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

「S=Speed Q=Quality V=Value」をコンセプトにした、組込みソフトの単体テストを中心としたテストサービスです。 単体テストによりモジュールの品質確認を行いたいが、単体テスト作業に十分なリソースが割けない、テスト設計、カバレッジ検証に関してノウハウがないといったお困りのお客様に対し、言語解析&テストツールメーカーとしての知見をベースに 品質の高い検証サービスを提供します。 自動車機能安全ISO 26262が要求するテスト水準のエビデンス、テストレポートの作成にも対応します。 お客様からの要求に従い、短納期のテストに対応するための柔軟&迅速なグローバルリソース調達体制を持っており、テスト結果を納品するだけではなく、テストパートナーとして、お客様のテスト設計/コード設計の改善アドバイスを実施することも可能です。

• 組込みシステム設計受託サービス

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

• 開発支援ツール（ICE・エミュレータ・デバッガ等）

モデルベース開発の基盤となるモデル作成をガイオがサポート！ 自動車ソフト開発、機械制御システム開発においては、品質改善・開発効率化を目的として、MATLAB/Simulinkを使用した「モデルベース開発」が盛んに行われるようになりました。しかしながら、このモデルベース開発を進めるためには、従来のレガシーコードをSimulinkモデルとして資産化する必要があります。ガイオでは、このモデル整備作業を、モデルベース開発のサービスとして行っています。

• 組込みシステム設計受託サービス