A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf
.
Analyzing software requirements errors in safety-critical, embedded systems
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering
This paper analyzes the root causes of safety-related software errors in safety-critical, embedded systems. The results show that software errors identi ed a s potentially hazardous to the system tend to be p r oduced by di erent error mechanisms than non-safetyrelated software errors. Safety-related software errors are shown to arise most commonly from (1) discrepancies between the documented r equirements specications and the requirements needed for correct functioning of the system and (2)
doi:10.1109/isre.1993.324825
dblp:conf/re/Lutz93
fatcat:g5mduai3evgunj7fgos2bkheze