Software certification experience in the canadian nuclear industry lessons for the future

The computer controlled shutdown systems for the Nuclear Power Generating Station at Darlington, Canada, have been subject to licensing scrutinization on a number of occasions. After the first licence was approved in 1990, the licensee, Ontario Hydro, was given a number of years by the regulator to...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings of the ninth ACM International Conference on Embedded Software s. 219 - 226
Hlavní autoři: Wassyng, Alan, Lawford, Mark S., Maibaum, Thomas S.E.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: New York, NY, USA ACM 09.10.2011
IEEE
Edice:ACM Conferences
Témata:
General and reference > Document types > Computing standards, RFCs and guidelines
nuclear
Programming
Regulators
Safety
safety-critical software
Software and its engineering
software certification
Software design
Testing
nuclear
safety-critical software
software certification
ISBN:1450307140, 9781450307147
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:The computer controlled shutdown systems for the Nuclear Power Generating Station at Darlington, Canada, have been subject to licensing scrutinization on a number of occasions. After the first licence was approved in 1990, the licensee, Ontario Hydro, was given a number of years by the regulator to redesign the shutdown systems so that they would be more maintainable. This paper briefly describes the original certification process, lessons learned, and the subsequent development and certification of the shutdown systems. The development, internal certification processes and the regulator's certification process are briefly described. Although twenty years has elapsed since this work started, and there are new analysis techniques and tools that could be applied today, the original process itself has withstood the test of time extraordinarily well. This paper describes principles that explain why it was so successful, and how we can develop more modern approaches from this experience.
ISBN:1450307140
9781450307147
DOI:10.1145/2038642.2038676