
Reactis V2020 ReleasedThe Reactis team has been hard at work (mostly from home offices) over the past months preparing Reactis V2020, now available for download. The biggest new feature is support for the MATLAB® action language in Stateflow® charts. V2020 also includes a simple but powerful extension to expressionbased Validator objectives: a pre function to access the value of a variable in the previous simulation step. The MATLAB Action Language in StateflowStateflow supports two alternative notations for the labels on transition segments and the definition of actions within states; namely, the original C action language and the more recently introduced MATLAB action language. A chartlevel setting toggles between the C and MATLAB action languages. Reactis V2020 supports charts configured to use the MATLAB action language. New Simulink SupportAdditional newly supported Simulink features include the following:
Access Previous Variable Values in Validator ExpressionBased ObjectivesReactis Validator lets you check if a model satisfies its requirements. You check requirements by formulating two types of Validator objectives:
Reactis supports two mechanisms for capturing Validator objectives:
V2020 extends the expressionbased notation to include a pre function to query the value of a variable in the previous simulation step. For example, pre(x) will return the value of x at the end of the previous simulation step. The following assertion checks that x never changes by more than 0.5 in a simulation step: Since the property cannot be calculated at simulation time zero, we return true (1) in the then branch when time (t) is zero. The pre function accepts an optional second argument which is a positive integer indicating how many simulation steps back you wish to query. For example, pre(x,2) returns the value of x two simulation steps ago. The first argument to pre need not be a single variable, it can be any expression. For example, the following checks that the sum of x and y in the previous step is less than one: Reactis for EML PluginThe supported subset of Embedded MATLAB has been extended to include:
Reactis for C PluginSupport was added for macros which access structure members from within a Stateflow action. Other EnhancementsThe test suite export dialog now preserves settings from the previous export. Stay safe! Reactis is a registered trademark of Reactive
Systems, Inc. Simulink, Stateflow, and MATLAB are registered trademarks of The MathWorks, Inc.
Best Regards,
