3 Advanced Model Validation
The model-validation capabilities of Reactis help engineers detect
bugs earlier, when they are less costly to fix.
A primary benefit of model-based design is that it allows the detection and
correction of system-design defects at design (i.e. modeling) time, when they
are much less expensive and time consuming to correct, rather than at system-implementation
and testing time. Moreover, with proper tool support, the
probability of detecting defects at the model level can be significantly
increased. In this section, we elaborate on the advanced model-validation
capabilities of Reactis that help engineers build better models.
|
