Loading Events

« All Events

  • This event has passed.


28th February 2017


The PICASSOS project aims to deliver a step change improvement in the ability of the UK supply chain to develop demonstrably safe and secure, highly complex embedded software systems at a price the general market can afford.


Research Challenge

The application of automated formal methods to break away from the traditional approach of large amounts of process supported by documentation and people promises significant benefit for the UK supply chain, but not without risk. The supply chain which can first implement the most effective approaches will have a significant first mover advantage, in this growing sector.


The Seminar

This event will take place on Tuesday 28th February at the British Motorcycle Museum in Gaydon.

Learn how functional safety and reliability can be improved by incorporating formal methods-based tools into your ISO 26262 compliant Model Based Design work­flows for systems and software design. Formal methods offer the power of mathematically rigorous reasoning and proof, but are often little understood and seen as difficult to apply. This seminar aims to demystify formal verification and help to make it more accessible to engineers, by showing how it can be harnessed practically and applied for the benefit of typical engineering processes.

This event is FREE to attend. To register, please contact [email protected].


28th February 2017
Event Category:


British Motor Museum
11 Banbury Road
Gaydon, CV35 0BJ United Kingdom
+ Google Map