Abstract
System architecture plays a major role in achieving the safety, availability and reliability requirements of the system. Any violation of these requirements detected at a later stage of the system development life cycle may call for architectural modification, which can be expensive in terms of both cost and time. This paper presents a case study of architecture-centric dependability analysis based on rigorous model checking techniques. A large computer-based safety system of a PWR is considered for this study. This work demonstrates that architectural dependability analysis is feasible for large computer based system (CBS) and it increases the level of confidence in meeting the system dependability requirements at the early stage of development.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
IEEE Standard criteria for safety systems for nuclear power generating stations. IEEE Std-603 (2009)
IEEE Standard criteria for programmable digital devices in safety systems of nuclear power generating stations. IEEE Std 7-4.3.2-2016 (2016)
AERB Safety guide: Safety systems for pressurized heavy water reactors, AERB/NPP-PHWR/SG/D-10, (2005)
AERB Safety guide: Computer based systems of pressurized heavy water reactors, AERB/NPP-PHWR/SG/D-25, (2010)
P. Feiler, Open source AADL tool environment (OSATE), in AADL Workshop, Paris (2004)
M. Huth, M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems (Cambridge University Press, Cambridge, 2004)
E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith, Progress on the State Explosion Problem in Model Checking (Springer, Berlin Heidelberg, Berlin, Heidelberg, 2001), pp. 176–194
IAEA Nuclear Energy Series: Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants. IAEA Nuclear Energy Series NP-T-3.27, International Atomic Energy Agency, Vienna (2018)
M. Kwiatkowska, G. Norman, D. Parker, PRISM 4.0: Verification of probabilistic real-time systems, in Proceeding of 23rd International Conference on Computer Aided Verification (CAV’11), vol. 6806 of LNCS (Springer, 2011), pp. 585–591
L. Meshkat, J.B. Dugan, J.D. Andrews, Dependability analysis of systems with on-demand and active failure modes, using dynamic fault trees. IEEE Trans. Reliab. 51(2), 240–251 (2002)
SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex a: Graphical AADL notation. Annex C: AADL MetaModel and Interchange Formats, Annex D: Language Compliance and Application Program Interface Annex E: Error Model Annex, AS5506/1 (2011)
P. Hokstad, K. Corneliussen, Loss of safety assessment and the IEC 61508 standard. Reliab. Eng. Syst. Saf. 83, 111–120 (2004)
M. Kumar, A.K. Verma, A. Srividya, Modeling demand rate and imperfect proof-test and analysis of their effect on system safety. Reliab. Eng. Syst. Saf. 93, 1720–1729 (2008)
A. Kabra, G. Karmakar, M. Kumar, P. Marathe, Sensitivity analysis of safety system architectures, in Proceeding of International Conference on Industrial Instrumentation and Control (ICIC), India (2015), pp. 846–851
BARC Design basis report: Engineered Safety Feature Actuation System of Indian Pressurized Water Reactor, BARC/E&IG/IPWR/DBR/ESFAS/Rev0 (2016)
AERB Safety Code: Design of light water based Nuclear Power Plants, AERB/NPP-LWR/SC/D (2015)
Acknowledgements
Authors wish to thank Mr. Y. S. Mayya, Â formar Head, Reactor Control Division & Group Director, E&IG for his kind support and encouragement when this work was carried out. Authors also wish to thank Mr. Debashis Das, Director, E&IG, BARC for his continual encouragement.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Wakankar, A., Kabra, A., Bhattacharjee, A.K., Karmakar, G. (2020). Architecture-Centric Dependability Analysis for I&C Safety Systems in NPP: A Case Study. In: Varde, P., Prakash, R., Vinod, G. (eds) Reliability, Safety and Hazard Assessment for Risk-Based Technologies. Lecture Notes in Mechanical Engineering. Springer, Singapore. https://doi.org/10.1007/978-981-13-9008-1_25
Download citation
DOI: https://doi.org/10.1007/978-981-13-9008-1_25
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-9007-4
Online ISBN: 978-981-13-9008-1
eBook Packages: EngineeringEngineering (R0)