Analyzing software requirements errors in safety-critical, embedded systems
@article{Lutz1993AnalyzingSR,
title={Analyzing software requirements errors in safety-critical, embedded systems},
author={Robyn R. Lutz},
journal={[1993] Proceedings of the IEEE International Symposium on Requirements Engineering},
year={1993},
pages={126-133}
}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…Â
352 Citations
Targeting safety-related errors during software requirements analysis
- Computer ScienceSIGSOFT '93
- 1993
This paper provides a Safety Checklist for use during the analysis of software requirements for spacecraft and others safety-critical, embedded systems to reduce the number of safety-related software errors.
On the safety analysis of requirements specifications for safety-critical software
- Computer Science
- 1995
Requirements discovery during the testing of safety-critical software
- Computer Science25th International Conference on Software Engineering, 2003. Proceedings.
- 2003
The results suggest that "false positive" problem reports from testing provide a rich source of requirements information that can be used to reduce operational anomalies in critical systems.
A Survey of Formal Specification Application to Safety Critical Systems
- Computer Science2019 IEEE 2nd International Conference on Information and Computer Technologies (ICICT)
- 2019
The paper will examine how different domains affect the standards of formal specification methods in different applications and the approach will be to survey various papers in the related fields.
Identifying dependability requirements for space software systems
- Computer Science
- 2010
A structured software dependability requirements analysis process that uses system software requirement specifications and traditional safety analysis techniques and the final results are more complete, consistent, and reliable specifications.
Analysis of Errors in Safety Critical Embedded System Software in Aerial Vehicle
- Computer Science
- 2017
The main aim is to propose the error prevention guidelines that are practical to be implemented despite the project schedules and considered valuable outcome of the Independent Verification and Validation effort carried out for this safety critical embedded software.
Safety analysis of an evolving software architecture
- Computer ScienceProceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)
- 2000
This work assumes that components remain unchanged while their interactions adapt to the different requirements needs, and performs safety analysis using model checking to verify whether safe behaviour is maintained when interactions between components change.
Safety analysis of an evolving software architecture
- Computer ScienceHASE
- 2000
This work assumes that components remain unchanged while their interactions adapt to the different requirements needs, and performs safety analysis using model checking to verify whether safe behaviour is maintained when interactions between components change.
A process for failure modes and effects analysis of computer software
- Computer ScienceAnnual Reliability and Maintainability Symposium, 2003.
- 2003
The procedure described here was developed and used to analyze mission- and safety-critical software systems and database tools make the process reasonably painless, highly accurate, and very thorough.
Engineering Requirements for System Reliability and Security
- Computer Science
- 2007
This paper overviews a systematic, goal-oriented approach to requirements engineering for high-assurance systems and the target of this approach is a complete, consistent, adequate, and structured set of software requirements and environment assumptions.
References
SHOWING 1-10 OF 31 REFERENCES
A case study on isolation of safety-critical software
- BusinessCOMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance
- 1991
In the case study presented, a series of problems affecting safety that were identified in a large, real-time control system that contained both safety-critical and non-safety-critical functions were…
Analyzing Software Safety
- Computer ScienceIEEE Transactions on Software Engineering
- 1983
This paper defines software safety and describes a technique called software fault tree analysis which can be used to analyze a design as to its safety and has been applied to a program which controls the flight and telemetry for a University of California spacecraft.
Software Requirements Analysis for Real-Time Process-Control Systems
- Computer ScienceIEEE Trans. Software Eng.
- 1991
Using these criteria, analysis procedures can be defined for particular state-machine modeling languages to provide semantic analysis of real-time process-control software requirements requirements.
A Case History Analysis of Software Error Cause-Effect Relationships
- Computer ScienceIEEE Trans. Software Eng.
- 1991
Four major error-occurrence mechanisms were identified; two are related to hardware and software interface specification misunderstandings, while the other two arerelated to system and module function misunderstandings.
An Experimental Evaluation of Software Redundancy as a Strategy For Improving Reliability
- Computer ScienceIEEE Trans. Software Eng.
- 1991
The strategy of using multiple versions of independently developed software as a means to tolerate residual software design faults is discussed. The effectiveness of multiversion software is studied…
Collecting and categorizing software error data in an industrial environment
- Computer ScienceJ. Syst. Softw.
- 1984
An analysis of errors and their causes in system programs
- MedicineIEEE Transactions on Software Engineering
- 1975
Using a classification of the errors according to various attributes, conclusions can be drawn concerning the possible causes ofThese errors detected during internal testing of the operating system DOS/VS.
An Experiment in Software Error Data Collection and Analysis
- Computer ScienceIEEE Transactions on Software Engineering
- 1979
An experiment in software error data collection and analysis was conducted in order to study relationships between complexity measures and error charateristics under conditions where the error data could be carefully defined and collected.
On hierarchical design of computer systems for critical applications
- Computer ScienceIEEE Transactions on Software Engineering
- 1986
Hierarchical abstraction is shown to provide the basis for successive layers of trust with respect to the full set of critical requirements, explicitly reflecting differing degrees of criticality.
Software Requirements Analysis and Specification
- Computer Science
- 1992
This chapter discusses the requirements taxonomy, characteristics of requirements requirements paradigms, and design system support processes requirements changing turning the wheel process.