Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Distributed computing: models and methods
Handbook of theoretical computer science (vol. B)
Safeware: system safety and computers
Safeware: system safety and computers
Functional documents for computer systems
Science of Computer Programming
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Software deviation analysis
Targeting safety-related errors during software requirements analysis
Journal of Systems and Software
Specifying the mode logic of a flight guidance system in CoRE and SCR
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Requirements analysis using forward and backward search
Annals of Software Engineering
The Core Method for Real-Time Requirements
IEEE Software
SCR*: A Toolset for Specifying and Analyzing Software Requirements
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Toward safe reuse of product family specifications
SSR '99 Proceedings of the 1999 symposium on Software reusability
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool
Automated Software Engineering
Software fault tree analysis for product lines
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Hi-index | 0.00 |
A safety analysis was performed on the software requirements for a family of flight instrumentation displays of commercial aircraft. First, an existing Safety Checklist was extended to apply to four-variable models and used to analyze the requirements models for representative members of the product family. The results were evaluated against an initial specification of the product family's required commonalities and variabilities. The Safety Checklist was found to be effective at analyzing the completeness of the product family requirements and at identifying additional variabilities and commonalities. Secondly, a forward and backward search for hazards was performed on representative members of the product family. Additional safety requirements for enhanced fault tolerance were derived from these searches. The safety analysis techniques used here appear to have applicability for enhancing the completeness and robustness of a product family's safety-related software requirements.