Analyzing software requirements errors in safety-critical, embedded systems

@article{Lutz1993AnalyzingSR,
  title={Analyzing software requirements errors in safety-critical, embedded systems},
  author={R. Lutz},
  journal={[1993] Proceedings of the IEEE International Symposium on Requirements Engineering},
  year={1993},
  pages={126-133}
}
  • R. Lutz
  • Published 1993
  • Computer Science
  • [1993] Proceedings of the IEEE International Symposium on Requirements Engineering
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… Expand
347 Citations
Targeting safety-related errors during software requirements analysis
  • R. Lutz
  • Computer Science
  • SIGSOFT '93
  • 1993
  • 122
  • PDF
Targeting safety-related errors during software requirements analysis
  • R. Lutz
  • Computer Science
  • J. Syst. Softw.
  • 1996
  • 21
Requirements discovery during the testing of safety-critical software
  • R. Lutz, Ines Carmen Mikulski
  • Engineering, Computer Science
  • 25th International Conference on Software Engineering, 2003. Proceedings.
  • 2003
  • 31
  • PDF
A Survey of Formal Specification Application to Safety Critical Systems
  • S. P. Nanda, Emanuel S. Grant
  • Computer Science
  • 2019 IEEE 2nd International Conference on Information and Computer Technologies (ICICT)
  • 2019
  • 1
  • Highly Influenced
Safety analysis of an evolving software architecture
  • R. de Lemos
  • Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)
  • 2000
  • PDF
Safety analysis of an evolving software architecture
  • R. Lemos
  • Engineering, Computer Science
  • HASE
  • 2000
  • 10
  • PDF
Change Management Strategies for Safety-Critical Software
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 42 REFERENCES
A case study on isolation of safety-critical software
  • E. Addy
  • Engineering
  • COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance
  • 1991
  • 10
Analyzing Software Safety
  • 248
Software Requirements Analysis for Real-Time Process-Control Systems
  • 256
A Case History Analysis of Software Error Cause-Effect Relationships
  • 114
  • PDF
An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability
  • 207
  • PDF
Collecting and categorizing software error data in an industrial environment
  • 112
  • PDF
An Analysis of Errors and Their Causes in System Programs
  • A. Endres
  • Computer Science
  • IEEE Trans. Software Eng.
  • 1975
  • 28
  • Highly Influential
An Experiment in Software Error Data Collection and Analysis
  • 123
  • PDF
On hierarchical design of computer systems for critical applications
  • P. Neumann
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1986
  • 72
Software Requirements Analysis and Specification
  • 16
...
1
2
3
4
5
...