Lanika Solutions

09/10/2026

Achieving ISO 26262 Compliance with Reactis®

The Reactis Safety Manual discusses how Reactis, an automated testing and validation tool, may be used to comply with the ISO 26262 standard. The standard prescribes a system of steps to manage the functional safety of automotive electronics. Part 6 (ISO 26262-6) addresses product development at the software level and is the focus of this paper.

When using a model-based design process employing MATLAB/Simulink/Stateflow, Reactis automates a number of the verification activities mandated by ISO 26262. Reactis offers a number of model navigation capabilities that facilitate design walk-throughs and inspections at both the architectural and unit levels. The Reactis Validator component lets you formalize safety requirements as assertions and then check for violations using semi-formal verification. These checks can be performed on both architectural design models and unit design models. Reactis Tester can automatically generate test suites that aim to maximize statement, branch, and modified condition/decision (MC/DC) coverage. Finally, Reactis offers extensive support for back-to-back testing (in which the behavior of code is compared to the behavior of a model).

Read Reactis Safety Manual → https://reactive-systems.com/reactis-safety-manual/

08/10/2026

Using Reactis with TargetLink Models and TargetLink-Generated Code

The automated testing and validation capability of the Reactis tool suite significantly enhances the gains realized from a model-based design process. Reactis can successfully test, simulate, and debug models created using the dSPACE TargetLink® block set. Reactis for C provides a robust test-generation and debugging capability for TargetLink-generated C code.

This document describes the steps necessary to configure Reactis and TargetLink models for test generation, simulation, and debug and for the ex*****on and validation of automatically-generated C code.

Read whitepaper → https://reactive-systems.com/targetlink-testing/

07/10/2026

Automated Testing with Reactis® and Jenkins

The automated testing and validation capabilities of the Reactis tool suite significantly improve the gains realized from a model-based design process. Reactis can successfully test, simulate, and debug discrete-time Simulink® models. Combined with Reactis for C, Reactis also provides a robust test-generation and debugging capability for C code, and for performing back-to-back tests of models vs. code. Jenkins is a popular open-source automation server which is used to build and test software systems. This white paper describes the steps necessary to use Reactis within a Jenkins-controlled build and test process.

Read whitepaper → https://reactive-systems.com/testing-with-reactis-jenkins/

06/10/2026

Testing and Validation of Simulink® Models with Reactis®

This white paper discusses how the Reactis automatic test generation tool may be used to validate Simulink® models of embedded control software and to test for conformance of code to Simulink® models.

Reactis Tester automatically generates test cases that stress the model. The test generation often uncovers run-time errors in Simulink® models. The generated tests aim to maximize coverage with respect to a number of test coverage metrics including Modified Condition/Decision Coverage (MC/DC).

Reactis Simulator is a simulation environment for Simulink® models that enables the user to execute and debug models and to track coverage during test ex*****on.

Reactis Validator enables an engineer to formalize model requirements as assertions and perform an automatic check for requirement violations. Validator performs these checks by thoroughly simulating the model with the goal of violating assertions. When an assertion fails, Validator returns a test that highlights the problem.

Test suites generated by Reactis serve as a testing oracle to determine if source code conforms to the behavior of a Simulink® model. The Reactis for C Plugin integrates seamlessly with Reactis to offer white-box testing for the C code portions of models (C Caller blocks, S-Functions, and Stateflow® custom code). Similarly the Reactis for EML Plugin offers white-box testing of Embedded MATLAB® within a model.

Read whitepaper → https://reactive-systems.com/test-simulink-models/

05/10/2026

Finding Bugs in C Code with Reactis for C

This 19-minute video demonstrates how Reactis for C can help you uncover, diagnose, and fix bugs in your C code. Reactis Tester automatically generates tests from C code and in the process can uncover a variety of different types of runtime errors that are very common in C code such as memory errors or overflows. When an error is detected the scenario leading to the problem can be replayed in Reactis Simulator, an advanced debug environment. Reactis Validator lets you formulate requirements of your program as assertions and then perform an automated search for violations.

Watch video →

Learn more at: www.lanikasolutions.com |This 19-minute video demo...

