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

scholarly journals 11.2.2 Reducing the Gap Between Formal and Informal Worlds in Automotive Safety-Critical Systems

2011 ◽  
Vol 21 (1) ◽  
pp. 1306-1320 ◽  
Author(s):  
HugoG. Chalé ◽  
Ofaina Taofifenua ◽  
Thierry Gaudré ◽  
Alexandra Topa ◽  
Nicole Lévy ◽  
...  
Keyword(s):  
Critical Systems ◽  
Automotive Safety ◽  
Safety Critical ◽  
Safety Critical Systems

Satisfying Design Constraints for Automotive Safety-Critical Systems

2007 ◽  
Author(s):  
Isuruwani Herath ◽  
Clive Roberts ◽  
Theodoros N. Arvanitis ◽  
Andrew Bold
Keyword(s):  
Critical Systems ◽  
Design Constraints ◽  
Automotive Safety ◽  
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

scholarly journals An Approach to Modeling Software Safety in Safety-Critical Systems

2009 ◽  
Vol 5 (4) ◽  
pp. 311-322
Author(s):  
Ben Swarup Medikonda ◽  
Seetha Ramaiah Panchumart
Keyword(s):  
Critical Systems ◽  
Software Safety ◽  
Safety Critical ◽  
Modeling Software ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document