We are pleased to announce that:
TÜV SÜD has certified that Reactis is
qualified for safety-related development according to ISO 26262, up to ASIL
D. The V2021 versions of the following products are compliant:
Reactis® for Simulink®, Reactis for EML Plugin, Reactis for C
Plugin, and Reactis for C.
ISO 26262 is the international standard for the development of safety-related systems for road vehicles. The standard identifies specific processes and methods for development, validation, and tool qualification. Developers of automotive systems can use the Reactis suite of products with confidence thanks to the recently obtained ISO 26262 certification of the tools.
Reactis automates a number of the verification activities mandated by ISO 26262. For example, Reactis Validator 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 automatically generates test suites that aim to maximize statement, branch, and MC/DC coverage. Finally, Reactis offers extensive support for back-to-back testing to compare the behavior of code to the behavior of a model.
The certification process by TÜV SÜD, the accredited certification body, included the following:
The ISO 26262 certification allows automotive engineers to confidently employ Reactis to improve the functional safety of their products and reduce the development costs of safety-critical software.
Jenkins is a popular open-source automation server which is used to build and test software systems. A new white paper describes the steps necessary to use Reactis within a Jenkins-controlled build and test process. Read Automated Testing with Reactis and Jenkins.
Reactis is a registered trademark of Reactive Systems, Inc. MATLAB, Simulink, and Stateflow are registered trademarks of The MathWorks, Inc.
Best Regards,
The Reactis Team