ACM Transactions on Computer Systems (TOCS)
A hybrid, combinatorial-Markov method of solving performance and reliability models
A hybrid, combinatorial-Markov method of solving performance and reliability models
Performance and Reliability Analysis Using Directed Acyclic Graphs
IEEE Transactions on Software Engineering
Real-time Systems Performance in the Presence of Failures
Computer - Special issue on real-time systems
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
Accelerating mean time to failure computations
Performance Evaluation
Modeling and Performance Comparison of Reliability Strategies for Distributed Video Servers
IEEE Transactions on Parallel and Distributed Systems
Agent-based forwarding strategies for reducing location management cost in mobile networks
Mobile Networks and Applications
Probability and statistics with reliability, queuing and computer science applications
Probability and statistics with reliability, queuing and computer science applications
Fixed Point Iteration in Availability Modeling
Proceedings of the 5th International GI/ITG/GMA Conference on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment
Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Performance Analysis of the CORBA Event Service Using Stochastic Reward Nets
SRDS '00 Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems
Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems
SRDS '02 Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems
Solutions of large and non-markovian performance models
Solutions of large and non-markovian performance models
Dependability modeling of computer systems and networks
Dependability modeling of computer systems and networks
Repairable Fault Tree for the Automatic Evaluation of Repair Policies
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Design and Evaluation of a Fault-Tolerant Mobile-Agent System
IEEE Intelligent Systems
Survivability Analysis of Telephone Access Network
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
A Framework for Node-Level Fault Tolerance in Distributed Real-Time Systems
DSN '05 Proceedings of the 2005 International Conference on Dependable Systems and Networks
Semi-numerical transient analysis of Markov models
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms
DSN '06 Proceedings of the International Conference on Dependable Systems and Networks
DASC '06 Proceedings of the 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing
PRDC '06 Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing
Availability Modeling of SIP Protocol on IBM© WebSphere©
PRDC '08 Proceedings of the 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing
Availability analysis of blade server systems
IBM Systems Journal
Performance modeling of wireless networks with generally distributed handoff interarrival times
Computer Communications
Cyber security analysis using attack countermeasure trees
Proceedings of the Sixth Annual Workshop on Cyber Security and Information Intelligence Research
Automatic synthesis of SRN models from system operation templates for availability analysis
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
A framework for simulation and symbolic state space analysis of non-markovian models
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Prognostic models based on statistical flowgraphs
Applied Stochastic Models in Business and Industry
Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees
Security and Communication Networks
Modeling and performance analysis of large scale IaaS Clouds
Future Generation Computer Systems
QoS-driven optimisation of composite web services: an approach based on GRASP and analytical models
International Journal of Web and Grid Services
A dependability evaluation tool for the Internet of Things
Computers and Electrical Engineering
Hi-index | 0.00 |
This paper discusses the modeling tool called SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator), a general hierarchical modeling tool that analyzes stochastic models of reliability, availability, performance, and performability. It allows the user to choose the number of levels of models, the type of model at each level, and which results from each model level are to act as which parameters in which higher-level models. SHARPE includes algorithms for analysis of fault trees, reliability block diagrams, acyclic series-parallel graphs, acyclic and cyclic Markov and semi-Markov models, generalized stochastic Petri nets, and closed single- and multi-chain product-form queueing networks. For many of these, the user can choose among alternative algorithms, and can decide whether to get a result in the form of a distribution function (symbolic in the time variable) or as a mean or probability. SHARPE has been useful to students, practicing engineers, and researchers. In this paper we discuss the history of SHARPE, give some examples of its use, and talk about some lessons learned.