A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments.
Anaheed AyoubBaekGyu KimInsup LeeOleg SokolskyPublished in: SAFECOMP (2012)
Keyphrases
- software systems
- software development
- safety critical
- software design
- software maintenance
- embedded systems
- neural network
- high confidence
- analysis tool
- computer systems
- source code
- user interface
- image sequences
- software tools
- expert systems
- software package
- real world
- confidence level
- commercial software
- real time
- confidence values