Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

PICASSOS – Practical applications of automated formal methods to safety related automotive systems

Tools
- Tools
+ Tools

Botham, John, Dhadyalla, Gunwant, Powell, Antony, Miller, Peter, Haas, Olivier, McGeoch, David, Chakrapani Rao, Arun, O'Halloran, Colin, Kiec, Jaroslaw, Farooq, Asif, Pushpas, Saman and Tudor, Nick (2017) PICASSOS – Practical applications of automated formal methods to safety related automotive systems. In: WCX™ 17: SAE World Congress Experience, Detroit, Michigan, USA, 4-6 Apr 2017. Published in: SAE Technical Papers (2017-01-0063). doi:10.4271/2017-01-0063 ISSN 0148-7191.

Research output not available from this repository.

Request-a-Copy directly from author or use local Library Get it For Me service.

Official URL: https://doi.org/10.4271/2017-01-0063

Request Changes to record.

Abstract

PICASSOS was a UK government funded program to improve the ability of automotive supply chains to develop demonstrably safe highly complex software-intensive systems cost effectively. This was executed by a consortium of three universities and five companies including an automotive OEM and suppliers. Three major elements of the PICASSOS project were: use of automated model based verification technology utilising formal methods; application of this technology in the context of ISO 26262; and evaluation to measure the impact of this approach to inform key management decisions on the costs, benefits and risks of applying this technology on live projects. The project spanned system level design and software development. This was achieved by using a unified model based process incorporating SysML at the system level and using Simulink and Stateflow auto-coded into C at the software level. An ISO 26262 compliant development process based on those already used by the commercial partners was used as a baseline, and a modified process using formal methods was developed. Tools that are commercially available were used wherever possible, and technology demonstrators were generated within the program. One of the program partners is enhancing these tools to make them suitable for commercial sale. A number of trials were undertaken comparing these two processes on Electric Vehicle based systems. The paper includes the results of one of the trials, showing that the formal methods based approach found errors that were missed by the standard process without significantly increasing the development time.

Item Type: Conference Item (Paper)
Subjects: T Technology > TK Electrical engineering. Electronics Nuclear engineering
T Technology > TL Motor vehicles. Aeronautics. Astronautics
Divisions: Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group)
Journal or Publication Title: SAE Technical Papers
Publisher: Society of Automobile Engineers
ISSN: 0148-7191
Official Date: 28 March 2017
Dates:
DateEvent
28 March 2017Published
12 January 2017Accepted
Number: 2017-01-0063
Article Number: 2017-01-0063, 2017
DOI: 10.4271/2017-01-0063
Status: Peer Reviewed
Publication Status: Published
Access rights to Published version: Restricted or Subscription Access
Conference Paper Type: Paper
Title of Event: WCX™ 17: SAE World Congress Experience
Type of Event: Conference
Location of Event: Detroit, Michigan, USA
Date(s) of Event: 4-6 Apr 2017

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us