TVS is collaborating with formal verification experts One Spin and software tooling experts Emenda to bring a unique conference on how to achieve safety compliance in hardware and software development. With increasing demand for electronics in automotive, avionics, rail, medical, nuclear, etc. many companies are entering into these domains. However, there is a need to understand and comply with the relevant standards that govern development.

In this unique conference we discuss aspects of both the hardware and software development processes and how they can be made compliant to ISO26262, DO254, DO178, etc.

  • Formal Verification has often proved the only viable technology to provide both the exhaustive examination of the design, as well as handle the fault tolerant components in a manner consistent with ISO 26262. One Spin has collaborated with a number of engineering groups working in this space, and has built up considerable experience of the verification of these complex systems. We will share this experience through the use of practical examples of formal techniques operating on Safety Critical components, and tie this in with the overall system verification flow
  • Emenda will present on a pioneering new approach to testing safety critical software that incorporates the latest techniques in static analysis, dynamic testing, software security, architecture and metrics and combining them into an unique, integrated analysis platform. The presentation will focus on how to achieve compliance to safety standards such as ISO26262, DO-178B and EN-61508 in a faster, more reliable and more automated way. We will examine the current bottlenecks and look at state of the art solutions as well as reflect on future trends and developments in the verification and validation of embedded software.
  • TVS will pull bring everything together through Requirements Driven Test and Verification using asureSIGN to show how requirements can be decomposed to software and hardware verification plans and results. This combines hardware simulation, OneSpin formal verification results and the results of software tests from the tools demonstrated by Emenda. TVS will demonstrate how the asureSIGN provides both support for both standards compliance and effective verification management.

Holger Busch of Infineon will provide the keynote. His talk will cover all of the above with a focus on “How Formal Verification Can Enhance Automotive Safety Flows”

The conference will take place on Monday 18th May at The Holiday Inn in München, Germany but remote access is available too – both are free to attend. The event runs from 10.00 to 13.00 CEST.

Details and Registration can be accessed here.