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.
Change Management Strategies for Safety-Critical Software
- Computer Science
- 2000
A number of proposed principles for the design of systems that facilitate change are set out, and their effectiveness is assessed by discussing changes made to an aerospace system demonstrator.
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.
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 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.
Analyzing Error-Prone System Structure
- Computer ScienceIEEE Trans. Software Eng.
- 1991
The empirical results support the effectiveness of the data bindings clustering approach for localizing error-prone system structure and quantify ratios of coupling and strength in software systems.
A specifier's introduction to formal methods
- Computer ScienceComputer
- 1990
Formal methods used in developing computer systems are defined, and their role is delineated, and certain pragmatic concerns about formal methods and their users, uses, and characteristics are discussed.