Speakers announced for safety-critical systems development event

Speakers announced for safety-critical systems development event
06 February 2017


Important conclusions from the PICASSOS project – a multi-partner examination of the future development of safe electronic automotive systems – will be discussed at a seminar-style event at the British Motor Museum, Gaydon, Warwickshire, on 28 February 2017. The full list of speakers has been announced today by Ricardo.

With the increasing interest in autonomous vehicle applications, the development of safety-critical systems has never been more sharply in focus for the automotive industry. The PICASSOS project, which stands for Proving Integrity of Complex Automotive System of Systems, has focused on the creation and testing of methods for the development of safe electronic systems, in compliance with ISO 26262, at an affordable price.

At an event on 28 February marking the successful conclusion of the PICASSOS project, the specialists involved – drawn from Ricardo and research partners Jaguar Land Rover, Johnson Matthey Battery Systems, YorkMetrics, D-RisQ and the universities of Oxford, Coventry and Warwick – will share the results of the project and the relevance of these to the development of safety-critical systems of all types. The event will focus upon the practical applications of Formal Methods (mathematically based techniques for the development of electronic systems) to the functional safety of automotive systems as well as in other industrial sectors.

Speakers from the industrial and academic partners of the PICASSOS project will outline its key findings, using examples based on the application of the automotive functional safety standard ISO 26262 to Electric Vehicle (EV) electronic systems. The project team will also explain the principles that would support the application of these tools and techniques in other automotive sectors, and related industries.

The full list of speakers and presentations is as follows: 

Ross McMurran, Jaguar Land Rover

The Promise of Formal Methods

Colin O’Halloran, University of Oxford

Overview of Formal Methods and Tools

John Botham, Ricardo

The Automotive Safety Lifecycle Context

Antony Powell, YorkMetrics

Comparing Approaches – the Experimental Method

Peter Miller, Johnson Matthey Battery Systems

Formal Verification at Software Level

Nick Tudor, D-RisQ

Modelworks – a Model Checker

Gunwant Dhadyalla, WMG, University of Warwick

Tool Validation using Mutation Testing

John Botham, Ricardo

A SysML-Based Approach to Systems Engineering

David McGeogh, Jaguar Land Rover

System Safety Engineering and Formal Verification based on SysML

Arun Chakrapani Rao, WMG, University of Warwick

Using Simulink and Stateflow for Model Checking of System Models

John Botham, Ricardo

The Case for Formal Methods

Delegate places on the PICASSOS end-of-project Formal Methods seminar are free of charge, but strictly limited in number. Those wishing to attend should contact picassos@ricardo.comwithout delay or for more information, see: www.ricardo.com/News--Media/Events/Picassos-Seminar/  

Speakers announced for safety-critical systems development event