Formal Software Requirements Specification for Digital Reactor Protection Systems |
유준범
(KAIST 전자전산학과)
차성덕 (KAIST 전자전산학) 김창회 (한국원자력연구소 계측제어인간공학연구) 오윤주 (LG전자 UMTS 연구소 차세대단말팀) |
1 | J. Yoo, T. Kim, S. Cha, J. Lee, and H. S. Son, 'A Formal Software Requirements Specification Method for Digital Nuclear Plants Protection Systems,' Journal of Systems and Software, accepted DOI ScienceOn |
2 | Wolsong NPP 2/3/4, Software requirements specification for shutdown system 2 POC, 86-68350-SRS-001, June 1993 |
3 | D. Parnas and J. Madey, 'Functional documentation for computer systems engineering,' CRL 237, Telecommunications Research Institute of Ontariot(TRIO), McMaster Univ., Hamilton, Ontario, 1991 |
4 | Nancy G. Leveson, SAFEWARE, System safety and Computers, Addison Wesley, 1995 |
5 | Doron A. Peled, SOFTWARE RELIABILITY METHODS, Springer, 2001 |
6 | Edmund M. Clarke and Jeannette M. Wing, 'Formal Methods: State of the Art and Future Directions,' ACM Computing Survey, 1996 |
7 | E. A. Emerson, Edmund M. Clarke and A. P. Sistla, 'Automatic verification of finite-state concurrent system using temporal logic specification,' ACM Trans. Programming Languages and Systems, 8(2):244-263, 1986 DOI ScienceOn |
8 | D. vam Dalem, Logic and Structure, Springer-Verlag, 3 edition, 1994 |
9 | U.S. NRC, 'Digital Instrumentation and Control Systems in Nuclear Power Plants: safety and reliability issues,' National Academy Press, 1997 |
10 | KNICS, Korea nuclear instrumentation and control system research and development center, http://www.knics.re.kr |
11 | UK MoD, The procurement of safety critical software in defense equipment, Define Standard 00-55, 1997 |
12 | J. M. Apivey, Introducing Z: a Specification Language and its Formal Semantics, Cambridge University Press, 1988 |
13 | C. B. Jones, Systematic Software Development Using VDM, Prentice-Hall International, 1986 |
14 | D. L. Parnas and J. Madey, 'Functional documentation for computer systems,' Science of Computer Porgrarnming, 25(1):41-61, 1995 DOI ScienceOn |
15 | J. Gutting and J. Horning, Larch: Languages and Tools for Formal Specification, Springer-Verlag, 1993 |
16 | K. L. Heninger, 'Specifying software requirements for complex systems: New techniques and their application,' IEEE Trans. Software Engineering, SE-6(1):2-13, 1980 DOI |
17 | D. Parnas, A. J. Schouwen Van, and J. Maday, 'Documentation of requirements for computer systems,' In RE'93: IEEE International Symposium on Requirements Engineering, 198-207, 1993 DOI |
18 | K. H. Britton, R. A. Parker, D. L. Pamas, et, al., 'Software requirements for the A-7E aircraft,' NRL 9194, Naval Research Laboratory, Washington, D.C., 1992 |
19 | Zphar Manna, Thomas A. Hensinger, and Amir Pnueli, 'Timed transition systems,' In REX Workshop, 226-251, 1991 |