Functional safety analysis and higher diagnostic coverage to meet certification requirements
The use of “fail-safe” electronic components in safety critical systems is now commonplace throughout many electronics industry sectors, including Automotive, Aerospace, Power Generation, Defense, and Medical devices. Governed by a range of regulatory standards, the verification of these systems, in general, must be proven to be as rigorous as possible. In addition, to guarantee the safe operation of these systems, safety mechanisms are integrated that ensure a reliable, deterministic reaction to random hardware failures when the device is operating in the field. These too must be verified to operate correctly and trap operational hardware faults.
OneSpin’s Safety Critical Verification solution provides functional safety analysis and allows for higher diagnostic coverage to meet certification requirements.
The need for Formal Safety Verification
It is hard to demonstrate that simulation-only verification solutions can provide the required degree of coverage necessary to guarantee safety. The exhaustive nature of formal verification solutions makes it a natural fit for these designs. However, additional capability must be included to prove design reliability and failsafe operation. Design reliability can be shown by utilizing advanced coverage techniques to demonstrate that any “systematic” bug in the design would indeed be detected by a series of assertions, executed on a formal platform.
OneSpin provides a complete formal verification solution ranging from rigorous verification, and qualification of the verification environment, all the way to the verification of safety mechanisms and diagnostic coverage.
Systematic and Random Errors
The OneSpin Safety Critical Verification Solution encompasses a range of formal tools and techniques that provide a complete verification flow to test for the presence of any systematic faults and that a high proportion of random faults will be detected and handled by the device. The solution includes advanced coverage techniques, fault injection and qualification, as well as a broad formal verification solution.
To validate safety mechanisms that trap and resolve “random” field problems, the ISO 26262 and other standards demand a quantitative analysis of random hardware failures and their outcomes. Part of this analysis comprises the injection of faults into the gate level models of integrated circuits to determine the single point and latent fault metrics (SPFM/LFM), which are eventually used to calculate the failure rate of a component. These gate level models can be complex and contain numerous possible fault scenarios. OneSpin provides a formal solution to target these problems.
- We check the web for relevant safety-critical news content and link directly to the source from here. Want to get your monthly recap of relevant news? - Just sign-up to our newsletter.
- "Recent years have seen increasing application of functional safety standards to semiconductor components. Unfortunately, semiconductor developers and functional safety engineers are rarely aligned in terminology or direction. This discussion will attempt to bridge the gap between the two domains by helping semiconductor developers understand how silicon errors are considered in current functional safety state-of-the-art." Karl Greb, Chief Safety Architect for the SafeTI Initiative at Texas Instruments.
- "Electronic systems for use in in space applications must be 100% reliable. We apply formal verification to ensure the elimination of functional problems. OneSpin's leading formal technology is a corner stone giving us the confidence necessary to launch our IP cores into space and know they will always operate correctly.” Prof. Görschwin Fey, Department of Avionics Systems, Institute of Space Systems, German Aerospace Center
- Full Presentation of KeyNote Speech at Silicon Errors in Logic - System Effects 2014
- “The MicroSemi ProASIC3 FPGA is a core component of the Advanced Logic System (ALS), and use of the OneSpin 360 Equivalence Checker is an integral part of our FPGA development process for nuclear safety systems.” says Erik Matusek, Safety System Platform Manager at Westinghouse Electric Company, LLC