PICASSOS was a UK government funded programme to improve the ability of automotive supply chains to develop complex software-intensive systems with high safety assurance and at an acceptable cost. 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 programme for enhancement and eventual commercial sale subsequently. A number of trials were undertaken comparing these two processes during simulated development of 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 a standard model-verification process at software unit level and showing how it can do so with reduced effort.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Powell, Antony (Autor:in) / Chakrapani Rao, Arun (Autor:in) / Farooq, Asif (Autor:in) / O'Halloran, Colin (Autor:in) / McGeoch, David (Autor:in) / Dhadyalla, Gunwant (Autor:in) / Kiec, Jaroslaw (Autor:in) / Botham, John (Autor:in) / Tudor, Nick (Autor:in) / Haas, Olivier (Autor:in)

    Kongress:

    WCX™ 17: SAE World Congress Experience ; 2017



    Erscheinungsdatum :

    2017-03-28




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    PICASSOS — Practical Applications of Automated Formal Methods to Safety Related Automotive Systems

    Botham, John / Dhadyalla, Gunwant / Powell, Antony et al. | British Library Conference Proceedings | 2017


    Picassos Guernica unter der Sounddusche - die "akustische Emotionalisierung" der Kunst

    Martin, Noemi / Liebl, Andreas / Zaglauer, Maria | TIBKAT | 2017


    Formal methods in automotive applications

    Tran,S.C. / Marks,K.T. / Cullyer,J.C. et al. | Kraftfahrwesen | 1990


    Using formal methods in designing embedded systems for automotive applications

    Damm, W. / Eckrich, M. / Brockmeyer, U. et al. | British Library Conference Proceedings | 1997


    Formal Certification Methods for Automated Vehicle Safety Assessment

    Zhao, Tong / Yurtsever, Ekim / Paulson, Joel A. et al. | IEEE | 2023