Dependability analysis of safety critical systems: Issues and challenges Raj kamal Kaur a,⇑ , Babita Pandey a , Lalit Kumar Singh b a Department of Computer Science & Engineering and Computer Application respectively, University of Lovely Professional, Phagwara, Punjab, India b Department of Computer Science & Engineering, IIT (BHU), Varanasi, India article info Article history: Received 20 July 2017 Received in revised form 20 April 2018 Accepted 13 May 2018 Keywords: Safety-critical system Dependability Metrics Dependability analysis techniques abstract Safety critical systems progressively used in domains such as nuclear power, transport, medical and information systems are often concerned with a formal process of dependability certification. The intent of dependability process is to ensure that these systems will deliver the expected services to its users. In order to ensure the dependability of large safety-critical systems, the software engineer or security professional needs a thorough knowledge of the process of dependability analysis. In the past several decades, a significant amount of attention has been devoted to the dependability assessment of safety- critical control systems from some perspectives such as reliability, availability, safety, and security. However, for analysis of the critical systems, there is no any universal accepted rigorous dependability analysis process, which helps to choose the metrics, techniques and methodologies for the dependability evaluation of such critical systems. This paper provides a comprehensive detailed literature survey in order to investigate different metrics, threats, means, techniques and methodologies to ensure the dependability of computer-based critical systems. The limitations of these elements are also analyzed with respect to their applicability in SC systems. In addition to this, highlighted various issues (gap), chal- lenges and needs in the context of such systems. The direction for future research is suggested to extend the future scope of research. The purpose of this paper is to interpret a rigorous review concept, of rele- vance across a wide range of affairs. Therefore, this work helps to the academicians, researchers, and practitioners to put this into practice, analyze the shortcomings of existing research and identifying the open areas that are important for the related community. Ó 2018 Elsevier Ltd. All rights reserved. Contents 1. Introduction ......................................................................................................... 128 2. Literature review ..................................................................................................... 130 2.1. Limitation of the existing work .................................................................................... 130 2.1.1. State space explosion ..................................................................................... 130 2.1.2. Missing metrics.......................................................................................... 130 2.1.3. Static nature ............................................................................................ 137 2.1.4. Mitigation of the identified issues ........................................................................... 137 2.1.5. Simple case studies ...................................................................................... 137 2.1.6. Late software level (testing)................................................................................ 137 2.1.7. Security ................................................................................................ 137 2.1.8. Components-based analysis: ............................................................................... 137 2.1.9. Simple Petri Nets: ........................................................................................ 137 2.1.10. Transformation: ........................................................................................ 137 3. Methodology......................................................................................................... 138 3.1. Research questions .............................................................................................. 138 3.2. Search strategy ................................................................................................. 138 3.3. Inclusion criteria ................................................................................................ 138 https://doi.org/10.1016/j.anucene.2018.05.027 0306-4549/Ó 2018 Elsevier Ltd. All rights reserved. ⇑ Corresponding author. E-mail address: grewal.rajkamal03@gmail.com (R.k. Kaur). Annals of Nuclear Energy 120 (2018) 127–154 Contents lists available at ScienceDirect Annals of Nuclear Energy journal homepage: www.elsevier.com/locate/anucene