Integrate Reactis into your GitLab pipeline. Get automatic checks on your Simulink model with every commit. Generate tests, find runtime errors, track coverage, perform regression tests. New white paper shows how with full example laying out all the details. reactive-systems.com/n151

🎬 New Video: AUTOSAR Testing with Reactis

Tired of manual, error-prone #AUTOSAR component testing? See how to auto-generate comprehensive test suites, catch runtime errors, and validate code against Simulink models.
Complete workflow: ARXML import through synchronized debug. reactive-systems.com/v4

Reactis V2025.2 adds support for MATLAB Projects and R2025b, tracks coverage inside Stateflow state action code, and introduces a comments feature. Reactis for C V2025 simplifies AUTOSAR testing workflows.
reactive-systems.com/c64

The new Open in Simulink feature of Reactis V2025 supports the following workflow:
1) Find a bug in your model with Reactis Tester
2) Diagnose the issue with Reactis Simulator
3) Open your model in Simulink to fix the issue

Load current model in Simulink and highlight a specified block.

Reactis V2025: run-time error assertions in Stateflow, open the model currently loaded in Reactis in Simulink and highlight a specified item, generalized linking to natural language requirements, improved test coverage, support for Simulink R2025a. reactive-systems.com/c63

Image showing how block drawing has been improved for many Simulink blocks in Reactis V2024.2

Reactis for Simulink V2024.2 is now available. Reactis supports the test and verification of Simulink models as part of a model-based design process for developing embedded software. V2024.2 offers better MC/DC coverage, faster model import, and better model drawing. reactis.net/c62