White Papers > Achieving ISO 26262 Compliance with Reactis

Download: PDF  


Binary code to indicate the paper discusses the testing of embedded software

Facilitate walk-throughs and inspections. Track coverage: Statement, Branch, MC/DC. Check software safety requirements via semi-formal verification. Back-to-back testing: test conformance of code to model.
October 10, 2015



This white paper discusses how Reactis 1, 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 2, 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).

Reactis is a registered trademark of Reactive Systems, Inc.
MATLAB, Simulink, and Stateflow are registered trademarks of The MathWorks, Inc.