Comparative Analysis of Different Models of Checkpointing and Recovery
IEEE Transactions on Software Engineering
The UltraSAN modeling environment
Performance Evaluation - Special issue: performance modeling tools
Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading
ICDCS '00 Proceedings of the The 20th International Conference on Distributed Computing Systems ( ICDCS 2000)
Low-Cost Flexible Software Fault Tolerance for Distributed Computing
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Availability and Performance Evaluation of Database Systems under Periodic Checkpoints
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Stopping Rules for the Operational Testing of Safety-Critical Software
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Service-level enforcement in web-services-based systems
International Journal of Web and Grid Services
| Hi-index | 0.00 |
Performability measures are often defined for analyzing the worth of fault-tolerant systems whose performance is gracefully degradable. Accordingly, performability evaluation is inherently well suited for application of reward model solution techniques. On the other hand, the complexity of performability evaluation for solving engineering problems may prevent us from utilizing those techniques directly, suggesting the need for approaches that would enable us to exploit reward model solution techniques through problem transformation. In this paper, we present a performability modeling effort that analyzes the guarded-operation duration for onboard software upgrading. More specifically, we define a "performability index" Y that quantifies the extent to which the guarded operation with a duration φ reduces the expected total performance degradation. In order to solve for Y, we progressively translate its formulation until it becomes an aggregate of constituent measures conducive to efficient reward model solutions. Based on the reward-mapping-enabled intermediate model, we specify reward structures in the composite base model which is built on three stochastic activity network reward models. We describe the model-translation approach and show its feasibility for design-oriented performability modeling.