ET 2018 & IoT Technology 2018
Exhibitor
Exhibitor information

Reactive Systems.,Inc

Booth No.
C-23

[Test and verification services]

Exhibit Highlights

RSI: Reactis
Reactis plays a number of important roles
in a model-based design process. It gives you a set of
tools to test, verify, and truly understand your model's
behavior and can help you check whether the source code
that will ultimately be deployed conforms to the behavior
of your model.

Reactis for C
Reactis for C generates comprehensive yet compact tests
from C code, detects runtime errors, and tracks coverage
(Statement, Decision, Condition, MC/DC, MCC).


Ensoft: SimDIff
SimDiff has become the leading diff and merge tool
for Simulink models since its first release in 2005.

Modelify
Modelify is a new technology from EnSoft to convert
large C-language embedded source codes into Simulink
models.

Applicable field

  • Automotive
  • Consumer electronics / AV / Amusement
  • New communication / Mobile / Network
  • FA
  • Smart Energy
  • Social Infrastructure
  • Medical / Nursing care
  • Logistics
  • Agriculture / Fisheries / Mining
  • Aerospace
  • Finance (bank / securities / insurance)

Contact

Address
3-1-76-502, Noritakeshinmachi, Nishi-ku,Nagoya, Aichi 451-0051 Japan
TEL
81-52-618-6083
FAX
URL
http://www.reactive-systems.com/
Email
info.japan@reactive-systems.com

TOP