Safety Analysis of Safety-Critical Systems Using State-Space Models

IEEE Software ◽

10.1109/ms.2017.93 ◽

2017 ◽

Vol 34 (4) ◽

pp. 38-47 ◽

Author(s):

Vinay Kumar ◽

Lalit Kumar Singh ◽

Anil Kumar Tripathi ◽

Pooja Singh

Keyword(s):

State Space ◽

Safety Analysis ◽

State Space Models ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Transformation of deterministic models into state space models for safety analysis of safety critical systems: A case study of NPP

Annals of Nuclear Energy ◽

10.1016/j.anucene.2017.02.026 ◽

2017 ◽

Vol 105 ◽

pp. 133-143 ◽

Author(s):

Vinay Kumar ◽

Lalit Kumar Singh ◽

Anil Kumar Tripathi

Keyword(s):

State Space ◽

Safety Analysis ◽

State Space Models ◽

Critical Systems ◽

Deterministic Models ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Software Safety Analysis to Identify Critical Software Faults in Software-Controlled Safety-Critical Systems

ICT and Critical Infrastructure: Proceedings of the 48th Annual Convention of Computer Society of India- Vol II - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-03095-1_48 ◽

2014 ◽

pp. 455-465

Author(s):

Ben Swarup Medikonda ◽

P. Seetha Ramaiah

Keyword(s):

Safety Analysis ◽

Critical Systems ◽

Software Safety ◽

Software Faults ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

SysML Aided Safety Analysis for Safety-Critical Systems

Artificial Intelligence and Computational Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-642-23881-9_35 ◽

2011 ◽

pp. 270-275

Author(s):

Guoqi Li ◽

Boxuan Wang

Keyword(s):

Safety Analysis ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

AADL-Based Safety Analysis Approaches for Safety-Critical Systems

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst.2019.00058 ◽

2019 ◽

Author(s):

Xiaomin Wei

Keyword(s):

Safety Analysis ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Model Integration of Systems Design and Safety Analysis Processes for Systematic Design of Safety-Critical Systems

Journal of the Korea Academia-Industrial cooperation Society ◽

10.5762/kais.2016.17.8.363 ◽

2016 ◽

Vol 17 (8) ◽

pp. 363-368

Author(s):

Chang-Won Kim ◽

Jae-Chon Lee

Keyword(s):

Systems Design ◽

Safety Analysis ◽

Model Integration ◽

Systematic Design ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

A Survey of Safety Analysis Techniques for Safety Critical Systems

International Journal of Future Computer and Communication ◽

10.7763/ijfcc.2013.v2.137 ◽

2013 ◽

pp. 134-137 ◽

Author(s):

Aftab Ali Haider ◽

Aamer Nadeem

Keyword(s):

Safety Analysis ◽

Critical Systems ◽

Safety Critical ◽

Analysis Techniques ◽

Safety Critical Systems

Download Full-text

Copula-based reliability and safety analysis of safety-critical systems with dependent failures

Quality and Reliability Engineering International ◽

10.1002/qre.2301 ◽

2018 ◽

Vol 34 (5) ◽

pp. 928-938 ◽

Author(s):

Xujie Jia ◽

Liudong Xing ◽

Gang Li

Keyword(s):

Safety Analysis ◽

Critical Systems ◽

Safety Critical ◽

Dependent Failures ◽

Safety Critical Systems

Download Full-text

Customization of Rational Unified Process (RUP) Methodology for Safety-Critical Systems

International Review on Computers and Software (IRECOS) ◽

10.15866/irecos.v11i6.9184 ◽

2016 ◽

Vol 11 (6) ◽

pp. 566

Author(s):

Mina Zaminkar ◽

Mohammad Reza Reshadinezhad

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Unified Process ◽

Safety Critical Systems

Download Full-text

Generation of testing script based on XML for safety-critical systems

Journal of Computer Applications ◽

10.3724/sp.j.1087.2011.00281 ◽

2011 ◽

Vol 31 (1) ◽

pp. 281-285

Author(s):

Huan HE ◽

Zhong-wei XU ◽

Gang YU ◽

Shi-yu YANG

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Characteristics of human behaviour in safety critical systems by the example of European railway control centres

3rd IET International Conference on System Safety 2008 ◽

10.1049/cp:20080708 ◽

2008 ◽

Author(s):

T. Zahler

Keyword(s):

Human Behaviour ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text