DocumentCode
279779
Title
IEE Colloquium on `Safety Critical Software in Vehicle and Traffic Control´ (Digest No.031)
fYear
1990
fDate
32917
Abstract
The following topics were dealt with: microprocessor design for safety; traffic signal software development; reliability through simplicity; system architectures; safety assurance methods; road transport informatics; and formal methods in software development
Keywords
automotive electronics; road traffic; safety; software engineering; traffic computer control; DRIVE project V1501; formal methods; microprocessor design; reliability; road transport informatics; safety assurance methods; safety-critical software; system architectures; traffic control; traffic signal software development; vehicle control;
fLanguage
English
Publisher
iet
Conference_Titel
Safety Critical Software in Vehicle and Traffic Control, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
189814
Link To Document