Requirements analysis using forward and backward search

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.

[1]  Constance L. Heitmeyer,et al.  SCR: a toolset for specifying and analyzing requirements , 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.

[2]  Azer Bestavros,et al.  Management of sensory-motor activity in mobile robots , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[3]  Joanne M. Atlee,et al.  State-Based Model Checking of Event-Driven System Requirements , 1993, IEEE Trans. Software Eng..

[4]  Nancy A. Lynch,et al.  Distributed Computing: Models and Methods , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  Peter Neumann,et al.  Safeware: System Safety and Computers , 1995, SOEN.

[6]  John A. McDermid,et al.  Experience with the application of HAZOP to computer-based systems , 1995, COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security'.

[7]  Robyn R. Lutz.  Targeting safety-related errors during software requirements analysis , 1996, J. Syst. Softw..

[8]  Ian Sommerville,et al.  Software engineering (5th ed.) , 1995 .

[9]  Inderpal S. Bhandari,et al.  Orthogonal Defect Classification - A Concept for In-Process Measurements , 1992, IEEE Trans. Software Eng..

[10]  Jürgen Wunram.  A strategy for identification and development of safety critical software embedded in complex space systems , 1993 .

[11]  Rogério de Lemos,et al.  Analyzing Safety Requirements for Process-Control Systems , 1995, IEEE Softw..

[12]  Elaine J. Weyuker,et al.  Collecting and categorizing software error data in an industrial environment , 2018, J. Syst. Softw..

[13]  Thomas A. Henzinger,et al.  Automatic Symbolic Verification of Embedded Systems , 1996, IEEE Trans. Software Eng..

[14]  Hitoshi Kume,et al.  A Case History Analysis of Software Error Cause-Effect Relationships , 1991, IEEE Trans. Software Eng..

[15]  Alan J. Hu,et al.  Higher-Level Specification and Verification with BDDs , 1992, CAV.

[16]  John A. McDermid,et al.  A development of hazard analysis to aid software design , 1994, Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance.

[17]  Robyn R. Lutz,et al.  Analyzing software requirements errors in safety-critical, embedded systems , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[18]  Nancy G. Leveson,et al.  Completeness and Consistency in Hierarchical State-Based Requirements , 1996, IEEE Trans. Software Eng..

[19]  T. Henzinger,et al.  Automatic Symbolic Veri cation of Embedded Systems , 1996 .

[20]  Nancy G. Leveson,et al.  Safety verification of Ada programs using software fault trees , 1991, IEEE Software.

[21]  Thomas Maier.  FMEA and FTA to Support Safe Design of Embedded Software in Safety-Critical Systems , 1997 .

[22]  Joanne M. Atlee,et al.  State-based model checking of event-driven system requirements , 1991 .

[23]  Clive Fencott,et al.  The application of HAZOP studies to integrated requirements models for control systems , 1995 .

[24]  Andreas J. Drexler,et al.  Higher-level Speciication and Veriication with Bdds , 1993 .

[25]  Donald J. Reifer,et al.  Software Failure Modes and Effects Analysis , 1979, IEEE Transactions on Reliability.

[26]  Judith Crow,et al.  Formalizing Space Shuttle Software Requirements , 1996 .

[27]  Robyn R. Lutz,et al.  Experience report: Using formal methods for requirements analysis of critical spacecraft software , 1994 .

[28]  E. A. Addy.  A case study on isolation of safety-critical software , 1991, COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance.

[29]  Victor R. Basili,et al.  Analyzing Error-Prone System Structure , 1991, IEEE Trans. Software Eng..