Reliability modeling of the MARS system: A case study in the use of different tools and techniques

Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991

Volumn , Issue , 1991, Pages 268-277

  Kantz, Heinz ^a   Trivedi, Kishor ^b  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b DUKE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ECONOMIC AND SOCIAL EFFECTS; PETRI NETS; RELIABILITY; STOCHASTIC SYSTEMS;

ANALYTIC MODELING; DEPENDABILITY EVALUATION; HIERARCHICAL MODEL; MARS ARCHITECTURES; RELIABILITY MODEL; STOCHASTIC PETRI NETS; TOOLS AND TECHNIQUES; TRADE-OFF STUDY;

COMPUTER ARCHITECTURE;

EID: 85028777341     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.1991.238793     Document Type: Conference Paper

References (18)

1. R. Butler. An Abstract Language for Specifying Markov Reliability Models. IEEE Transactions on Reliability, 35(5):595-601, Dec. 1986.
2. J. A. Carrasco and J. Figueras. METFAC: Design and Implementation of a Software Tool for Modeling and Evaluation of Complex Fault-Tolerant Computing Systems. In Proc. 16th Int. Symposium on Fault-Tolerant Computing, pages 424-429, Vienna, Austria, July 1986.
3. G. Ciardo, J. Muppala, and K. Trivedi. SPNP: Stochastic Petri Net Package. In Proc. 3th Int. Workshop on Petri Nets and Performance Models, pages 142-151, Kyoto, Japan, Dec. 1989.
4. A. Costes, J. E. Doucet, C. Landrault, and J. C. Laprie. SURF: A Program for Dependability Evaluation of Complex Fault-Tolerating Computing Systems. In Proc. 11th Int. Symposium on Fault-Tolerant Computing, pages 72-78, Portland, Maine, June 1981.
5. J. B. Dugan, K. S. Trivedi, M. K. Smotherman, and R. M. Geist. The Hybrid Automated Reliability Predictor. AIAA Journal of Guidance, Control and Dynamics, 9(3):319-331, June 1986.
6. J. B. Dugan and K. S. Trivedi. Coverage Modeling for Dependability Analysis of Fault-Tolerant System. IEEE Transactions on Computers, 38(6):775- 787, June 1989.
7. R. Geist and K. Trivedi. Reliability Estimation of Fault Tolerant Systems: Tools and Techniques. IEEE Computer, 23(7):52-61, July 1990.
8. A. Goyal, W. C. Carter, E. de Souza e Silva, S. S. Lavenberg, and K. S. Trivedi. The System Availability Estimator. In Proc. 16th Int. Symposium on Fault- Tolerant Computing, pages 84-89, Vienna, Austria, July 1986.
9. A. M. Johnson and M. Malek. Survey of Software Tools for Evaluating Reliability, Availability and Serviceability. ACM Computing Surveys, 20(4):227-269, Dec. 1988.
10. H. Kopetz. The Failure Fault (FF) Model. In Proc. ISth Int. Symposium on Fault-Tolerant Computing, pages 14-17, Santa Monica, California, June 1982.
11. H. Kopetz, A. Damm, Ch. Koza, M. Mulazzani, W. Schwabl, Ch. Senft, and R. Zainlinger. Distributed Fault-Tolerant Real-Time Systems: The MARS Approach. IEEE Micro, 9(1):25-40, Feb. 1989.
12. H. Kopetz, G. Grunsteidl, and J. Reisinger. Fault- Tolerant Membership Service in a Synchronous Distributed Real-Time System. In 1st Int. Working Conference on Dependable Computing for Critical Applications, pages 167-174, Santa Barbara, CA, USA, Aug. 1989.
13. H. Kopetz, H. Kantz, G. Grunsteidl, P. Puschner, and J. Reisinger. Tolerating Transient Faults in MARS. In Proc. 50th Int. Symposium on Fault-Tolerant Computing, pages 466-473, Newcastle upon Tyne, UK, June 1990.
14. M. Mulazzani and K. S. Trivedi. Dependability Prediction: Comparison of Tools and Techniques. In IFAC Proceedings SAFECOMP 86, pages 171-178, Sarlat, France, Oct. 1986.
15. P. Puschner and Ch. Koza. Calculating the Maximum Execution Time of Real-Time Programs. Real-Time Systems, 1(2):159-176, Sep. 1989.
16. R. A. Sahner and K. S. Trivedi. Reliability Modeling using SHARPE. IEEE Transactions on Reliability, 36(2):186-193, June 1987.
17. W. Sanders and J. Meyer. METASAN: A Performability Evaluation Tool based on Stochastic Activity Networks. In ACM-IEEE 1986 Fall Joint Computer Conference, Nov. 1986.
18. L. Tomek and K. Trivedi. Fixed Point Iteration in Availability Modeling. In 5th Int. Conference on Fault-Tolerant Computing Systems, Test, Diagnosis and Fault-Treatment, Nurnberg, Germany, Sep. 1991.