Cary, NC (June 3, 2025) -- We are pleased to announce the V2025 release of Reactis® for Simulink®. V2023 added a mechanism for tracking run-time error assertions in Simulink to identify and flag potential run-time errors in your model. V2025 extends this feature to track run-time errors in the Stateflow portions of a model as well. Additionally, you can now right-click on a Simulink block in Reactis and select Open in Simulink in order to start Simulink, load the model in Simulink, navigate to the subsystem containing the block, and finally highlight the block. The mechanism for linking a Validator objective to a natural language requirement has been generalized to support the many different ways of managing requirements.
For more information on these features as well as other enhancements, see the Reactis V2025 release announcement.
About Reactive Systems. Reactive Systems, founded in 1999, is a
software testing and validation company with offices in Cary, NC and
Nagoya, Japan. The Company develops the Reactis family of tools that
support the test and debug of embedded software applications developed
using Simulink®, Stateflow®, and C code.