A domain-specific safety analysis for digital nuclear plant protection systems

2011 5th International Conference on Secure Software Integration and Reliability Improvement - Companion, SSIRI-C 2011

Volumn , Issue , 2011, Pages 68-75

  Yoon, Sanghyun ^a   Jo, Jaeyeon ^a   Yoo, Junbeom ^a  

^a Konkuk University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DOMAINS; CRITICAL FAILURES; DOMAIN SPECIFIC; FAULT-TREES; FORMAL SPECIFICATION LANGUAGE; LARGE PARTS; NUCLEAR PLANT; REACTOR PROTECTION SYSTEMS; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS; SAFETY EXPERTS; SOFTWARE FAULT;

NUCLEAR REACTORS; PLANT EXTRACTS; PLANT SHUTDOWNS; RELIABILITY ANALYSIS; SECURITY SYSTEMS; SPECIFICATION LANGUAGES;

QUALITY CONTROL;

EID: 80052999187     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SSIRI-C.2011.21     Document Type: Conference Paper

References (22)

1. International. Electrotechnical Commission (IEC). International standard for programmable controllers: Programming languages, 1993. part 3.
2. D. Harel. On visual formalism. Communication of the ACM, 31(5):514- 530, 1986.
3. KAERI(Korea Atomic Energy Rearch Institute). SRS for Reactor Protection System. KNICS-RPS-SRS101 Rev.00, 2003.
4. KAERI(Korea Atomic Energy Rearch Institute). Fromal SRS for Reactor Protection System. KNICS-RPS-SVR131-01 Rev.00, 2005.
5. T. Kim, J. Yoo, and S. Cha. A Synthesis Method of Software FaultTree from NuSCR Formal Specification using Templates. Journal of the Korean Institute of Information Scientists and Engineers - Software and Application (in Korean), 32(12):1178-1191, 2005.
6. KNICS. http://www.knics.re.kr/english/eindex.html.
7. N. G. Leveson. SAFEWARE, System safety and Computers. Addison Wesley, 1995.
8. N. G. Leveson, S. Cha, and T. Shimeall. Safety verification of ada programs using software fault trees. IEEE Software, 8(4):48-59, 1991. (Pubitemid 21660971)
9. N. G. Leveson and P. Harvey. Analyzing software safety. IEEE Software, 9(5):569579, 1983.
10. N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J. D. Reese. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, 20(9):684-707, 1994.
11. S.-Y. Min, Y. kyu Jang, S. Cha, Y.-R. Kwon and D. Bae. Safety verification of Ada95 programs using software fault trees. In Computer Safety, Reliability and Security (SAFECOMP) - LNCS 1698/1999, pages 226-238, 1999.
12. R. Mojdehbakhsh, S. Subramanian, R. Vishnuvajjala, W. Tsai, and L. Elliott. A process for software requirements safety analysis.In International Symposium on Software Reliability Engineering, pages 45-54, 1994.
13. Y. Oh, J. Yoo, S. Cha, and H. S. Son. Software Safety Analysis of Function Block Diagrams using Fault Trees. Reliability Engineering and System Safety, 88(3):215-228, 2005. (Pubitemid 40415372)
14. Y. Papadopoulos and M. Maruhn. Model-based synthesis of fault trees from matlab-simulink models. In the 2001 International Conference on Dependable Systems and Networks (DSN01), pages 7782, 2001.
15. Y. Papadopoulos, J. McDermid, R. Sasse, and G. Heiner. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering and System Safety, 71(3):229247, 2001.
16. G.-Y. Park, K. Y. Koh, E. Jee, and P. H. Seong. Fault tree analysis of KNICS RPS software. Nuclear Engineering and Technology, 40(5):397- 408, 2008.
17. V. Ratan, K. Partridge, J. Reese, and N. Leveson. Safety analysis tools for requirements specifications. In the 7thCOMPASS Workshop, pages 149160, 1996.
18. K. Sullivan, J. Dugan, and C. Coppit. The Galileo fault tree analysis tool. In the 29th Annual International Symposium on Fault-Tolerant Computing, pages 232235, 1999.
19. K. Vemuri, J. Dugan, and K. Sullivan. Automatic synthesis of fault trees for computer-based systems. IEEE Transactions on Reliability, 48(4):394- 402, 1999. (Pubitemid 30541636)
20. J. Yoo, S. Cha, and H. S. Son. Automatic Generation of Goal-Treefrom Statecharts Requirements Specification. America Nuclear Society Transactions, 88:37-38, 2003.
21. J. Yoo, E. Jee, and S. S. Cha. Formal Modeling and Verification of Safety-Critical Software. IEEE Software, 26(3):4249, May/June 2009.
22. J. Yoo, T. Kim, S. Cha, J.-S. Lee, and H. S. Son. A Formal Software Requirements Specification Method for Digital Nuclear Plants Protection Systems. Journal of Systems and Software, 74(1):7383, 2005.