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.
Autonomous driving is becoming real. Coming out of the realm of research, autonomous vehicles are now on roads around you. Safety of these vehicles is an important consideration in their design. How do you make sure that the vehicle is safe enough for you to put your loved ones in it?
Ann Keffer, Product Management Director at Cadence Design Systems, illustrated some challenges that make autonomous vehicles safer and discussed the solutions on how we can overcome these challengesat the DVClub Europe Conference which took place on 28th November 2017.
The Presentation Slides and Videos are available now!
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
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
Join us at the Autonomous Vehicle Software Symposium (5-7 June, 2018 – Stuttgart, Germany) where T&VS will be presenting the latest research findings and progress from two Innovate UK funded projects; CAPRI and RoboPilot. Both projects are looking at developing Autonomous Vehicles and in this talk T&VS will be specifically reporting on the latest research into verifying and validating their safety and security.
About the CAPRI Project
The CAPRI project brings together an experienced consortium of partners from industry, academia and local authorities, working together to deliver a complete end to end POD (Pods on-Demand) mobility service. The consortium aims to collate sufficient evidence from the deployment trials and simulation testing to support PODs becoming a recognised vehicle classification for use on public roads.
About the RoboPilot Project
The project dubbed ‘RoboPilot‘ features in the second stream of Connected and Autonomous Vehicle (CAV2) projects that were recently awarded £31m of Innovate UK led funding. As part of the RoboPiloy project T&VS are working to accelerate the ‘safety’ components of the consortiums vision, working with partners on the verification and validation of the complex cyber physical systems involved in autonomous vehicle deployment.
The Symposium Presentation
The T&VS presentation at the conference is titled: “Verification Techniques for Safety and Security in Autonomous Vehicle Software” and will discuss the range of methodologies being investigated for verifying the software deployed in automous vehicles in both simulation and physical test environments. In addition it will look at the safety and security issues and how the ongoing results from the projects are feeding into the evidence base to support Autonomous Vehicles and PODs as new vehicle classifications.
Event at a Glance
Talk: Verification Techniques for Safety and Security in Autonomous Vehicle Software
At this year’s 25th annual EuroSTAR conference on software Testing (Copenhagen, Nov 6-9) T&VS Founder and CEO Dr. Mike Bartley has presented on how to deal with testing debt in an agile world.
This paper outlines the main findings of the analysis and the main learnings from working with companies adopting agile and their choices in testing strategy. The paper also gives you the practical advice on how to both avoid building up testing debt in agile environments and how to deal with technical debt once it has built up.
Are you based in the Bristol area and involved in the high-tech sector?
If you are, then please register to join us at the Engine Shed on Friday 8th December for drinks and nibbles to help celebrate another successful year for T&VS, the Engine Shed and the high-tech sector in the region.
The event provides a great opportunity to meet old friends and colleagues as well as network with new contacts working in the high-tech sector. The event is free to attend but please register as early as possible as space is limited.
Event at a Glance
High Tech Sector Christmas Drinks – Hosted by T&VS and Engine Shed
Friday 8th December, 2017
16:30 – 19:30
Venue: The Engine Shed, Station Approach, Bristol, BS1 6QH.
Free to attend for those working in the High-Tech sector
Registration Required – please complete the form below or visit the Eventbrite Page
It would be great to see you and I look forward to welcoming as many of you as possible.
P.S. The event is only open to the invited guests of T&VS and The Engine Shed. Registrations represent a request to attend and the organisers reserve the right to cancel any registrations that are not deemed to be from bona fide representatives of the high-tech sector in the region.
The TVS newsletter is aimed at informing you about industry news, events and information from TVS and our industry partners with no selling. It is easy to unsubscribe if we do not fulfil that promise.
So if you want the latest on testing and verification subscribe below.
We never share your information with any third parties.
The 2-day Formal Verification Bootcamp is for design and verification engineers looking to enhance their knowledge of formal verification and to learn how to write effective assertions to find and fix bugs. The course is a mix of presentations and hands-on development exercises.