ACM Transactions on Computer Systems (TOCS)
New performance measures for design and evaluation of real-time multiprocessors
Computer Systems Science and Engineering
Performability Analysis: Measures, an Algorithm, and a Case Study
IEEE Transactions on Computers - Fault-Tolerant Computing
The Distribution of Queuing Network States at Input and Output Instants
Journal of the ACM (JACM)
Computer Performance Modeling Handbook
Computer Performance Modeling Handbook
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
An annotated bibliography of dependable distributed computing
ACM SIGOPS Operating Systems Review
Fault-tolerant task management and load re-distribution on massively parallel hypercube systems
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
Modeling Correlation in Software Recovery Blocks
IEEE Transactions on Software Engineering - Special issue on software reliability
Determining Redundancy Levels for Fault Tolerant Real-Time Systems
IEEE Transactions on Computers - Special issue on fault-tolerant computing
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Probabilistic Analysis of Real-Time Dependable Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Primary-shadow consistency issues in the DRB scheme and the recovery time bound
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
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
User-perceived software service availability modeling with reliability growth
ISAS'08 Proceedings of the 5th international conference on Service availability
Modeling user perceived unavailability due to long response times
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Analytical architecture-based performability evaluation of real-time software systems
Journal of Systems and Software
| Hi-index | 0.00 |
A unified methodology for modeling both soft and hard real-time systems is presented. Techniques that combine the effects of performance, reliability/availability, and deadline violation into a single model are used. An online transaction processing system is used as an example to illustrate the modeling techniques. Dynamic failures due to a transaction violating a hard deadline are taken into account by incorporating additional transitions in the Markov chain model of the failure-repair behavior. System performance in the various configurations is considered by using throughput and response-time distribution as reward rates. Since the Markov chains used in computing the distribution of response time are often very large and complex, a higher level interface based on a variation of stochastic Petri nets called stochastic reward nets is used.