Design aspects of safety critical instrumentation of nuclear installations

International Journal of Nuclear Energy Science and Technology

Volumn 1, Issue 2-3, 2005, Pages 254-263

  Swaminathan, P ^a  

^a INDIRA GANDHI CENTRE FOR ATOMIC RESEARCH   (India)

Author keywords

configuration management; context diagram; formal method; safety critical system; three port isolator; water fall model

Indexed keywords

EID: 75249098319     PISSN: 17416361     EISSN: 1741637X     Source Type: Journal    
DOI: 10.1504/ijnest.2005.007149     Document Type: Article

References (5)

1. Design Safety Guide on Computer Based System (AERB/SG - D25).
2. Design Safety Guide on Safety Critical System (AERB/SG - D10).
3. Indian Standard for Application of Computers to Nuclear Reactor Instrumentation and Control (ICS 27.120.10).
4. Software for Computers in the Safety Systems of Nuclear Power Stations (IEC 880).
5. Software Important to Safety in Nuclear Power Plants (IAEA-Report 367).