Title :
IEE Colloquium on `Safety Critical Software in Vehicle and Traffic Control´ (Digest No.031)
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;
Conference_Titel :
Safety Critical Software in Vehicle and Traffic Control, IEE Colloquium on
Conference_Location :
London
