ACM Transactions on Computer Systems (TOCS)
IEEE Transactions on Computers
Dependability modeling of a heterogeneous VAX-cluster system using stochastic reward nets
Hardware and software fault tolerance in parallel computing systems
A decomposition approach for stochastic reward net models
Performance Evaluation
Techniques and tools for reliability and performance evaluation: problems and perspectives
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
The UltraSAN modeling environment
Performance Evaluation - Special issue: performance modeling tools
Availability of CAUTRA, a Subset of the French Air Traffic Control System
IEEE Transactions on Computers
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability
IEEE Transactions on Computers
Structured Solution of Asynchronously Communicating Stochastic Modules
IEEE Transactions on Software Engineering
Dependability Models of RAID Using Stochastic Activity Networks
EDCC-2 Proceedings of the Second European Dependable Computing Conference on Dependable Computing
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications
HASE '97 Proceedings of the 2nd High-Assurance Systems Engineering Workshop
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
A Data Structure for the Efficient Kronecker Solution of GSPNs
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Hi-index | 14.98 |
The aim of our work is to provide a modeling framework for evaluating performability measures of Multipurpose, Multiprocessor Systems (MMSs). The originality of our approach is in the explicit separation between the architectural and environmental concerns of a system. The overall dependability model, based on Stochastic Reward Nets, is composed of 1) an architectural model describing the behavior of system hardware and software components, 2) a service-level model, and 3) a maintenance policy model. The two latter models are related to the system utilization environment. The results can be used for supporting the manufacturer design choices as well as the potential end-user configuration selection. We illustrate the approach on a particular family of MMSs under investigation by a system manufacturer for Internet and e-commerce applications. As the systems are scalable, we consider two architectures: a reference one composed of 16 processors and an extended one with 20 processors. Then, we use the obtained results to evaluate the performability of a clustered system composed of four reference systems. We evaluate comprehensive measures defined with respect to the end-user service requirements and specific measures in relation to the Distributed Shared Memory paradigm.