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

本サービスの狙いと価値 ■品質向上 ・SCDL（安全コンセプト記述言語）を採用しており、設計上の誤り検出（SCDL表記違反）が行えることで設計品質が向上します。 ・各要素間のトレーサビリティはツールが自動的に行うため、ミスがなくなります。 ■効率化 ・SCDL表記に沿った安全コンセプト図を容易に作成できることで効率化を図ります。 ・安全分析と安全コンセプト図の一致確認（ハイライト機能）や安全コンセプト図の変更確認（プロジェクト比較）をご利用いただくことで、 　レビューが効率化されます。 ・複数の安全コンセプト図を１つの安全コンセプト図にマージする機能をご利用いただくことで、開発効率を向上させます。 ■説明の容易性 ・安全分析と安全設計（安全コンセプト図）が連携して利用できることで、安全開発の説明をツールの機能を使って容易に行えます。 ■ツールチェーンの容易性 ・Safiliaは他ツールと連携する機能（XMLデータのインポート/エクスポート、Enterprise ArchitectのSysML:IBDとSCDLの互換）があり、 　主機能開発との連携を図ることが可能です。

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

■特徴1 ・モダン開発スタイルの機能安全対応をリーズナブルに実現するテストツール Google Testでは不足する要素をQTEが実現し、機能安全認証に必要な要件を満たすことができます。 ■特徴2 ・Google Test資産を先行開発から量産開発にシームレスに活用 QTEを導入することで、先行開発から量産開発への移行がシームレスになり、工数とコストを大幅に削減することが可能になります。 ■特徴3 ・機能安全規格を取得 第三者認証機関であるTÜV SÜDよりISO 26262（TCL1～TCL3）、IEC 61508 に対応したツール認証を取得しています。 ■特徴4 ・Cloud環境の利用が可能​ コンテナやK8Sの活用により、柔軟でスケーラブルな開発環境を提供します。 ■特徴5 ・OSSテストツール資産を効率的に機能安全基準へ Google test資産を効率的に機能安全基準へ対応させることができます。 ■特徴6 ・組込み未経験者でも車載品質のテストを容易に実施可能 経験を持たないエンジニアの車載品質のテスト実施を容易にします。

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

■特徴1　違反警告に関連する情報を1つのフレームワークで運用可能 違反警告の処置には、ソースコードやコーディングルールなど、複数の情報が必要です。 CARでは、これらの情報を1つのフレームワーク内で統合管理できます。 必要な情報に素早くアクセスでき、作業効率の大幅な改善を実現します。 ■特徴2　AIによる学習機能を搭載 CARに蓄積された静的解析ツールが出力した違反警告やソースコード、 過去の違反警告判定などをもとにAIが学習し、レビューや対応作業の効率を向上させます。

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

「カバレッジマスターwinAMS」は、機能安全規格ISO 26262 / IEC 61508に準拠し、 ステートメント、ブランチ、MC/DC、関数コールなどのコードカバレッジ計測可能な 組込みソフト向けC/C++ソフトウエア単体テストツールです。 マイコンシミュレータを内蔵し、コンパイルされたオブジェクトコードを実行して単体テストを行います。 一般の単体テストツールにありがちなCソースの論理レベルでの単体テストに留まらず、 組込み特有のマイコンへの実装に依存した問題点を含めた、 マイコンコードに最も忠実で信頼性の高い単体テストを実施します。（※C++ 11/14対応） 【特徴】 　■マイコンに最も忠実な 「実機コードベース」の単体テストを実行、効率化へと導く 　■C0、C1、MC/DCカバレッジに加え 結合フェーズの関数/コールカバレッジ計測をフルサポート 　■ホワイト/ブラックボックス観点からテストデータを効率的に生成 　■ツール内でカバレッジ網羅テストのデータ作成＆実行/確認をシームレスに実施 　■Back to Backテストを効率的に実施するためのオプションをご用意

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

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

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

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

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

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

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

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

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

安全コンセプト設計を支援し、設計者、開発者間の情報共有を円滑に進めるためのモデリングツールです。 「安全コンセプト記法研究会　SCN-SG 」が策定する、仕様・規格に基づいた、安全コンセプト記述言語 Safety Concept Description Language（SCDL）を採用しています。 ブロックダイアグラムによるエディタで安全コンセプトを記述し、共通の合意形成、共有を促進することができます。 【特徴】 Safiliaは、V字プロセスの設計フェーズにおいて、製品開発部門の設計者が安全コンセプトを設計する際の利用を想定しています。 統一された記法で部門内、組織内の安全コンセプトを伝達、共有します。安全コンセプトにもとづく設計、意図の伝達が不十分なまま、 試作モデルが完成した後の安全評価で安全設計の不備が分かった場合、仕様変更や設計そのものの変更など、大きな「手戻り」を発生してしまいます。 Safiliaにより、標準化された記法による安全設計の早期作り込みと評価を行うことで、手戻りの発生による大きなロスを未然に防ぐことができます。

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

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

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

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

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

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

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

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

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