[Test and verification services]
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).
SimDiff has become the leading diff and merge tool
for Simulink models since its first release in 2005.
Modelify is a new technology from EnSoft to convert
large C-language embedded source codes into Simulink
- Consumer electronics / AV / Amusement
- New communication / Mobile / Network
- Smart Energy
- Social Infrastructure
- Medical / Nursing care
- Agriculture / Fisheries / Mining
- Finance (bank / securities / insurance)
- 3-1-76-502, Noritakeshinmachi, Nishi-ku,Nagoya, Aichi 451-0051 Japan