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

MC-Verifier

●ISO26262に準拠したBack-to-Back (B2B)テストのための統合されたツール
●モデル/モデル, モデル/ソフトウエア, モデル/ターゲットコード のB2Bテスト実行
●Simulink上でB2Bテストエラー発生箇所（サブシステム）を検出
●フィードバックを含むモデルでの時間経過とB2BテストエラーをSimulink上でトレース
●コード実行時にコードカバレッジ（Statement, Branch, MC/DC）の計測が可能

http://www.gaio.co.jp/product/dev_tools/pdt_mcv.html

Safilia

●ISO26262に対応する安全コンセプト設計を支援するツール
●安全コンセプト記述言語 Safety Concept Description Languageを採用
●統一された記法で部門内、組織内の安全コンセプトを伝達、共有
●ブロックダイアグラムによるエディタで 安全コンセプトを記述

http://www.gaio.co.jp/product/dev_tools/pdt_safilia.html

モデルベース開発 Back-to-Backテスト統合ツールの紹介

モデルベース自動車ソフト開発向けモデル/コードのBack-to-Backテストツールの新製品「MC-Verifier」を紹介します。標準機能のPILシミュレーション、コードカバレッジ計測、Simulink上での誤差要因特定機能など、MATLABに統合化されたテスト機能をご覧頂けます。

ISO26262版　SCDL対応安全コンセプト設計ツールの紹介

安全コンセプト設計を支援し、設計者、開発者間の情報共有を円滑に進めるためのモデリングツールの新製品「Safilia」をご紹介致します。安全コンセプトについての共通の合意形成、共有を促進するための、ブロックダイアグラムベースの設計機能をご覧頂けます。