Construction and stepwise refinement of dependability models

Authors:
Cláudia Betous-Almeida;Karama Kanoun
Affiliations:
LAAS-CNRS, 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France;LAAS-CNRS, 7, Avenue du Colonel Roche, 31077 Toulouse Cedex 4, France
Venue:
Performance Evaluation - Dependable systems and networks-performance and dependability symposium (DSN-PDS) 2002: Selected papers
Year:
2004

Citing 11
Cited 0

An Aggregation Technique for the Transient Analysis of Stiff Markov Chains

IEEE Transactions on Computers
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package

Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
A theory of implementation and refinement in timed Petri nets

Theoretical Computer Science
Availability of CAUTRA, a Subset of the French Air Traffic Control System

IEEE Transactions on Computers
Modelling with Generalized Stochastic Petri Nets

ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times

International Workshop on Timed Petri Nets
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets

PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Dependability Evaluation

SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System

SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
On Petri nets with deterministic and exponentially distributed firing times

Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Stepwise Construction and Refinement of Dependability Models

DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a stepwise approach for dependability modeling, based on generalized stochastic Petri nets (GSPNs). The first-step model called functional-level model, is built based on the system's functional specifications and then completed by the structural model as soon as the system's architecture is known. It can then be refined according to three complementary aspects: component decomposition, state and event fine-tuning and distribution adjustment to take into account increasing event rates. We define specific rules to make the successive transformations as easy and systematic as possible. This approach allows the various dependencies to be taken into account at the right level of abstraction: functional dependency, structural dependency and those induced by non-exponential distributions. A part of the approach is applied to an instrumentation and control (I&C) system in power plants.