Reactive Systems @ReactiveSystems

Reactis V2026 ⚽️Simulink variant testing, cumulative coverage ⚽️AUTOSAR whole-component testing + scheduler generation ⚽️Trace signals into/out of Stateflow ⚽️Better reachability analysis & test generation ⚽️C coverage pragmas ⚽️R2026a support More: reactive-systems.com/c65

New white paper: Using Reactis with GitLab CI/CD. Automatic checks on your Simulink model with every commit. From your pipeline: generate tests, find runtime errors, maximize coverage, perform regression tests. reactive-systems.com/n151

🎬 New video: Auto-generate comprehensive test suites for AUTOSAR components, catch runtime errors, validate against Simulink models, and debug model/code with Reactis. From ARXML import to synchronized debugging—see the complete workflow: 🔗 reactive-systems.com/v4 #AUTOSAR

Reactis V2025.2 adds MATLAB Projects support, R2025b support, Stateflow state action coverage, model comments, and an AUTOSAR import wizard for simplified testing workflow. reactive-systems.com/c64

Reactis V2025: Run-time error assertions in Stateflow, easily open model currently loaded in Reactis in Simulink at a specified location, generalized requirements linking, improved test coverage, R2025a support. reactive-systems.com/c63

Reactis V2024.2: Reactis Tester engine updated to detect more unreachable MC/DC targets and exercise more MC/DC targets with generated tests. Some Simulink models load in half the time. Many improvements to Simulink model drawing. reactis.net/c62

Teoresi, an engineering firm with considerable expertise in model-based design, now distributes Reactis in Italy. reactis.net/n107.

Reactis V2013.2 released: R2013b, Simulink functions in Stateflow, auto import of input port ranges, more. reactis.net/n97

A new Reactis user story describes Nissan's success with the tool over the past decade. Read story: reactis.net/n96

Reactis V2013 released: R2013a, .slx files, Multiple Condition Coverage (MCC), test generation optimizations, ... (reactis.net/n94)

Get Reactis V2011.2: New ways to track coverage. Search test data. C code debug: back up 1 statement at a time. reactis.net/v112

See Reactis for C at the Embedded Systems Conference Boston, Sep 27-28 at the Hynes Convention Center. reactis.net/n86

See Reactis at dSPACE events in Sep: Midwest User Conference, Chicago. Automotive Technology Conference, Livonia, MI. reactis.net/n84.

Reactis V2011 out. Simplified Tester launch. Per-outport tolerances. Text search of model/C code. R2011a support. reactis.net/n83

Lanika Solutions, provider of renowned engineering products, will distribute all Reactis products in India. http://reactis.net/i

Top 7 C code bugs. Watch Reactis for C uncover and diagnose subtle runtime errors in this video: http://reactis.net/e

New product Reactis for C launched. Find, diagnose, and fix bugs in your c code: http://reactis.net/h

Stony Brook student Chris Wischerth used the Reactis for C beta to find runtime error in open-source encryption program:http://reactis.net/g

Reactis has gone social. Please connect with us via Twitter, Facebook, and LinkedIn: http://reactis.net/f