Share |

PICASSOS - Formal Methods Seminar

IN THIS SECTION:

Details

Date:28 Feb 2017
Location:British Motor Museum, Gaydon, United Kingdom

Information

Practical applications of formal methods in automotive functional safety, and beyond…
 
Learn how functional safety and reliability can be improved by incorporating formal methods based tools into your ISO26262 compliant Model Based Design workflows for systems and software design.
 
The PICASSOS project (Proving Integrity of Complex Automotive Systems of Systems) is part-funded by the UK’s Advanced Manufacturing Supply Chain Initiative (AMSCI) and is a collaboration led by Ricardo, with partners Jaguar Land Rover, Johnson Matthey Battery Systems, YorkMetrics, D-RisQ and the universities of Oxford, Coventry and Warwick.
 
Attendance is free. Advance registration is required. Register now by e-mail to: picassos@ricardo.com
 
For full details please see the seminar details in the link below: 
 
Picassos-formal-methods-seminar_28-Feb-2017
 
 
 
 
 
< Back
QUICK LINKS
  •