References
- W. Velseley, F. Goldberg, N. Roberts, and D. Haasl, Fault Tree Handbook, NUREG 042, US Nuclear Regulatory Comission, US, 1981
- T. Kim, S. Cha, D. Kim, and H. Chung, 'NuSCR-software requirements specification language,' in Proceedings of the 5th Formal Methods Workshop (FMW 2001), June 2001
- J. Yoo, T. Kim, S. Cha, J. Lee, and H. Son, 'A formal software requirements specification method for digital nuclear plants protection systems,' Journal of Systems and Software, vol. 74, pp. 73-83, 2005 https://doi.org/10.1016/j.jss.2003.10.018
- N. Leveson and P. Harvey, 'Analyzing software safety,' IEEE Transactions on Software Engineering, vol. 9, pp. 569-579, Sept. 1983
- N. Leveson, S. Cha, and T. Shimeall, 'Safety verification of ada programs using software fault trees,' IEEE Software, vol. 8, pp. 48-60, July 1991 https://doi.org/10.1109/52.300036
- S. Min, Y. Jang, S. Cha, Y. Kwon, and D. Bae, 'Safety verification of ada95 programs using software fault trees,' in Proceeding of SAFECOMP 1999, pp. 226-238, 1999
- C. Garret, S. Guarro, and G. Apostolakis, 'The dynamic flowgraph methodology for assessing the dependability of embedded software systems,' IEEE Transactions on Systems, Man and Cybernetics, vol. 25, no. 5, pp. 824-840, 1995 https://doi.org/10.1109/21.376495
- M. Yau, S. Guarro, and G. Apostolakis, 'Demonstration of the dynamic flowgraph methodology using the titan ii space launch vehicle digital flight control system,' Reliability Engineering and System Safety, vol. 49, pp. 335-353, 1995 https://doi.org/10.1016/0951-8320(95)00050-C
- M. Yau, G. Apostolakis, and S. Guarro, 'The use of prime implicants in dependability analysis of software controlled systems,' Reliability Engineering and System Scifety, vol. 62, pp. 23-32, 1998 https://doi.org/10.1016/S0951-8320(98)00002-7
- C. Garrett and G. Apostolakis, 'Automated hazard analysis of digital control systems,' Reliability Engineering and System Safety, vol. 77, pp. 1-17, 2002 https://doi.org/10.1016/S0951-8320(02)00007-8
- 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, vol. 71, pp. 229-247, 2001 https://doi.org/10.1016/S0951-8320(00)00076-4
- Y. Papadopoulos and M. Marohn, 'Model-based synthesis of fault trees from matlab-simulink models,' in Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN '01), pp. 77-82, IEEE, Jul. 2001 https://doi.org/10.1109/DSN.2001.941393
- K. Vemuri, J. Dugan, and S. Sullivan, 'Automatic synthesis of fault trees for computer-based systems,' IEEE Transactions on Reliability, vol. 48, pp. 394-402, Dec. 1999 https://doi.org/10.1109/24.814522
- K. J. Sullivan, J. B. Dugan, and C. Coppit, 'The Galileo fault tree analysis tool,' in Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing, (Madison, Wisconsin), pp. 232-235, Jun. 1999
- KNICS, 'Knics (korea nuclear instrumentation and control system research and development center),' 2001
- D. Parnas and J. Madey, 'Functional documentation for computer systems engineering,' Tech. Rep. Technical Report CRL No. 273, Telecommunications Research Institute of Ontario, McMaster University, 1991
- E. Yourdon and L. Constantine, Structured design: fundamentals of a discipline of computer program and systems design, Prentice-Hall, 1986
- T. Henzinger, Z. Manna, and A. Pnueli, 'Timed transition systems,' in Proceedings REX Workshop on Real-Time: Theory in Practice, vol. 600 of Lecture Notes in Computer Science, pp. 226-251, Springer-Verlag, 1992 https://doi.org/10.1007/BFb0031995
- AECL, Software Work Practices -Procedure for the specification of Software Requirements for Safety Critical Software, Sep. 1991
- T. Kim, Property-based Theorem Proving and Template-based Fault Tree Analysis of NuSCR Requirements Specification, Ph.D Dissertation, KAIST, 2005
- M. Hsueh, T. Tsai, and R. Iyer, 'Fault injection techniques and tools,' IEEE Computer, vol. 30, pp. 75-82, Apr. 1997 https://doi.org/10.1109/2.585157
- M. Sullivan and R. Chillarege, 'Software defects and their impact on system availability - A study of field failures in operating systems,' in Proceedings of the 21st International Symposium on Fault-Tolerant Computing, pp. 2-9, 1991 https://doi.org/10.1109/FTCS.1991.146625
- E. Jenn, J. Arlat, M. Rimen, J. Ohlsson, and J. Karlsson, 'Fault injection into VHDL models: The MEFISTO tool,' in Proceedings of the 24th Annual International Symposium on Fault-Tolerant Computing, (Los Alamitos, CA, USA), pp. 66-75, IEEE Computer Society Press, Jun. 1994 https://doi.org/10.1109/FTCS.1994.315656
- H. Ammar, S. Yacoub. and A. Ibrahim, 'A fault model for fault injection analysis of dynamic UML specifications,' in Proceedings of the ISSRE 2001, 2001
- J. Christmansson and R. Chillarege, 'Generation of an error set that emulates software faults based on field data,' in Proceedings of the Twenty-Sixth International Symposium on Fault-Tolerant Computing, 1996 https://doi.org/10.1109/FTCS.1996.534615