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.