A general graphical user interface for automatic reliability modeling

Reported here is a general Graphical User Interface (GUI) for automatic reliability modeling of Processor Memory Switch (PMS) structures using a Markov model. This GUI is based on a hierarchy of windows. One window has graphical editing capabilities for specifying the system's communication structure, hierarchy, reconfiguration capabilities, and requirements. Other windows have field texts, popup menus, and buttons for specifying parameters and selecting actions. An example application of the GUI is given.

[1]  Ricky W. Butler,et al.  SURE reliability analysis: Program and mathematics , 1988 .

[2]  Sally C. Johnson.  Reliability analysis of large, complex systems using ASSIST , 1988 .

[3]  Mark A. Linton,et al.  Generalized graphical object editing , 1990 .

[4]  Christian Landrault,et al.  SURF - A Program for Modeling and Reliability Prediction for Fault-Tolerant Computing Systems , 1978, Jerusalem Conference on Information Technology.

[5]  Kai Lai Chung,et al.  Markov Chains with Stationary Transition Probabilities , 1961 .

[6]  Kishor S. Trivedi,et al.  The hybrid automated reliability predictor , 1986 .

[7]  Algirdas Avizienis,et al.  The STAR (Self-Testing And Repairing) Computer: An Investigation of the Theory and Practice of Fault-Tolerant Computer Design , 1971, IEEE Transactions on Computers.

[8]  Stephen Roy Mcconnel.  Analysis and modeling of transient errors in digital computers , 1981 .

[9]  Larry D. Lee.  Reliability Bounds for Fault-Tolerant Systems with Competing Responses to Component Failures , 1986, IEEE Transactions on Reliability.

[10]  Ricky W. Butler,et al.  The art of fault-tolerant system reliability modeling , 1990 .

[11]  Kishor S. Trivedi,et al.  A tutorial on the CARE III approach to reliability modeling. [of fault tolerant avionics and control systems] , 1981 .

[12]  Salvatore J. Bavuso,et al.  A graphical language for reliability model generation , 1990, Annual Proceedings on Reliability and Maintainability Symposium.

[13]  Daniel P. Siewiorek,et al.  Derivation and Calibration of a Transient Error Reliability Model , 1982, IEEE Transactions on Computers.

[14]  Ricky W. Butler,et al.  The PAWS and STEM reliability analysis programs , 1988 .

[15]  A. L. White.  Upper and lower bounds for semi-Markov reliability models of reconfigurable systems , 1984 .

[16]  Robert S. Swarz,et al.  The theory and practice of reliable system design , 1982 .

[17]  R. W. Butler.  An abstract specification language for Markov reliability models , 1985 .

[18]  H. D. Miller,et al.  The Theory Of Stochastic Processes , 1977, The Mathematical Gazette.

[19]  D. P. Siewiorek,et al.  Towards automatic Markov reliability modeling of computer architectures , 1986 .

[20]  Kishor S. Trivedi,et al.  Extended Stochastic Petri Nets: Applications and Analysis , 1984, Performance.

[21]  Allen Newell,et al.  Computer Structures: Principles and Examples , 1983 .

[22]  Sally C. Johnson,et al.  ASSIST: User's manual , 1986 .

[23]  D. L. Palumbo,et al.  State reduction for semi-Markov reliability models , 1990, Annual Proceedings on Reliability and Maintainability Symposium.

[24]  V. I. Romanovsky.  Discrete Markov Chains , 1970 .

[25]  Daniel P. Siewiorek,et al.  Automatic Generation of Symbolic Reliability Functions for Processor-Memory-Switch Structures , 1982, IEEE Transactions on Computers.