There are a number of software-controlled features in today's automotive vehicles to meet the increasing number of requirements for comfort, safety, infotainment and reduced emissions. To meet the growing demands from such features, the software content is not only increasing rapidly, but also becoming increasingly distributed within the Electronic Control Units (ECUs), leading to the possibility of unwanted interactions and consequent loss of reliability. Therefore, the automotive software-based features have to be designed and verified using sophisticated tools and techniques.Formal methods-based techniques and tools have been used on various industrial designs over the past 6 years by one of the authors in development and applied research projects, collaborating with a number of automotive companies. The challenges faced in large projects are discussed in this context. A large number of industrial users have recounted their own experiences in user conferences and workshops, which will be summarized. The results of a short survey of real users will also be discussed in this context.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry


    Weitere Titelangaben:

    Sae International Journal of Passenger Cars- Electronic and Electrical Systems
    Sae Int. J. Passeng. Cars – Electron. Electr. Syst


    Beteiligte:

    Kongress:

    SAE World Congress & Exhibition ; 2008



    Erscheinungsdatum :

    2008-04-14


    Format / Umfang :

    7 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    A critical analysis of model-based formal verification efforts within the automotive industry

    Rao,A.C. / McMurran,R. / Jones,R.P. et al. | Kraftfahrwesen | 2008


    A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry

    Rao, A.C. / McMurran, R. / Jones, R.P. et al. | British Library Conference Proceedings | 2008


    2008-01-0220 A Critical Analysis of Model-Based Formal Verification Efforts within the Automotive Industry

    Rao, A.C. / McMurran, R. / Jones, R.P. et al. | British Library Conference Proceedings | 2008



    Formal Verification of Flight Critical Software

    Miller, Steven / Anderson, Elise / Wagner, Lucas et al. | AIAA | 2005