出展品目カテゴリー

テスト・検証サービス

出展のみどころ

MBDプロセスの効率向上を目的とした、導入実績の多いサードパーティ
製品を取り扱っております。

1）Reactis　（リアクティス）
　Simulink・Stateflow・Target linkのモデルから
　検証用データの自動生成、カバレッジ率の計測レポートの自動生成機能
をもつ。
２）Reactis　for　C　Plugin
　Reactisのアドオン機能、このPlunigを追加する事で、
　S-functionやStateflowに組み込んだCプログラムのカバレッジ計測が可能。
３）Reactis　for　C
　ReactisのCコード版。Reactisとの連携により双方向のB2Bを実現
４）SimDiff　（シムディフ）
SIMULINKやTargetLinkのモデルファイルの差分解析。
５）Modelify　（モデリファイ）
　C コードからモデルを自動生成。

対応応用分野

• オートモティブ
• 家電/AV/アミューズメント
• FA
• 新通信/モバイル/ネットワーク
• スマートエネルギー
• 社会インフラ
• 医療/介護
• ロジスティックス
• 農林/水産/鉱業
• 航空/宇宙
• 金融（銀⾏/証券/保険など）

連絡先情報

下記情報は来場者から出展者への事前アポイント・問合せを目的に公開しています。
それ以外の目的（セールス等）で無断に使用・転載する事を固く禁じます。

リアクティブシステムズ インコーポレイテッド ジャパンブランチ 451-0051 愛知県名古屋市西区則武新町3-1-76-502

TEL : 052-618-6083 E-mail : info.japan@reactive-systems.com URL : https://www.reactive-systems.com/