- This event has passed.
NMI PROMOTED EVENT: PICASSOS Dissemination
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.
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.
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 workflows 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].