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 contactpicassos@ricardo.comwithout delay or for more information, see: www.ricardo.com/News--Media/Events/Picassos-Seminar/
Ends
A full copy of this press release is available from the link at the top right of this page.
Ricardo plc published this content on 08 February 2017 and is solely responsible for the information contained herein.
Distributed by Public, unedited and unaltered, on 08 February 2017 08:06:03 UTC.
Original documenthttp://www.ricardo.com/en-GB/News--Media/Press-releases/News-releases1/2017/Speakers-announced-for-safety-critical-systems-development-event/
Public permalinkhttp://www.publicnow.com/view/4DC7CBD52FC80F9F6A7DBB3D39ECA0EC37400478