Category Archives: Events

How Formal Reduces Fault Analysis for ISO 26262 Safety Verification

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!

Customising APIS IQ software for ISO26262 safety analysis – Closing the gap from concept to Verification

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

Formal fault analysis for ISO 26262 fault metrics on real world designs

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

Methodologies for Rigorous Safety Verification

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!

Presentation Slides and Recordings of DVClub Europe – “Methodologies for Rigorous Safety Verification”, 28th November 2017 are now available!

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

Verification Flow for ASIL Compliant Automotive SoCs

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

T&VS to present CAPRI & RoboPilot project updates at Autonomous Vehicle Software Symposium, June 2018


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
  • Present by:  Mike Bartley, T&VS Founder and CEO
  • Event: Autonomous Vehicle Software Symposium 2018
  • Date: 5-7 June, 2018
  • Location: Stuttgart, Germany

 

T&VS Presented ‘Dealing with Testing Debt in an Agile World’ at EuroSTAR 2017 Conference- Download the Presentation now!

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.

  • Download the Presentation Slides here

Join us for Christmas drinks – Friday 8th December, Bristol, UK.

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.

Best Regards

Mike Bartley
Founder & CEO, T&VS

 

 


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.