02/10/2026

Navigating Simulink® Models with Reactis®

This 1-minute video highlights some Simulink® model navigation features of Reactis® including the following:

1. Reactis launches quickly, which is useful if you need to just have a quick look at something in a model.
2. Signal highlighting makes it easy to track signals through complex models.
3. Hovering over a subsystem in the hierarchy panel highlights the subsystem in the main panel.
4. When moving to a parent subsystem, the child you are moving up from is highlighted.
5. Hover over any Goto/From or Data Store Read/Write/Memory block to highlight matching blocks.
6. Double-click on a Goto/From or Data Store Read/Write/Memory block to see list of matching blocks throughout model. Double-click on items in the list to highlight the block in the model.

Watch video →

Learn more at: www.lanikasolutions.com |This 1-minute video highl...

01/10/2026

Testing C Code in Simulink® Models Using the Reactis® for C Plugin

This 8-minute video describes how to test the C code in Simulink® models with the Reactis for C Plugin. The Reactis for C Plugin integrates seamlessly with Reactis to offer white-box testing of the C code portions of models (S-Functions and Stateflow custom C code). The automatic generation of comprehensive tests from C code lets you easily uncover a variety of runtime errors including memory errors, overflows, and divide-by-zeros. When an error is detected, you can replay a concrete ex*****on sequence leading to the problem in order to understand, diagnose, and fix the bug. Reactis Simulator offers an advanced debug environment that offers coverage tracking (Statement, Decision, Condition, and MC/DC), data value tracking (with scopes, watched variables, and hovering), and even reverse ex*****on.

Watch Video →

Learn more at: www.lanikasolutions.com |This 8-minute video descr...

30/09/2026

AUTOSAR Testing with Reactis

There is both an overview (2 minutes) and a detailed (15 minutes) version of this video on using Reactis to test an AUTOSAR atomic software component. You’ll see the entire workflow: import ARXML files, generate a minimal runtime environment (RTE), create C harnesses for runnables, generate comprehensive test suites, execute tests on C code to find runtime errors and track coverage. If you are using model-based design with Simulink, you can also compare code with the originating Simulink model via back-to-back testing. When errors or differences between model and code arise, perform lock-step debugging of the model and code.

Learn more → https://reactive-systems.com/video/autosar-testing/

Watch Video → https://youtu.be/4RDDuDkcgzQ?si=7JQ3CCc-OkPeC36L

This video presents a quick overview of how to test an AUTOSAR atom...

29/09/2026

Using Reactis with GitLab CI/CD

GitLab is a powerful web-based software development platform built around the Git version control system. GitLab's Continuous Integration/Continuous Deployment (CI/CD) features allow developers to automate the build, test, and deployment processes of their software projects. This white paper describes how to integrate Reactis, an automated testing and validation tool, into a GitLab CI/CD pipeline. By incorporating Reactis into the CI/CD workflow, development teams can ensure that their Simulink models and generated code are thoroughly tested and validated at every stage of the development process.

Read whitepaper → https://reactive-systems.com/reactis-gitlab-cicd/

28/09/2026

Testing Simulink® Models with Reactis®

This video introduces Reactis, a testing tool that supports model-based design with Simulink®. Reactis is used by engineers developing embedded sofware in the automotive, aerospace, and medical device industries.

Reactis Tester generates comprehensive test suites from Simulink® models. The tests help you uncover runtime errors, perform regression testing, and check if C code conforms to a model (often called back-to-back testing). The tests aim to maximize coverage of Simulink models using a set of coverage metrics including decision coverage, condition coverage, and modified condition/decision coverage (MC/DC).

Reactis Simulator is a simulation environment for Simulink® models. It lets you execute tests created by Reactis while visualizing test coverage and data values. If an error is detected Simulator supports reverse ex*****on to back up and investigate the source of the problem.

Reactis Validator lets you formulate requirements that your model should satisfy and perform an automated search for any violations. When a violation is detected, Validator returns a test that can be executed in Reactis Simulator to diagnose and debug the error.

The net effect of testing Simulink® models with Reactis is more robust embedded software at a lower cost.

Watch video →