Title :
IEE Colloquium on `Software Requirements for High Integrity Systems´ (Digest No.115)
Abstract :
The following topics were dealt with: high reliability software development for safety critical systems; software standards for high integrity systems; high integrity software for avionic systems; railway signalling systems, software requirements; safety-related system studies and standards; fault tolerant software for combat aircraft; and the use of programmable electronic systems for nuclear reactor protection. Abstracts of individual papers can be found under the relevant classification codes in this or other issues
Keywords :
aerospace computing; fault tolerant computing; nuclear power stations; quality control; rail traffic; safety; software reliability; standards; avionic systems; combat aircraft; fault tolerant software; high integrity software; high reliability software development; nuclear reactor protection; programmable electronic systems; railway signalling systems; safety critical systems; safety-related system studies; software requirements; software standards;
Conference_Titel :
Software Requirements for High Integrity Systems, IEE Colloquium on
Conference_Location :
London
