The Reactis Communicator
||Reactive Systems, Inc.
||November 12, 2002
This is the fourth installment of "The Reactis Communicator", a low
volume mailing list for conveying information about Reactis, RSI's
embedded software design automation tool suite. Reactis enables users
to deploy model-based software testing to dramatically reduce the
costs of testing embedded control software. The tools are designed for
use in conjunction with the Simulink and Stateflow modeling
and simulation environments offered by The MathWorks, Inc.
If you are no longer interested in receiving information about
Reactis, please see the instructions below for removing yourself from
the list and we apologize for the intrusion.
We are pleased to announce the availability of Version 2003b1 of
Reactis, the first beta release of the upcoming V2003 release.
Numerous enhancements including an improved user interface, several
new features, support for new Simulink blocks, performance
improvements, and bug fixes have been made since the V2002.1 release.
Thanks to all Reactis users who have provided valuable feedback that
has been incorporated into the new version. The changes are
Reactis V2003b1 is available immediately and runs on the Microsoft
Windows and Linux platforms. Reactis is priced at US $5000
per year per concurrent license. Free 30-day evaluation licenses are
New features since V2002.1 include the following.
Models load much more quickly.
- The user interface has been reorganized and improved in several ways
The Simulator window is now the top-level window.
- All other components of Reactis, such as Tester, can
now be invoked from Simulator.
- Multiple Simulator windows may now be opened concurrently.
- Some dialogs have been eliminated to avoid excessive overlay of windows
- The Info File editor has been improved.
A GUI is now available for construct type specifications.
- A Copy-and-Paste capability was added.
- The ``transition action'' coverage measure has been modified.
The metric no longer tracks transition segments with no transition
- Improved coverage tracking reporting is now available.
In Simulator, when hovering over an already covered target
(e.g. transition, state, branch), the test and step in which the target was
covered is now displayed.
- In Simulator, the menu item
Coverage -> Show List now
produces a list of all covered targets together with the test and step
number in which they were covered. Clicking on the column headers will
resort the list. Double-clicking on a row will highlight the associated
target in the Simulator window.
- Users may now print models (or portions thereof) from Simulator.
Coverage information displayed at the time of printing will also be
highlighted in the printout.
- In the Test-Suite Browser the distribution of values that ports
assume during a test or set of tests may now be displayed graphically.
- In scopes, values may now be plotted as points as well as line graphs.
- Table heights in the Info File Editor and the Test-Suite Browser
may now be manually adjusted.
- Keyboard shortcuts for many menu items have been added.
Support has been added for the following new Simulink blocks and features
C and C++ S-Functions (preliminary)
- Duplicate values at ends of 1d lookup tables
- ``Model post-Load Function'' and ``Model initialization function''
- Demux blocks where number of output ports is smaller than size of input vector
- Simulink block type ``Assign''
- Simulink block type ``Hit Crossing''
- Simulink block type ``Direct Look-Up Table''
- Simulink block type ``Look-Up Table (n-D)''
- Simulink block type ``PreLook-Up Index Search''
- Simulink block type ``Interpolation (n-D) using PreLook-Up''
The following bugs have been fixed:
Fixed ``encountered invalid type in FcnXXXTuple'' bug.
^ operator in ``Fcn'' blocks.
- Fixed ``too many type variables'' bug.
- Fixed ``incomplete string'' error that occurred for some models.
- Fixed several parse errors when parsing MDL files.
- Fixed ``unable to resolve type...'' error caused by certain feedback
loops involving function-call subsystems.
- Fixed "vector size too small for index..." error that occurred for some rare
types of feedback loops involving multiplexers and demultiplexers.
- Fixed bug in Discrete-Time-Integrator that produced "NaN" output on the step
following an input of "inf" (now outputs inf).
- Properly handle values of checkboxes and popup boxes in Mask Dialogs.
- Workspace variables initialized by Simulink mask parameters now visible in
- In Simulator, hovering over a wire that leaves a demultiplexer/bus selector
produces correct value
The Reactis Team
Reactis is a trademark of Reactive Systems, Inc. Simulink and
Stateflow are registered trademarks of The MathWorks, Inc. Microsoft
Windows is a trademark of Microsoft Corporation. Linux is a registered
trademark of Linus Torvalds.