References
- IEEE Std 7-4.3.2-2003, "IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations"
- IEEE Std 1012-1998, "IEEE Standard for Software Verification and Validation"
- IEEE Std 1228-1994, "IEEE Standard for Software Safety Plans"
- NUREG/CR-6463, "Review Guidelines on Software Languages for Use in Nuclear Power Plant Safety Systems"
- EPRI TR-106439, "Guidance, on Evaluation and Acceptance of Commercial Grade Digital Equipment for Nuclear Safety Applications
- NUREG/CR-6430, "Software Safety Hazard Analysis"
- Kwon-Ki Moon, "Module Testing Techniques for Nuclear Safety Critical Software Using LDRA Testing Tool", KNS, Autumm Seminar, 2006
- NUREG-0700, "Human-System Interface Design Review Guideline", Rev.01