Verification and validation of safety-critical systems – Fault Injection
Critical Software, an international company offering dependable solutions, services and software technologies for safety- and business-critical information systems, namely in the Aeronautics, Space, Defense, Railway & Automotive, hereby offers fault injection technology particularly appropriate for high availability, reliability and safety requirements contexts where failures may lead to human life loss or damage to property or significant financial losses to businesses.
Innovations & Advantages
This technology uses advanced debugging and performance monitoring hardware features, available in common processors, to inject faults and monitor the activation of errors and their impact on the target system. The technology can test systems in exceptional situations and force worst-case failure scenarios, while being completely un-intrusive at the software level. In short, it is a unique tool that allows tests in the target embedded system that otherwise would require much more effort and would not be at all possible using common techniques. During Fault Injection campaigns it is possible to spots weak points and which than can be fed back onto the development process and avoid serious or undesirable behaviour in the end product. Systems can in this way be evaluated under realistic conditions, with minimal to no intrusiveness, and reliable validation of fault tolerance mechanisms can be achieved.
Key features of the Fault Injection Technology:
Automated fault-injection tool
Supports product certification (dependability and RAMS)
Professional environment for performing fault-injection based tests
Performs fault-injection regression with no effort
Increases confidence in the product and assures compliance to requirements
Product Performance, Stability, Reliability, Availability and fault tolerance
Software Implemented fault injection (SWIFI) with limited intrusion
Scan Chain Implemented fault injection (SCIFI) with minimum intrusion
Fault injection in source code (C and Ada)
Fault Injection in binary code
Fault Injection in Sparc, PPC, ARM and x86 architectures
Adaptable to other architectures in reasonable times
Complement to verification and validation activities
Complement to RAMS activities
Capability of performing tests according to ISO 26262 automotive standard
Current and Potential Domains of Application
Aerospace, automotive, railway, medical devices, defense, telecommunications, banking and insurance are some of the areas posing new challenges to the software industry in term of high availability, reliability and safety requirements. Examples of critical embedded-driven systems whose failure threatens human lives can be found in the aerospace sector (e.g., satellite navigation systems), railway control (e.g., track side signalling control equipment and interlocking systems), medical life-support (e.g., pacemakers), industrial plant control, nuclear power plants, the automotive industry (e.g., engine control units), and in the defence sector (e.g., weapons control systems), among others.