This paper reviews some possible techniques for the future development of high-integrity, high-reliability software for use in critical applications in road vehicles. The customer is concerned with the overall reliability of electronic equipment in a vehicle. High reliability requires designers both to minimize the possibilities of random failures and to reduce or eliminate systematic design errors. Following a discussion of some ways in which microprocessor-based equipment can fail, formal techniques of specification and analysis are identified as possible methods for the automotive industries in the next decade. Combined with exhaustive dynamic testing and static analysis of programs, it should be possible to reduce the probability of failure in equipment based on the use of programmable microcontrollers.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    High-Integrity Software for Automotive Applications


    Beteiligte:
    Cullyer, W J (Autor:in)


    Erscheinungsdatum :

    1991-07-01


    Format / Umfang :

    7 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    High-integrity software for automotive applications

    Cullyer,W.J. / Univ.of Warwick,GB | Kraftfahrwesen | 1991



    High integrity real-time software

    Allerton, D J | SAGE Publications | 2007


    High integrity real-time software

    Allerton, D. | Online Contents | 2007