Hybrid Methodology for Verification of SW Safety Mechanisms

Sarvesh Patankar,Sainath Karlapalem,Sakshi Biyani,Wen Chen,Roman Chovanec,Martin Vlk,Martin Kaspar

DOI: https://doi.org/10.1109/VTS50974.2021.9441001

2021-01-01

Abstract:As complexity of automotive E/E systems grows, the increasing failure rates have placed tremendous onus on semiconductor manufacturers to supply integrated circuits in the ADAS domain complying safety standards like ISO 26262. SW Safety mechanisms have recently emerged as means to achieve the desired ASIL level with constrained HW resources. The new ISO 26262 standard placed more stringent require...