Abstract
The application of large-scale digital or computer systems involves many components, elements, and modules. System reliability and safety need to be calculated no matter how complicated is the structure. Estimation of system reliability/safety provides useful information for system design and verification. Risk allocation to the designed system in a balanced manner is an application example.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kang HG, Jang SC, Ha JJ (2002) Evaluation of the impact of the digital safety-critical I&C systems, ISOFIC2002, Seoul, Korea, November 2002
Sancaktar S, Schulz T (2003) Development of the PRA for the AP1000, ICAPP '03, Cordoba, Spain, May 2003
Hisamochi K, Suzuki H, Oda S (2002) Importance evaluation for digital control systems of ABWR Plant, The 7th Korea-Japan PSA Workshop, Jeju, Korea, May 2002
HSE (1998) The use of computers in safety-critical applications, London, HSE books
Kang HG, et al. (2003) Survey of the advanced designs of safety-critical digital systems from the PSA viewpoint, Korea Atomic Energy Research Institute, KAERI/AR-00669/2003
Goldberg BE, Everhart K, Stevens R, Babbitt N III, Clemens P, Stout L (1994) System engineering “Toolbox” for design-oriented engineers, NASA Reference Publication 1358
Meshkat L, Dugan JB, Andrews JD (2000) Analysis of safety systems with ondemand and dynamic failure modes, Proceedings of 2000 RM
White RM, Boettcher DB (1994) Putting Sizewell B digital protection in context, Nuclear Engineering International, pp. 41–43
Parnas DL, Asmis GJK, Madey J (1991) Assessment of safety-critical software in nuclear power plants, Nuclear Safety, Vol. 32, No. 2
Butler RW, Finelli GB (1993) The infeasibility of quantifying the reliability of lifecritical real-time software, IEEE Transactions on Software Engineering, Vol. 19, No. 1
Kang HG, Sung T, et al (2000) Determination of the Number of Software Tests Using Probabilistic Safety Assessment KNS conference, Proceeding of Korean Nuclear Society, Taejon, Korea
Littlewood B, Wright D (1997) Some conservative stopping rules for the operational testing of safety-critical software, IEEE Trans. Software Engineering, Vol. 23, No. 11, pp. 673–685
Saiedian H (1996) An Invitation to formal methods, Computer
Rushby J (1993) Formal methods and the certification of critical systems, SRI-CSL-93-07, Computer Science Laboratory, SRI International, Menlo Park
Welbourne D (1997) Safety critical software in nuclear power, The GEC Journal of Technology, Vol. 14, No. 1
Dahll G (1998) The use of Bayesian belief nets in safety assessment of software based system, HWP-527, Halden Project
Eom HS, et al. (2001) Survey of Bayesian belief nets for quantitative reliability assessment of safety critical software used in nuclear power plants, Korea Atomic Energy Research Institute, KAERI/AR-594-2001, 2001
Littlewood B, Popov P, Strigini L (1999) A note on estimation of functionally diverse system, Reliability Engineering and System Safety, Vol. 66, No. 1, pp. 93-95
Bastl W, Bock HW (1998) German qualification and assessment of digital I&C systems important to safety, Reliability Engineering and System Safety, Vol. 59, pp. 163-170
Choi JG, Seong PH (2001) Dependability estimation of a digital system with consideration of software masking effects on hardware faults, Reliability Engineering and System Safety, Vol. 71, pp. 45-55
Bayrak T, Grabowski MR (2002) Safety-critical wide area network performance evaluation, ECIS 2002, June 6–8, Gdańsk, Poland
Kang HG, Jang SC (2006) Application of condition-based HRA method for a manual actuation of the safety features in a nuclear power plant, Reliability Engineering & System Safety, Vol. 91
Kauffmann JV, Lanik GT, Spence RA, Trager EA (1992) Operating experience feedback report – human performance in operating events, USNRC, NUREG-1257, Vol. 8, Washington DC
Decortis F (1993) Operator strategies in a dynamic environment in relation to an operator model, Ergonomics, Vol. 36, No. 11
Park J, Jung W (2003) The requisite characteristics for diagnosis procedures based on the empirical findings of the operators’ behavior under emergency situations, Reliability Engineering & System Safety, Volume 81, Issue 2
Julius JA, Jorgenson EJ, Parry GW, Mosleh AM (1996) Procedure for the analysis of errors of commission during non-power mode of nuclear power plant operation, Reliability Engineering & System Safety, Vol. 53
OECD/NEA Committee on the safety of nuclear installations, 1999, ICDE project report on collection and analysis of common-cause failures of centrifugal pumps, NEA/CSNI/R(99)2
OECD/NEA Committee on the safety of nuclear installations, 2003, ICDE project report: Collection and analysis of common-cause failures of check valves, NEA/CSNI/R(2003)15
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer London
About this chapter
Cite this chapter
Kang, H. (2009). Issues in System Reliability and Risk Model. In: Seong, P. (eds) Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems. Springer Series in Reliability Engineering. Springer, London. https://doi.org/10.1007/978-1-84800-384-2_2
Download citation
DOI: https://doi.org/10.1007/978-1-84800-384-2_2
Publisher Name: Springer, London
Print ISBN: 978-1-84800-383-5
Online ISBN: 978-1-84800-384-2
eBook Packages: EngineeringEngineering (R0)