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

N 新製品

MC-Verifier

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

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

Safilia

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

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