Title :
Some experiences of critical software development
Abstract :
Experience with the development of nuclear power plant protection systems is discussed. The state of the art in this field is examined, and the problems entailed in demonstrating the safety of these systems are considered
Keywords :
fission reactor safety; safety; software reliability; critical software development; nuclear power plant protection systems; safety; Authorization; Hardware; Humans; Power generation; Power system protection; Programming; Redundancy; Safety;
Conference_Titel :
Software Engineering, 1990. Proceedings., 12th International Conference on
Conference_Location :
Nice
Print_ISBN :
0-8186-2026-9
DOI :
10.1109/ICSE.1990.63628