Electronics Information Service

組込みシステム技術者向け
オンライン・マガジン

MENU

ガイオ・テクノロジー、MC-Verifier、Safilia、カバレッジマスターをデモ展示

2015.11.16  11:29 am

ET2015/IoT Technology2015のガイオ・テクノロジー出展ブースを紹介

ガイオ・テクノロジー(ブース:C-29)は、モデルベース開発 Back-to-Backテスト統合ツール「MC-Verifier」、ISO26262版 SCDL安全対応コンセプト設計ツール「Safilia」、組込み向けC/C++ モジュール単体テスト自動化ツール「カバレッジマスター」をデモ展示する。

「MC-Verifier」ではモデル、ソフトウエア、ターゲットコード間の動作一致性を確認できるデモ、「Safilia」では安全コンセプトのアイテム定義からデコンポジションまでの一連の設計内容をデモ、「カバレッジマスター」ではISO26262/IEC61508ツール認証取得バージョンのデモを実施する。

ET/IoT Technology 公式サイト
http://www.jasa.or.jp/expo/

配信広告
配信広告