Appendix B  Revision History

Different versions of Reactis are labeled as shown in Figure B.1 and described below.

---

Figure B.1: Version labels begin with a “V” and include three parts: a year, a major release number, and a patch release number. The parts are numbers separated by decimal points. By convention, trailing zeros are omitted.

---

Major Releases.

A new version of Reactis is released at the start of each year and labeled by a “V” followed by the four-digit year, for example V2010. Each label for an intra-year release includes a suffix consisting of a decimal point followed by a major release number; for example V2010.1, V2010.2, etc. will label the releases during 2010 that follow V2010.

Beta Releases.

RSI often makes beta releases available to customers interested in evaluating the newest features of Reactis. Beta releases do not undergo as much testing as major releases do. By convention, beta releases have odd numbered major release numbers. For example, V2010.1, V2010.3, ... denote beta releases.

Patch Releases.

Both stable and beta releases may be “patched.” The label for a patch release is constructed by extending the label for the major release to be patched with a suffix that includes a second decimal point and a patch release number. Some examples clarify the scheme:

V2010.1.2	denotes	the second patch release for V2010.1
V2010.0.1	denotes	the first patch release for V2010

B.1  Patches Mailing List Archive

Patches to Reactis are posted to the Reactive Systems website every two to four weeks on average. To view a summary recent changes, please view the archives of the Reactis Patches mailing list available at:

B.2  V2011.2 (20 December 2011)

The V2011.2 release of Reactis includes all bug fixes in releases V2011.0.1 through V2010.0.3. In addition to bug fixes, the following features have been added since the V2011 release:

B.2.1  Newly supported Simulink features

1. Initial support for MATLAB R2011b models. This means Reactis will work with models created and edited with this version; however, not all new features introduced in R2011b are supported. New features will be supported as demand increases. If you would like to see support for a new feature, please send a request to help@reactive-systems.com. We cannot guarantee all requests will be implemented but we use feedback to prioritize the development schedule.
2. Support Variant Subsystem block.
3. Support Model Variant block.
4. Support combining actions in state labels.

B.2.2  New features for coverage tracking

1. Allow disabling coverage tracking for subsystems. Right-clicking on an entry in the hierarchy panel in Reactis now offers an option to disable coverage tracking for the subsystem and all its descendants.
2. Allow disabling of coverage metrics. The new Edit -> Coverage menu allows users to disable specific coverage metrics that they do not wish to use in a model.
3. A new coverage metric for Stateflow called Child State Exit via Parent Transition (CSEPT) measures whether a child state in Stateflow has been exited via all transitions originating at its parent state.

B.2.3  New features in Reactis Simulator

1. HTML report documenting simulation run. A new menu item Simulate -> Fast Run With Report will run the currently loaded test suite and generate an HTML report detailing any errors encountered during simulation as well as differences seen between the output values stored in the test suite and those computed by the model.
2. Simulation run can now be paused within a step. Previously, clicking the Pause button during a regular (not fast) simulation run would finish the current simulation step before pausing. This could take a significant amount of time when simulating large models and/or C code. Reactis V2011.2 pauses immediately at the current mini-step.
3. Allow control over significant number of digits displayed in watched variables window. Right-clicking on a variable in the watched variables window now includes an option to set the number of significant digits displayed for that variable.
4. Back up directly from within a mini-step. The Back button is now available while in a mini-step. Clicking it returns the simulation to the beginning of the currently executing step.
5. Reverse execution of C code. When working with C code in the Reactis for C Plugin, buttons are now available for statement-by-statement reverse-execution of the code:
   • Reverse step into: back up to the previous code line, going back into a function call if control had just returned from that call.
   • Reverse step over: back up to the previous code line, skipping over a function call if control had just returned from that call.
   • Reverse step out of: back up to the code line immediately preceding the call to the currently executing function.

B.2.4  New features in the Reactis Test-Suite Browser

1. Hide inports and outports when browsing a test suite. Right-clicking on a row now shows a menu item to hide the row. It is also possible to select and hide multiple rows. Rows can be un-hidden using an entry in the new Filter menu.
2. Filter the steps (columns) shown in the browser using a Boolean expression referring to data items within the test suite. For example, to see each step where the cruise control is active enter a filter expression "active == 1". A filter can be defined either by selecting Filter -> Edit Column Filter... or by directly entering an expression in the filter expression box at the right side of the Test Suite Browser toolbar.

B.2.5  Other Improvements

1. Allow setting inport constraints for models via the Reactis API. A number of new API functions allow accessing and modifying .rsi files. For more information see documentation for the rsRsi* functions in file reactis.h (within the lib/api folder in the Reactis directory).
2. When extracting a subsystem, it is now possible to force the inport/outport data types of the extracted system to match the types of the system within the context of the model from which it was extracted.
3. The implication operator a => b (a implies b), can now be used within Validator expression objectives.
4. Added a Load and Close button in Tester results dialog. This button combines the actions of the Load and Close buttons, i.e. it loads the newly-generated test suite in Reactis Simulator and closes the Tester results dialog.
5. A new option in the Test Suite -> Export dialog allows the export of enumerated values as their enumerated names instead of integer values.
6. The Reactis installer is now a Unicode application.
7. The "License" tab of the Reactis Settings dialog now shows more detailed information about licenses present in the local license file.

B.3  Previous Major Release Dates

V2011 (22 June 2011)

V2010.2 (19 November 2010)

V2010 (8 February 2010)

V2009.2 (22 July 2009)

V2009 (16 January 2009)

V2008 (10 June 2008)

V2007 (31 October 2007)

V2006.2 (6 November 2006)

V2006 (25 January 2006)

V2005 (18 May 2005)

V2004.2 (17 December 2004)

V2004 (3 March 2004)

V2003.2 (16 October 2003)

V2003 (4 February 2003)

V2002 (3 June 2002)