＜Salutemの主な機能＞ 　・既存Excel設計資産をそのまま受け継いだ一元設計が可能 　・既存設計データの関連性を簡単に追跡 　・Excelファイル(xlsx)書き出し機能 　・システムズエンジニアリングで利用されるメタモデルとの連携をサポート（※バージョンアップで対応） 　・システムモデルからの主機能情報連携（※バージョンアップで対応） 　　-主機能モデルから抽出した設計要素とSalutemでの分析を連携 　　-安全コンセプトSCDL図との連携

• 文書・データ管理

　■マイコン・コア・シュミレータで組込コードを対象に単体テスト実行、 　　組込み向けC/C+＋対応モジュール単体テストツール 　■機能安全、認証に要求されるターゲットコードでの単体テスト、 　　C0/C1/MCDカバレッジ計測に対応 　■評価対象ソースの書き換え、テストドライバ作成は一切不要、汎用的な 　　CSVファイルでテストデータ入力、テスト設定が可能 　■評価対象ソースコードの静的解析によりC1/MCDカバレッジテスト 　　データを自動生成

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

CasePlayer2 は、ANSI準拠C言語、組み込み向けC言語（非ANSI）、アセンブラのソースコードを解析して、フローチャートなどのプログラム仕様書を作成するツールです。「仕様書ブラウザ」を搭載し、ソースコードと各仕様書間の連携を自由に取ることができます。過去のソースコードのロジック解析や、新たに開発したプログラムソースの仕様書作成作業を強力に支援します。ソースコードの静的解析機能として、「外部変数」の参照/代入の一覧作成機能や、C言語コーディング規約「MISRA-C」のルールチェック機能を搭載しています。

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

【製品特徴】 　実機なしでソフトウェアのパフォーマンス測定が可能 　　・PC上のシミュレーションによりソフトウェアの動作パフォーマンスを単体テスト工程で検証 　　・関数単位の実行時間も計測可能 　レーテンシー情報を反映した、実行速度計測が可能 　　・レーテンシー情報を設定することで関数単位のおおよその実行時間が計測可能 　　・パフォーマンス計測結果をCSVファイルで自動出力することができます。 【PLAS-Qliteのご利用について】 　＜カバレッジマスターユーザーの場合＞ 　　・PLAS-Qliteの導入により、実行時間計測が可能となります。 　＜カバレッジマスター非ユーザーの場合＞ 　　・実行時間計測機能のある「カバレッジマスターwinAMS」の導入が必要となります。

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

「SharedVariableChecker2」は、プログラム解析/仕様書作成ツール CasePlayer2 との連携で使用するツールで、Cソースを静的解析し、タスク、関数からの同一グローバル変数へのアクセスを可視化。 変数の競合状態や関連性を図表化し、不具合リスク箇所の特定に寄与します。

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

【各種機能】 　・ハーネスモデル自動生成 　・カットサブシステム 　・テストデータ生成 　・テストデータファイル出力 　・モデルカバレッジレポート出力 　・カバレッジ測定未対応ブロックレポート出力

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

＜Safiliaの主な記述機能＞ 　・要求アーキテクチャ記述 　・エレメントアーキテクチャ記述 　・安全要求（SR）のエレメント（EL）への配置記述機能 　・デコンポジション記述 　・FFI（Freedom From Interference）記述 　・インタフェース仕様定義 　・安全分析機能 　　【新機能】故障関連モデル化 　　【新機能】SysML連携機能 　　【新機能】ガイドワード機能

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

　※本ツールは、（株）シーエーブイテクノロジーズとガイオ・テクノロジー（株） の共同開発製品です。 ＜Seculiaの基本機能＞ 　・FT図の記述/AT図の記述 　・FT図の中でAT図を記述することが可能 　・パッケージの導入によるモジュール化の支援 　・AT図のリスクアセスメント機能 　・EVITA流の分析を支援 　・AT図の表現拡張機能を追加

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

　・ECUを動作させながら、タイミング解析が可能 　・タスクの状態遷移をグラフィカルに表示 　・ユーザーがイベントを挿入し、計測トリガーを設定 　・既存インターフェース（CAN）の活用で、HW変更不要 　・マルチコア対応 　・疑似負荷処理を挿入し、システムのストレステストが可能

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

【サービスの特長】 　■当社の持つコンパイラ、プログラム、マイコンに対する知見をベースに 　　品質の高い検証サービスを提供致します。 　■お客様のご要求に合わせ単体テスト指針を設定し、機能安全認証に必要な 　　テストレポートを作成するノウハウを提供致します ＜テストパートナーSQV　納品までの流れ＞ 機密保持契約を基に、評価対象のソースコードをお送り頂き、行数、複雑度に応じたお見積もりをさせて頂きます。ご発注の後、弊社でテスト作業を行い、納品物として、単体テスト仕様書、単体テスト報告書、カバレッジマスター単体テスト再実行環境、テストデータ一式をお納め致します。

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

【特長】 ○みなさまの単体品質確保に向けての軌道作りをガイオがサポート ○単体品質確保のための標準化プロセス構築に必要なサービスとツールをパッケージ提供 ○運用ガイドライン作成、御社内への周知および定着活動をサポート ○単体テストツール、静的解析ツールなどの品質改善ツールを導入・定着支援を行います ●その他機能や詳細については、カタログをご覧下さい。

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

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

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