Collecting and categorizing software error data in an industrial environment
Journal of Systems and Software - Special issue on the fifth Minnowbrook workshop on software performance evaluation
Analyzing Error-Prone System Structure
IEEE Transactions on Software Engineering
Distributed computing: models and methods
Handbook of theoretical computer science (vol. B)
A case history analysis of software error cause-effect relationships
IEEE Transactions on Software Engineering
Modern operating systems
Orthogonal Defect Classification-A Concept for In-Process Measurements
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
Safeware: system safety and computers
Safeware: system safety and computers
Software engineering (5th ed.)
Software engineering (5th ed.)
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)
Targeting safety-related errors during software requirements analysis
Journal of Systems and Software
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Higher-Level Specification and Verification with BDDs
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Safety Analysis of Requirements for a Product Family
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Proceedings of the 25th International Conference on Software Engineering
Fault Tree Analysis for Software Design
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Applying Adaptive Safety Analysis Techniques
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
OF-FMEA: an approach to safety analysis of object-oriented software intensive systems
Artificial intelligence and security in computing systems
Bi-directional safety analysis of product lines
Journal of Systems and Software
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
Software failure analysis in requirement phase
Proceedings of the 5th India Software Engineering Conference
An ontological approach to systematization of SW-FMEA
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
The requirements analysis of critical software components often involves a search for hazardous states and failure modes. This paper describes the integration of a forward search for consequences of reaching these forbidden modes with a backward search for contributing causes. Results are reported from two projects in which the integrated search method was used to analyze the requirements of critical spacecraft software. The search process was found to be successful in identifying some ambiguous, inconsistent, and missing requirements. More importantly, it identified four significant, unresolved requirements issues involving complex system interfaces and unanticipated dependencies. The results suggest that recent efforts by researchers to integrate forward and backward search have merit.