Probabilistic validation using worst event driven and importance sampling simulation

Probabilistic validation is an approach for the validation of highly dependable and complex systems. It relies on a partial analysis on a system model and tries to prove that the failed event occurrences has a sufficiently low probability. We define a probabilistic validation method using worst event driven and an importance sampling simulation. The system which must be validated is modeled by a stochastic Petri net. An efficient simulation of the net must be able to sample complex and improbable trajectories which eventually reach critical markings. Two problems have to be solved. The sequence of transition firings which may lead to critical markings must be characterized ad the Petri net level. The second problem is to sample these sequences and to build an accurate estimate of the incorrect behavior probability. We discuss several simulation algorithms in the Markovian and non-Markovian cases. We show the effectiveness of these techniques on the validation of several examples.<<ETX>>

[1]  Stéphane Natkin,et al.  A New Approach of Formal Proof: Probabilistic Validation , 1992 .

[2]  G. Florin,et al.  Stochastic Petri nets: Properties, applications and tools , 1991 .

[3]  Jack P. C. Kleijnen,et al.  Statistical Techniques in Simulation , 1977, IEEE Transactions on Systems, Man and Cybernetics.

[4]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

[5]  Marco Ajmone Marsan,et al.  On Petri Nets with Stochastic Timing , 1985, PNPM.

[6]  Elmer E Lewis,et al.  Monte Carlo simulation of Markov unreliability models , 1984 .

[7]  Brent Hailpern,et al.  Modular Verification of Computer Communication Protocols , 1983, IEEE Trans. Commun..

[8]  Janusz Górski.  Design For Safety Using Temporal Logic , 1986 .

[9]  Philip Heidelberger,et al.  Fast simulation of dependability models with general failure, repair and maintenance processes , 1990, [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium.

[10]  Peter J. Haas,et al.  Modeling Power of Stochastic Petri Nets for Simulation , 1988 .

[11]  Stéphane Natkin,et al.  Probabilistic Validation of a Remote Procedure Call Protocol , 1994, Application and Theory of Petri Nets.

[12]  Donald L. Iglehart,et al.  Importance sampling for stochastic simulations , 1989 .

[13]  Stéphane Natkin,et al.  Searching best paths to worst states , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[14]  Jack P. C. Kleijnen,et al.  Statistical Techniques in Simulation , 1977, IEEE Transactions on Systems, Man and Cybernetics.

[15]  Manuel Silva,et al.  Structural performance analysis of stochastic Petri nets , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.