Index

.m file, 5.2, 7.6.2, 12.2, 12.2, 12.2.1, 12.2.2, 12.2.3
.mat file, 7.6.2, 12.2.1
.mdl file, 3.3, 5, 5.3, 12.2.2
.rsi file, 3.2, 3.3, 5, 5, 5.1.2, 7.3
.rsm file, 16.1
.rsp file, 7.2, 7.4
.rst file, 7.1, 7.2, 7.6.1, 8.1, 8.1, 9.4.1, 9.4.1
.rtp file, 4.2, 4.7.1, 8.1, 9.4.1
Source-of-Inputs dialog, 3.4
MATLAB
- configuration, 4.7.3
- invocation by Reactis, 4.7.3
- path, 4.7.3
Reactis Info File, 3.3, 5
Reactis profile, 7.2, 7.4
.rsp file, 7.4
.rst file, 3.4.3, 7.3.2
Simulator, 3.4, 7
- disable, 4
- enable, 4
Simulink, 14.2
Stateflow, 14.3
Validator objective, 9
analyze subsystem, 4.1, 4.5
assertions, 5
branch coverage, 6.1.2
breakpoint, 3.4.7, 7.1
c code, 4.2
callbacks, 4.2
colors in diagrams, 7.8
conditional input branch execution, 4.7.1, 15.1
configuration variables, 3.2, 4.2, 4.4, 5.1.2, 7.2, 14.2.1
- in S-Functions, 14.2.1
counter, 9
counters, 13.3
coverage, 3.4.2, 6
- color, 7.8
coverage criteria, 6
- branch coverage, 6.1.2
- condition, 6.3.1
- condition action coverage, 6.2
- conditional subsystems, 6.1.1
- decision, 6.3.1
- lookup table, 6.1.3
- MC/DC, 6.3.1
- state coverage, 6.2
- transition action coverage, 6.2
coverage objectives, 6
data item
- displaying value, 7.1
- tracking values, 3.4.4
debugging models, 7
delta types, 5.1.1
diagram objective, 9
difference scope, 7.3.2
disable Simulator, 4
distribution scope, 7.2, 7.4, 11.1
drawing
- styles, 7.8
enable Simulator, 4
executing test suites in Simulink, 12.2
export, 12.2
exporting
- .mat file, 7.6.2, 7.6.2
- .m file, 7.6.2
- CSV, 7.6.2
- comma separated values, 7.6.2
- plain text, 7.6.2
exporting to MATLAB , 12.2
expression objective, 9
extracting subsystems, 4.1, 4.5
FAQ, A
Frequently Asked Questions, A
fast simulation, 3.4.3
feedback
- report to RSI, 1
file dependencies, 4.2
file format
- m, 5.2, 7.6.2, 12.2, 12.2.1, 12.2.2, 12.2.3
- mat, 7.6.2, 12.2.1
- mdl, 3.3, 5, 5.3, 12.2.2
- mwi, 4.7.1
- rsi, 3.2, 3.3, 5, 5, 5.1.2, 7.3
- rsm, 16.1
- rsp, 7.2, 7.4
- rst, 7.1, 7.2, 7.6.1, 8.1, 8.1, 9.4.1, 9.4.1
- rtp, 4.2, 4.7.1, 8.1, 9.4.1
help facility, 4.2, 5.3
history, B
Inf, 4.7.1
importing
- CSV, 7.6.3
- comma separated values, 7.6.3
inport types, 5.1.1
inport values, 3.4
- constraining, 4.2, 5.1.1
- from test, 3.4.3, 7.1, 7.3.2
- from user, 3.4.5, 7.3.1
- probabilities, 5.1.1
inports source
- pull-down menu, 7.1
input mode
- user, 3.4.5, 7.3.1
install
- silent, 2.4
installation, 2
interpolateoff, 12.2
interpolation, 12.2
interruptible timers, 13.3
License Manager
- running as service, 18.1
LUC, 16.3
lines
- color, 7.8
lookup table coverage, 6.1.3

