Proceedings ArticleDOI
REST: A parallelized system for reliability estimation
David M. Nicol,D.L. Palumbo,A. Rifkin +2 more
- pp 436-442
TLDR
The authors describe a software tool called REST (Reliability Estimation System Testbed) that provides increased power of expression and computation that is innovative in its use of an object-oriented language to describe systems.Abstract:
The authors describe a software tool called REST (Reliability Estimation System Testbed) that provides increased power of expression and computation. REST is innovative in its use of an object-oriented language to describe systems, in its avoidance of a memory bottleneck during the analysis, and in its automatic exploitation of parallelism both on a commercial multiprocessor and on a network of ordinary workstations. The potential of the Failure Mode Effects Simulation paradigm on which REST is based is shown by rapid analysis on a parallel computer of a complex reconfigurable system. >read more
Citations
More filters
Patent
Apparatus and method for event correlation and problem reporting
TL;DR: In this paper, a computer implemented method on a computer readable media is provided for determining the source of a problem in a complex system of managed components based upon symptoms, where the problem source identification process is split into different activities.
Proceedings ArticleDOI
System-level modeling in the ADEPT environment of a distributed computer system for real-time applications
TL;DR: The paper presents the ADEPT environment for designing dependable systems from concept to implementation and an application ofADEPT to modeling a distributed computer system used in real-time embedded train control applications.
Proceedings ArticleDOI
Automating failure modes and effects analysis
TL;DR: In this article, the authors present the current results of a multi-year effort to automate failure modes and effects analysis (FMEA) and its associated reliability analysis, where a modular approach to modeling the system failure behavior is described.
Proceedings ArticleDOI
A graphical model-based reliability estimation tool and failure mode and effects simulator
TL;DR: RPM combines the features of a powerful reliability tool, Reliability Estimation System Testbed, with the convenient graphical modelling and simulation capabilities of an off-the-shelf commercial software package, Block Oriented Network Simulator (BONeS), from the Alta Group of Cadence Design Systems.
Journal ArticleDOI
Reliability analysis of complex models using SURE bounds
David M. Nicol,Daniel L. Palumbo +1 more
TL;DR: How reliability analysis based on SURE mathematics can attack very large problems by accepting recomputation in order to reduce memory usage and how the SURE theorem supports efficient Monte Carlo based estimation of reliability is shown.
References
More filters
Journal ArticleDOI
Survey of software tools for evaluating reliability, availability, and serviceability
Allen M. Johnson,Miroslaw Malek +1 more
TL;DR: Modeling elements that have gained widespread use for general systems, as well as fault-tolerant systems, are included and can be used to aid in selecting models and tools for a particular application or designing tools for future needs.
Journal ArticleDOI
Reliability estimation of fault-tolerant systems: tools and techniques
Robert Geist,Kishor S. Trivedi +1 more
TL;DR: A comparative evaluation of state-of-the-art tools and techniques for estimating the reliability of fault-tolerant computing systems is presented, with particular attention to design limitations imposed by underlying model assumptions and the efficiency and accuracy of the solution techniques employed.
SURE reliability analysis: Program and mathematics
Ricky W. Butler,Allan L. White +1 more
TL;DR: The SURE program is a new reliability analysis tool for ultrareliable computer system architectures that automatically computes the upper and lower bounds on the probability of system failure using a large class of semi-Markov models.
Journal ArticleDOI
An Abstract Language for Specifying Markov Reliability Models
TL;DR: This paper presents a new approach to the problem of delineating all of the states and transitions in a model of a complex system by using an abstract model-definition language which essentially defines a set of rules which are used to generate the Markov model automatically.
Proceedings ArticleDOI
Advanced Information Processing System (AIPS)-based fault tolerant avionics architecture for launch vehicles
TL;DR: An avionics architecture for the advanced launch system (ALS) that uses validated hardware and software building blocks developed under the advanced information processing system program is presented and it is shown that allowing the vehicle to launch with selected detected failures can potentially reduce the recurring launch costs.