Analyzing software requirements errors in safety-critical, embedded systems
- 31 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 126-133
- https://doi.org/10.1109/isre.1993.324825
Abstract
The root causes of safety-related software errors in safety-critical embedded systems are analyzed. The results show that software errors identified as potentially hazardous to the system tend to be produced by different error mechanisms than those that produce nonsafety-related software errors. Safety-related software errors are shown to arise most commonly from: discrepancies between the documented requirements specifications and the requirements needed for correct functioning of the system; and misunderstandings of the interface of the software with the rest of the system. These results are used to identify methods by which requirements errors can be prevented. The goal is to reduce safety-related software errors and to enhance the safety of complex, embedded systems.Keywords
This publication has 14 references indexed in Scilit:
- The computer-related risk of the year: weak links and correlated eventsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Detecting unsafe error recovery schedulesIEEE Transactions on Software Engineering, 1992
- An experimental evaluation of software redundancy as a strategy for improving reliabilityIEEE Transactions on Software Engineering, 1991
- Software requirements analysis for real-time process-control systemsIEEE Transactions on Software Engineering, 1991
- Software safety in embedded computer systemsCommunications of the ACM, 1991
- A case history analysis of software error cause-effect relationshipsIEEE Transactions on Software Engineering, 1991
- An Integrated Approach to Software EngineeringPublished by Springer Nature ,1991
- Collecting and categorizing software error data in an industrial environmentJournal of Systems and Software, 1984
- Analyzing Software SafetyIEEE Transactions on Software Engineering, 1983
- An analysis of errors and their causes in system programsIEEE Transactions on Software Engineering, 1975