MODELING AND STOCHASTIC ANALYSIS OF EMBEDDED SYSTEMS EMPHASIZING COINCIDENT FAILURES, FAILURE SEVERITY AND USAGE-PROFILES
暂无分享,去创建一个
[1] Peter Struss,et al. Automated Diagnosis of Car-Subsystems Based on Qualitative Models , 1997, XPS.
[2] Bev Littlewood,et al. Conceptual Modeling of Coincident Failures in Multiversion Software , 1989, IEEE Trans. Software Eng..
[3] John D. Musa,et al. Operational profiles in software-reliability engineering , 1993, IEEE Software.
[4] Lu Wei,et al. Evaluation of fault-tolerant systems with nonhomogeneous workloads , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[5] John F. Meyer,et al. Unified performance-reliability evaluation , 1984 .
[6] John F. Meyer,et al. Performability: A Retrospective and Some Pointers to the Future , 1992, Perform. Evaluation.
[7] Daniel P. Siewiorek,et al. Workload, Performance, and Reliability of Digital Computing Systems. , 1980 .
[8] Gianfranco Ciardo,et al. Stochastic Petri Net Analysis of a Replicated File System , 1989, IEEE Trans. Software Eng..
[9] Lu Wei,et al. Analysis of workload influence on dependability , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[10] Kishor S. Trivedi,et al. Reliability and Performability Techniques and Tools: A Survey , 1993, MMB.
[11] Michel Dubois,et al. Performance Evaluation and Cost Analysis of Cache Protocol Extensions for Shared-Memory Multiprocessors , 1998, IEEE Trans. Computers.
[12] Bev Littlewood,et al. Software reliability and dependability: a roadmap , 2000, ICSE '00.
[13] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .
[14] Kishor S. Trivedi,et al. A hierarchial, combinatorial-Markov model of solving complex reliability models , 1986 .
[15] Stefan Greiner,et al. Composing, analyzing and validating software models to assess the performability of competing design candidates , 1999, Ann. Softw. Eng..
[16] Jean Arlat,et al. Dependability Modeling and Evaluation of Software Fault-Tolerant Systems , 1990, IEEE Trans. Computers.
[17] Kishor S. Trivedi,et al. SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.
[18] Ricky W. Butler,et al. The infeasibility of experimental quantification of life-critical software reliability , 1991 .
[19] Ali Movaghar,et al. Performability modeling with stochastic activity networks , 1985 .
[20] Averill M. Law,et al. Simulation Modeling and Analysis , 1982 .
[21] Victor F. Nicola,et al. Modeling of Correlated Failures and Community Error Recovery in Multiversion Software , 1990, IEEE Trans. Software Eng..
[22] Boudewijn R. Haverkort,et al. Markovian Models for Performance and Dependability Evaluation , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.
[23] B. Littlewood,et al. Dependability of modular software in a multiuser operational environment , 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.
[24] Dave E. Eckhardt,et al. A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors , 1985, IEEE Transactions on Software Engineering.
[25] Dong Tang,et al. Quantitative reliability and availability assessment for critical systems including software , 1997, Proceedings of COMPASS '97: 12th Annual Conference on Computer Assurance.
[26] William H. Sanders,et al. Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.
[27] Kishor S. Trivedi,et al. Performability Modeling Based on Real Data: A Case Study , 1988, IEEE Trans. Computers.
[28] Joanne Bechta Dugan. Experimental analysis of models for correlation in multiversion software , 1994, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering.
[29] Elaine J. Weyuker,et al. A metric for predicting the performance of an application under a growing workload , 2002, IBM Syst. J..
[30] Robert S. Swarz,et al. Reliable Computer Systems: Design and Evaluation , 1992 .
[31] William H. Sanders,et al. Reduced Base Model Construction Methods for Stochastic Activity Networks , 1991, IEEE J. Sel. Areas Commun..
[32] James H. Aylor,et al. Performance Modeling of Hierarchical Crossbar-Based Multicomputer Systems , 2001, IEEE Trans. Computers.
[33] Ravishankar K. Iyer,et al. Analysis and Modeling of Correlated Failures in Multicomputer Systems , 1992, IEEE Trans. Computers.
[34] Kishor S. Trivedi. SPNP User's Manual Version 6.0 , 1999 .
[35] William H. Sanders,et al. The effect of workload on the performance and availability of voting algorithms , 1995, MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.
[36] William H. Sanders,et al. Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.
[37] Ravishankar K. Iyer,et al. Dependability Analysis of a High-Speed Network Using Software-Implemented Fault Injection and Simulated Fault Injection , 1998, IEEE Trans. Computers.
[38] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[39] Kishor S. Trivedi,et al. Stochastic Reward Nets for Reliability Prediction , 1996 .
[40] John F. Meyer. Performability of an Algorithm for Connection Admission Control , 2001, IEEE Trans. Computers.
[41] William H. Sanders,et al. Performability Modeling with UltraSAN , 1991, IEEE Softw..
[42] Kishor S. Trivedi. Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .
[43] Karama Kanoun,et al. Dependability of fault-tolerant systems-explicit modeling of the interactions between hardware and software components , 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.
[44] Stefan Greiner,et al. Specification, safety and reliability analysis using stochastic Petri net models , 2000, Tenth International Workshop on Software Specification and Design. IWSSD-10 2000.
[45] Kishor S. Trivedi,et al. Stochastic Modeling Formalisms for Dependability, Performance and Performability , 2000, Performance Evaluation.
[46] William H. Sanders,et al. Stochastic Activity Networks: Structure, Behavior, and Application , 1985, PNPM.