Towards Goal-Based Software Safety Certification Based on Prescriptive Standards

2011 ◽  
Author(s):  
Erik Stensrud ◽  
Torbjorn Skramstad ◽  
Jingyue Li ◽  
Jing Xie
Keyword(s):  
Software Safety ◽  
Safety Certification

Software safety certification: a multidomain problem

IEEE Software ◽  
1999 ◽  
Vol 16 (4) ◽  
pp. 31-38 ◽  
Author(s):  
P. Rodriguez-Dapena
Keyword(s):  
Software Safety ◽  
Safety Certification

Assurance cases and prescriptive software safety certification: A comparative study

2013 ◽  
Vol 59 ◽  
pp. 55-71 ◽  
Author(s):  
Richard Hawkins ◽  
Ibrahim Habli ◽  
Tim Kelly ◽  
John McDermid
Keyword(s):  
Comparative Study ◽  
Software Safety ◽  
Safety Certification ◽  
Assurance Cases

Quantifying Minimum-Time-To-Intrusion Based on Dynamic Software Safety Assessment

2000 ◽  
Author(s):  
Jeffery M. Voas ◽  
Gary McGraw ◽  
Anup Ghosh ◽  
Frank Charron ◽  
Michael Schatz
Keyword(s):  
Safety Assessment ◽  
Minimum Time ◽  
Software Safety ◽  
Dynamic Software

Voluntary Product Safety Certification

2016 ◽  
Author(s):  
Ganesh Iyer ◽  
Shubhranshu Singh
Keyword(s):  
Product Safety ◽  
Safety Certification

Software safety analysis of function block diagrams using fault trees

2005 ◽  
Vol 88 (3) ◽  
pp. 215-228 ◽  
Author(s):  
Younju Oh ◽  
Junbeom Yoo ◽  
Sungdeok Cha ◽  
Han Seong Son
Keyword(s):  
Safety Analysis ◽  
Software Safety ◽  
Fault Trees ◽  
Function Block ◽  
Analysis Of Function
Sign in / Sign up

Export Citation Format

Share Document