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

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

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

IEEE Software ◽  
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

A framework for software safety in safety-critical systems

2009 ◽  
Vol 34 (2) ◽  
pp. 1-9 ◽  
Author(s):  
Ben Swarup Medikonda ◽  
Seetha Ramaiah Panchumarthy
Keyword(s):  
Critical Systems ◽  
Software Safety ◽  
Safety Critical ◽  
Safety Critical Systems

An Adaptable Software Safety Process for Automotive Safety-Critical Systems

2004 ◽  
Author(s):  
Barbara J. Czerny ◽  
Joseph G. D'Ambrosio ◽  
Paravila O. Jacob ◽  
Brian T. Murray ◽  
Padma Sundaram
Keyword(s):  
Critical Systems ◽  
Software Safety ◽  
Automotive Safety ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document