VF2017: Compiler Regression Testing as Pre-Silicon Hardware Validation

Conference: Verification Futures 2017 (click here to see full programme)
Speaker: Jeremy Bennett (Chief Executive), Embecosm
Presentation Title: Compiler Regression Testing as Pre-Silicon Hardware Validation
Abstract: Highly automated automotive systems are becoming increasingly complex. This is particularly true for driver assistance systems that take their input from a wide variety of sources, take significant authority over vehicle control and hence safety, and may include nondeterministic behaviour. However, current automotive Type Approval and verification methods were born out of a time when vehicle systems were stand-alone, had easily defined behaviour, and if these systems did misbehave functionally the cause was component failure. Given that the pace of technological advancement is outstripping standards development, how does the automotive industries approach to verification need to change to maintain safety?

  • The current approach to automotive verification & validation
  • How do highly automated systems challenge this approach?
  • How might automotive verification & validation need to change?
Speaker Bio: Dr Jeremy Bennett is founder and Chief Executive of Embecosm who provide services developing open source compilers including GCC, LLVM and Verilator. He is author of the standard textbook “Introduction to Compiling Techniques” (McGraw-Hill 1990, 1995, 2003).