Cary, NC (June 14, 2012) -- Reactive Systems announced the availability of a new white paper that describes how its Reactis family of testing and validation tools can help achieve ISO 26262 compliance. The ISO 26262 standard, published in November 2011, addresses functional safety of electrical and electronic systems within road vehicles.
Safety-critical functions in automobiles are increasingly being performed by programmable electronic systems. Systems which were formerly controlled using other means (mechanical, hydraulic, pneumatic, electrical, etc.) are ever more likely to be controlled by embedded software. In addition, automakers continue to add new safety features, such as electronic stability control and autonomous emergency braking. These trends are driving an explosive growth in both the amount and complexity of safety-critical software embedded in the typical car. This in turn is making it ever more difficult to minimize the risk posed by embedded automotive software.
If using a Simulink® model-based design process, Reactis offers a number of capabilities to assist with the software verification and testing 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. Reactis Validator lets safety requirements be formalized as assertions and then checked 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).
About Reactis. Reactis provides automated test-generation and model-validation capabilities for Simulink/Stateflow models of control software. The tool can be used to test for conformance between a model and implementation code, and it can also be employed to validate model behavior. Reactis is used at dozens of companies worldwide in the automotive, aerospace, and heavy equipment industries.
About Reactive Systems. Reactive Systems, founded in 1999,
is a privately held company with offices in Cary, NC and Nagoya,
Japan. The company offers tools and services to help improve software
quality while reducing development costs. For more information visit
www.reactive-systems.com or call +1-919-324-3507.