Cary, NC (June 30, 2023) -- Reactis V2023 is now available for download. V2023 offers a new feature to automatically generate and track run-time error assertions (RTE assertions). A Simulink® model can produce various kinds error when the model executes, for example an integer overflow or divide-by-zero. For some Simulink blocks that can produce run-time errors, Reactis now generates a RTE assertion that checks for the absence of the error condition. If a RTE assertion ever evaluates to false, then the error condition occurs and Reactis records the failure. For more details on RTE assertions and other new features, please see the Reactis V2023 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.