Reactis Safety Manual#
RSITR 5.15
December 10, 2024
This safety manual discusses how Reactis®[1], an automated testing and validation tool, may be used to comply with the ISO 26262 standard. The 26262 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 Tester can uncover runtime errors in both the model and code. 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 also identifies dead code in both models and code and Reactis Tester automatically generates 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). Reactive Systems worked with global certification authority TÜV SÜD to prequalify Reactis for use in an ISO 26262 process for applications classified as up to ASIL D.