MAC address, 4.7.7
MC/DC, 3.4.2, 6.3.1, 7.5.2
- Multi-Block, 6.3.1
Multi-Block MC/DC, 6.3.1
m file, 5.2, 7.6.2, 12.2, 12.2.1, 12.2.2, 12.2.3
mat file, 7.6.2, 12.2.1
mdl file, 3.3, 5, 5.3, 12.2.2
model
- simulating, 3.4, 7
model decomposition, 13.5
model hierarchy, 7.1
model preparation, 3.1
NaN, 4.7.1
objective
- diagram, 9
- expression, 9
- timer, 9
outputs
- comparing simulation vs. test, 7.2
- updating to reflect model changes, 7.2, 7.7
overflow, 4.7.1
path, 4.7.3, 4.7.4
- MATLAB , 4.7.3, 4.7.4
- Reactis, 4.7.4
- global, 4.7.4
port types, 5.1.1
printing models, 4.6
probabilities of input values, 5.1.1
profile, 7.2, 7.4
Reactis
- installing, 2
resolution, 3.3
resolution types, 5.1.1
revision history, B
rsi file, 3.2, 3.3, 5, 5, 5.1.2, 7.3
rsm file, 16.1
rsp file, 7.2, 7.4
rst file, 7.1, 7.2, 7.6.1, 8.1, 8.1, 9.4.1, 9.4.1
rtp file, 4.2, 4.7.1, 8.1, 9.4.1
running test suites in Simulink, 12.2
runtime errors, 4.7.1, 4.7.1
S-function, 1, 5.1.7, 6, 12.3, 14.2.1, 15.1, 16.3, 17.7.14, 17.7.32
scope, 3.4.4, 7.4
- difference, 7.4
- distribution, 7.4
scopes
- saving currently opened, 7.2, 7.4
search path, 4.2
settings, 4.2, 4.7
- cache files, 4.7.1
- loop detection timeout, 4.7.1
- relative tolerance, 4.7.1
silent install, 2.4
simulation, 3.4, 7
- fast, 3.4.3
- user guided, 3.4.5, 7.3.1
simulation probabilities, 5.1.1
subsystem analysis, 4.1, 4.5
support
- report to RSI, 1
Tester
- invoking, 4.2
TUC, 5.4
technical support
- report to RSI, 1
test
- executing, 7.1
test suite
- adding a test, 3.4.7
test points, 4.1, 4.2, 5.1.3
- updating to reflect model changes, 7.2, 7.7
test suite
- adding a test, 7.2
- browsing, 4.2
- executing in Simulator, 3.4.3, 7.1, 7.3.2, 12.1
- executing in Simulink, 12.2
- executing on source code, 12.3
- exporting, 7.6.2
- importing, 7.6.3
timer, 9
timer objective, 9
timer targets, 13.3
timers, 13.3
type under construction, 5.4
types
- in .rsi files, 5.1.1
UDT, 9
UDTs, 5
uncovered
- color, 7.8
unit testing, 4.1
unit testing, 4.5
unreachable
- color, 7.8
update outputs, 7.2, 7.7
update test points, 7.2, 7.7
update test suite to reflect model changes, 7.7
user input mode, 3.4.5, 7.3.1
user-defined targets, 5, 9
Validator Objectives, 5
validator objectives, 4.2
variable
- displaying value during simulation, 3.4.4, 7.1
- distribution, 7.4
- watched, 3.4.4, 7.2, 7.4
version, 4.2, 5.3, 10.2, 11.2, B
- labeling, B
view profile, 7.2, 7.2, 7.4
virtual sources, 3.4.6, 9, 9.1.3
watch list
- saving, 7.2, 7.4
watched variable, 7.2
watched variables
- saving current watch list, 7.2, 7.4
workspace data, 14.1.1

Model-Based Testing and Validation with Reactis®