Designing automotive SoCs and supporting components such as semiconductor IP demands a parallel functional safety assurance process, rooted in a deep understanding of the requirements of ISO 26262, AEC-Q100 and subtle technical details such as the impact of various temperature profiles on the potential failure modes of an IP block.
This article from Tech Design Forum explores why achieving ISO 26262 certification for advanced driver assistance systems takes a combination of ASIL ready IP and rigorous development strategies.
Learn more about how T&VS Automotive Verification and Test solutions help to address the challenges of delivering safe, secure and compliant automotive products.
The ISO 26262 standard defines straightforward metrics for evaluating the “safeness” of a design by defining safety goals, safety mechanisms, and fault metrics. However, determining those metrics is difficult because evaluating every possible fault is impractical on the size of today’s designs. Formal verification tools have an advantage over other approaches because formal tools have the unique ability to trace cones of influence and eliminate large numbers of irrelevant faults in a process known as fault pruning. Formal tools provide unique capabilities that are essential for any automotive functional safety flow.
Abdel Ayari, Digital Design & Verification Solutions Applications Engineer at Mentor Graphics discussed onhow formal reduces fault analysis for ISO26262 safety verificationat the DVClub Europe Conference- “Methodologies for Rigorous Safety Verification”, which took place on 28th November 2017.
The Presentation Slides and Recordings are now available!
Complex designs achieve ISO26262 via the introduction of Safety Mechanisms to protect against random hardware faults that can cause a violation of a Safety Goal. The challenge is in performing a comprehensive safety analysis of the design, and proving the completeness of the analysis in an efficient manner.
Krishna Priya Chakiat Ramamoorthy from Infineon Technologies was at DVClub Europe Conference on 28th November 2017 and explained how APIS IQ features are innovatively used to identify the potential random hardware faults which can disrupt the function of a design, leading to a failure to meet a safety goal and provided a suggestion on how to link this conceptual analysis to design and verification plans, thus closing the gap between architecture and verification.
Download the Presentation Slides and Audio Recordings here
Safety critical development processes, governed by standards such as ISO26262, include the use of fault correction components that protect the device against Random faults that occur naturally during operation. A methodology has evolved that makes use of fault simulation and formal techniques to establish the diagnostic coverage of safe faults, and detect dangerous faults. A significant remaining challenge is the debug of these dangerous faults. While fault simulation can establish fault propagation, Formal can produce a clear detection of dangerous faults, enable their debug, and indicate how a design may be protected against their occurrence.
Jörg Große, Product Manager Safety Critical Solution at OneSpin Solutions, discussed these dangerous fault debug techniques using state-of-the-art formal verification appsat the DVClub Europe Conference- “Methodologies for Rigorous Safety Verification” on 28th November 2017.
Find out the Presentation Slides and Videos here
T&VS organized a European DVClub on 28th November 2017 with a focus on “Methodologies for Rigorous Safety Verification”. Speakers were from Mentor Graphics, Cadence, Infineon, and One Spin Solutions and the presentations are now available on the T&VS website.
- Ann Keffer, Product Management Director, Cadence Design Systems
Methodologies for Rigorous Safety Verification
- Jörg Große, Product Manager Safety Critical Solution, OneSpin Solutions
Formal fault analysis for ISO 26262 fault metrics on real world designs
- Krishna Priya Chakiat Ramamoorthy, Lead Concept Engineer, Infineon Technologies UK Ltd
Customizing APIS IQ software for ISO26262 safety analysis – closing the gap from concept to verification
- Abdel Ayari, Digital Design & Verification Solutions Applications Engineer, Mentor, A Siemens Business
How Formal Reduces Fault Analysis for ISO 26262 Safety Verification
The Presentation Slides and Recordings are available here
Functional safety is a critical concern for all automotive products, and the most complex and least understood part of it is safety from random faults. Functional safety standard for road vehicles, ISO26262 sets out the requirements for safe designs. This article presents a simple, easy step-by-step methodology to comprehend and achieve functional safety from random faults based on Questa simulation and the fault-injection accelerator.
Find out how T&VS offer a range of services to help companies working to adopt the ISO26262 standard.
Functional safety features are an essential part of automotive system-on-chip development. ISO26262 standard dictates ASIC development process in safety applications like airbag control, electronic stability control.
Deva Phanindra Kumar from Analog Devices, has recently spoke on how verification flows should be setup to meet stringent requirements of ISO26262 and covered the verification challenges in verifying safety measures for an Automotive ASIL compliant chip at the DVClub Bangalore Conference -“Unique Challenges in Verifying Automotive SoCs”, on 24 November 2017.
Find out the Presentation Slides and Audio Recordings here
ISO 26262 specifically defines functional safety for automotive Electric/ Electronic (E/E) equipment and addresses possible hazards caused by the malfunctioning of E/E systems in passenger vehicles. This article describes how to navigate the development challenges of ISO 26262 when you are creating products for automotive industry.
Find how T&VS help companies manage a secure requirement to attain the ISO26262 Compliance.
ISO 26262 is the international standard compliance document for functional safety of electronics in vehicles. This article explores why ISO 26262 standard is widely used in the development of automotive safety related integrated circuits and describes why ISO 26262 is adding an important focus to semiconductor domain.
Find out how T&VS Functional Safety services help you to improve the safety & security requirements in automotive industry.
As more technology makes its way into safety-critical markets and as more of those devices are connected to the internet security issues are beginning to merge with safety issues. This article from Semiengineering explores why connecting to the internet adds new demands for safety-critical markets.
Find how T&VS end-to-end Safety & Security services helps you ensure quality and reliability at every step in your applications and devices.