Robust requirements specifications for safety-critical systems
Abstract
Experience in safety-critical systems has shown that deviations from assumed behavior can and do cause accidents. This suggests that the development of requirements specifications for such systems should be supported with a risk analysis. In this paper, we present an approach to the development of robust requirements specifications (i.e. specifications that are adequate for the risks involved), based on qualitative and quantitative analyses.
- Publication:
-
NASA STI/Recon Technical Report N
- Pub Date:
- October 1993
- Bibcode:
- 1993STIN...9435532S
- Keywords:
-
- Control Systems Design;
- Process Control (Industry);
- Reliability Analysis;
- Reliability Engineering;
- Requirements;
- Robustness (Mathematics);
- Safety;
- Software Engineering;
- Specifications;
- Design Analysis;
- Risk;
- Engineering (General)