Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
SHARPE at the age of twenty two
ACM SIGMETRICS Performance Evaluation Review
Achieving and assuring high availability
ISAS'08 Proceedings of the 5th international conference on Service availability
DAIS'12 Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Hi-index | 0.00 |
The NASA Remote Exploration and Experimentation (REE) Project, managed by the Jet Propulsion Laboratory, has the vision of bringing commercial supercomputing technology into space, in a form which meets the demanding environmental requirements, to enable a new class of science investigation and discovery. Dependability goals of the REE system are 99% reliability over 5 years and 99% avail-ability. In this paper we focus on the reliability/availabilitymodeling and analysis of the REE system. We carry out this task using fault trees, reliability block diagrams, stochastic Reward nets and hierarchical models. Our analysis helps to determine the ranges of parameters for which REE dependability goal will be met. The analysis also allows us to assess different hardware and software fault-tolerance techniques.