International audienceAccording to the IEC 61508 functional safety standard, it is required to estimate the achieved safety integrity of the system due to random hardware failures. For a safety function operating in a low demand mode, this measure is the average probability of a dangerous failure on demand (PFDavg).In the present paper, four techniques have been applied to various configurations of a case study: fault tree analyses supported by GRIF/Tree, multi-phase Markov models supported by GRIF/Markov, stochastic Petri nets with predicates supported by GRIF/Petri, and approximate equations (developed by DNV and different from those given in IEC 61508) supported by OrbitSIL.It is shown that all these methods yield very similar results fo...
International audienceDynamic block diagram and dynamic fault tree are introduced to take into accou...
This tutorial covers motivation, use, and advantages of sto-chastic Petri nets as a tool for reliabi...
This paper presents a method for analysis of performance indexes of safety-critical systems. It inco...
This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can...
Computer based systems, which are devoted to control critical functions, may incur in safety and dep...
The Safety integrity level (SIL) is a measure of the reliability and availability of a safety instru...
The paper describes a probabilistic approach based on methods of increasing modelling power and diff...
Safety is considered as one of the most important areas in future research and development within th...
Proper estimation of Safety Integrity Level (SIL) depends largely on accurate estimation of Safety p...
AbstractHistorically, fault trees are extensively used in Probabilistic Safety Assessment (PSA) to m...
The frequency of demands are crucial when analysing a safety instrumented system (SIS). IEC 61508 di...
International audienceAccording to IEC 61508, a safety-related system is regarded as type B if it pr...
Safety analysis in the companies is an important issue besides the quality, productivity and profita...
Current methods in combining Petri net modeling with fault tree analysis for systems failure and saf...
International audienceThe systems modelling and the assessment of their performances are the two key...
International audienceDynamic block diagram and dynamic fault tree are introduced to take into accou...
This tutorial covers motivation, use, and advantages of sto-chastic Petri nets as a tool for reliabi...
This paper presents a method for analysis of performance indexes of safety-critical systems. It inco...
This paper shows how heterogeneous stochastic modelling techniques of increasing modelling power can...
Computer based systems, which are devoted to control critical functions, may incur in safety and dep...
The Safety integrity level (SIL) is a measure of the reliability and availability of a safety instru...
The paper describes a probabilistic approach based on methods of increasing modelling power and diff...
Safety is considered as one of the most important areas in future research and development within th...
Proper estimation of Safety Integrity Level (SIL) depends largely on accurate estimation of Safety p...
AbstractHistorically, fault trees are extensively used in Probabilistic Safety Assessment (PSA) to m...
The frequency of demands are crucial when analysing a safety instrumented system (SIS). IEC 61508 di...
International audienceAccording to IEC 61508, a safety-related system is regarded as type B if it pr...
Safety analysis in the companies is an important issue besides the quality, productivity and profita...
Current methods in combining Petri net modeling with fault tree analysis for systems failure and saf...
International audienceThe systems modelling and the assessment of their performances are the two key...
International audienceDynamic block diagram and dynamic fault tree are introduced to take into accou...
This tutorial covers motivation, use, and advantages of sto-chastic Petri nets as a tool for reliabi...
This paper presents a method for analysis of performance indexes of safety-critical systems. It inco...