Safety-Critical Software Development Methodology for Nuclear Power Plants
|
|
Chang, Hoon-Seon
(한국전력기술)
Chang, Young-Woo (한국전력기술) Ha, Jae-Hong (한국전력기술) Kim, Jae-Hack (한국전력기술) |
| 1 | IEEE Std 7-4.3.2-2003, "IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations" |
| 2 | IEEE Std 1012-1998, "IEEE Standard for Software Verification and Validation" |
| 3 | NUREG/CR-6463, "Review Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems" |
| 4 | Kwon-Ki Moon, "Module Testing Techniques for Nuclear Safety Critical Software Using LDRA Testing Tool", KNS, Autumm Seminar, 2006 |
| 5 | NUREG/CR-6430, "Software Safety Hazard Analysis" |
| 6 | NUREG-0700, "Human-System Interface Design Review Guideline", Rev.01 |
| 7 | EPRI TR-106439, "Guidance, on Evaluation and Acceptance of Commercial Grade Digital Equipment for Nuclear Safety Applications |
| 8 | IEEE Std 1228-1994, "IEEE Standard for Software Safety Plans" |
 |
Korea Institute of Science and Technology Information
Gwahangno, Yuseong-gu, Daejeon, 305-806, Korea TEL : +82-42-869-1752
Copyright (c) 2009 KISTI. All Rights Reserved. For more information mail to
webmaster
