Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth

Authors:
J.-C. Laprie;M. Kaaniche;K. Kanoun
Affiliations:
-;-;-
Venue:
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Year:
1995

Citing 8
Cited 4

The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth

IEEE Transactions on Software Engineering
X-Ware Reliability and Availability Modeling

IEEE Transactions on Software Engineering
Software reliability modeling survey

Handbook of software reliability engineering
Forecasting Software Reliability

Software Reliability Modelling and Identification
Stochastic Petri nets: accomplishments and open problems

IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
Reliability and Availability Models for Maintained Systems Featuring Hardware Failures and Design Faults

IEEE Transactions on Computers
Software Reliability Growth Modeling: Models and Applications

IEEE Transactions on Software Engineering
Designing for Ultrahigh Availability: The Unix RTR Operating System

Computer

Composing, analyzing and validating software models to assess the performability of competing design candidates

Annals of Software Engineering
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models

IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Architecture-Based Software Reliability Analysis: Overview and Limitations

IEEE Transactions on Dependable and Secure Computing
Modeling and survivability analysis of service composition using Stochastic Petri Nets

The Journal of Supercomputing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Stochastic Petri nets (SPNs) have emerged over the years as a favored approach for performance and dependability modeling and evaluation. Their usual utilization assumes that systems specification and design do not evolve, in opposition to real-life. This paper is aimed at a preliminary exploration of how to take advantage of the existing body of results on SPNs for modeling the evolution of computer systems, i.e. to model non-stationary stochastic processes. It focuses on dependability evolutions which result from successive releases.