The use of computers in safety-related applications has increased greatly in the last five years. Wider awareness and public concern and the implications of various government directives have placed safety-critical assessment high on the agenda of computing design. At a recent IEE colloquium on 'Safety critical software in vehicle and traffic control' (London, UK, 13 February 1990) some of the key issues on this agenda were raised within the particular context of automotive and traffic control applications. To widen this debate this topical feature presents edited extracts from three presentations given at the colloquium which focus on the use of microprocessors in such systems: one a hardware architectural approach, and two advocating the use of formal methods for the design of 'correct' software.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety-related design in microprocessor-based automotive applications


    Weitere Titelangaben:

    Auf Sicherheit ausgelegter Entwurf bei mikroprozessorgestützten Automobilanwendungen


    Beteiligte:
    Millward, J. (Autor:in) / Tran, S. (Autor:in) / Cullyer, J. (Autor:in) / Hines, E. (Autor:in) / Marks, K. (Autor:in) / Thomas, M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1990


    Format / Umfang :

    7 Seiten, 10 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    A Microprocessor Based CRT Controller for Automotive Applications

    Murashige, James K. | SAE Technical Papers | 1983



    Microprocessor Systems for On-Board Automotive Applications

    Freedman, M. David | SAE Technical Papers | 1977


    Microprocessor software design technologies for automotive application

    Rao,K.N. / Deere Prod.Engng.Cent.,US | Kraftfahrwesen | 1979