Abstract | ||
---|---|---|
Safety cases become increasingly important for software certification. Models play a crucial role in building and combining information for the safety case. This position paper sketches an ideal model-based safety case with defect hypotheses and failure characterisations. From this, open research issues are derived. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1016/j.entcs.2009.09.007 | Electronic Notes in Theoretical Computer Science (ENTCS) |
Keywords | Field | DocType |
safety case,crucial role,software certification,model-based safety-cases,open research issue,ideal model-based safety case,software-intensive systems,structured argument,defect hypothesis,position paper,failure characterisation,model-based,failure characterisations | Open research,Software certification,Software engineering,Computer science,Position paper,Theoretical computer science,Software,Safety case | Journal |
Volume | Issue | ISSN |
abs/1806.04880 | 4 | Electronic Notes in Theoretical Computer Science, Volume 238,
Issue 4, 28 September 2009, Pages 71-77 |
Citations | PageRank | References |
2 | 0.50 | 3 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter Braun | 1 | 122 | 11.94 |
Jan Philipps | 2 | 162 | 16.45 |
Bernhard Schätz | 3 | 604 | 94.43 |
Stefan Wagner | 4 | 61 | 4.86 |