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.
Safety-related design in microprocessor-based automotive applications
Auf Sicherheit ausgelegter Entwurf bei mikroprozessorgestützten Automobilanwendungen
Microprocessors and Microsystems ; 14 , 5 ; 318-324
1990
7 Seiten, 10 Quellen
Aufsatz (Zeitschrift)
Englisch
A Microprocessor Based CRT Controller for Automotive Applications
SAE Technical Papers | 1983
|Microprocessor systems for on-board automotive applications
Tema Archiv | 1977
|Microprocessor Systems for On-Board Automotive Applications
SAE Technical Papers | 1977
|Microprocessor software design technologies for automotive application
Kraftfahrwesen | 1979
|Microprocessor Software Design Technologies For Automotive Application
SAE Technical Papers | 1979
|