Analyzing software requirements errors in safety-critical, embedded systems

R.R. Lutz
[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)
more » ... sunderstandings of the software's interface with the rest of the system. The paper uses these results to identify methods by which requirements errors can be p r evented. The goal is to reduce safety-related software e r r ors and to enhance the safety of complex, embedded systems.
doi:10.1109/isre.1993.324825 dblp:conf/re/Lutz93 fatcat:g5mduai3evgunj7fgos2bkheze