You are on page 1of 15

ARTICLE IN PRESS

Reliability Engineering and System Safety 92 (2007) 1686–1700


www.elsevier.com/locate/ress

A SIL quantification approach based on an operating situation model


for safety evaluation in complex guided transportation systems
J. Beugin, D. Renaux, L. Cauffriez
LAMIH (Laboratory for Automation Mechanical Engineering, Information Sciences and Human-Machine Systems), Department of Human-Machine
Systems, University of Valenciennes-Le Mont Houy, UMR CNRS 8530, F-59313 Valenciennes Cedex 9, France
Accepted 22 September 2006
Available online 22 November 2006

Abstract

Safety analysis in guided transportation systems is essential to avoid rare but potentially catastrophic accidents. This article presents a
quantitative probabilistic model that integrates Safety Integrity Levels (SIL) for evaluating the safety of such systems. The standardized
SIL indicator allows the safety requirements of each safety subsystem, function and/or piece of equipment to be specified, making SILs
pivotal parameters in safety evaluation. However, different interpretations of SIL exist, and faced with the complexity of guided
transportation systems, the current SIL allocation methods are inadequate for the task of safety assessment. To remedy these problems,
the model developed in this paper seeks to verify, during the design phase of guided transportation system, whether or not the safety
specifications established by the transport authorities allow the overall safety target to be attained (i.e., if the SIL allocated to the
different safety functions are sufficient to ensure the required level of safety). To meet this objective, the model is based both on the
operating situation concept and on Monte Carlo simulation. The former allows safety systems to be formalized and their dynamics to be
analyzed in order to show the evolution of the system in time and space, and the latter make it possible to perform probabilistic
calculations based on the scenario structure obtained.
r 2006 Elsevier Ltd. All rights reserved.

Keywords: Guided transportation systems; Global risk assessment; Safety Integrity Levels; Operating situation; Monte Carlo simulation

1. Introduction means are barriers that act prior to an incident either to


eliminate hazards (e.g., system failures) that could poten-
The objective of a guided transportation system is to tially cause accidents (e.g., collisions) or to reduce the
ensure the safe transfer of passengers from one location to occurrence of the undesirable accidental events, or they are
another within a given time frame, while simultaneously barriers that come into play after an incident to mitigate
guaranteeing the safety of system operations. In order to the consequences of accidents that could not be prevented.
fulfil this dual objective, the level of safety must be Such barriers are mainly implemented through safety-
assessed, which implies evaluating the safety of the overall related systems. The residual risk remaining with these
system (both onboard train and trackside infrastructures) barriers is evaluated through a process of probabilistic risk
either to prove that safety conditions are sufficient, or, if assessment (PRA). The type of PRA presented in this
they are not, to recommend measures that will reduce the article is adapted to the field of guided transportation.
various risks detected. Safety assessment is, then, a process Functional safety, as its name implies, concerns the
of risk analysis that determines whether or not the planned correct functioning of the sub-systems that insure the
means of prevention and protection are adequate. These overall safety of a system. IEC 61508, the generic safety
standard for E/E/PE (Electrical/Electronic/Programmable
Corresponding author. Tel.: +33 3 27 51 13 49; fax: +33 3 27 51 13 16. Electronic) safety-related systems [1], dictates the func-
E-mail addresses: Julie.Beugin@univ-valenciennes.fr (J. Beugin),
tional safety requirements of guided transportation sys-
Dominique.Renaux@univ-valenciennes.fr (D. Renaux), tems. These requirements are expressed in terms of SILs
Laurent.Cauffriez@univ-valenciennes.fr (L. Cauffriez). (Safety Integrity Levels) [2–4]. SILs are set to ensure that

0951-8320/$ - see front matter r 2006 Elsevier Ltd. All rights reserved.
doi:10.1016/j.ress.2006.09.022
ARTICLE IN PRESS
J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700 1687

specific risk limits are not exceeded. In Section 2, the SIL procedures (e.g., use of standards, instructions, controls)
concept is described and some of the current SIL allocation and evaluates the diverse system activities (e.g., operation
methods are presented. and maintenance) to make sure that they follow these
Because of the diverse interpretations and applications procedures. The safety assessment methods in the design
that exist for the SIL definition given in the IEC 61508 phase are fundamental; in fact, they are the very founda-
standard, the SIL concept can be unclear and difficult to tion of risk management. These methods are all part of
understand. Section 3 provides an overview of the different PRA. Based on causal scenarios derived from hazardous
interpretations in order to explain how SILs are used in this events, use of safety goals and risk uncertainty calculations
study, particularly the quantitative part of this indicator. [5], PRA provides the framework for evaluating safety in
Current allocation methods are discussed in terms of the guided transportation systems.
complexity of guided transportation systems, highlighting
the inadequacy of these methods for evaluating the overall
2.2. The probabilistic risk assessment framework
safety of such systems and showing the necessity of
combining the safety functions, thus, a fortiori, combining
PRA in the field of guided transportation is the
the SIL of these safety functions.
responsibility of the two entities that administrate this
In Section 4, a quantitative probabilistic model integrat-
PRA process: the operator who will exploit the system and
ing the various aspects of SIL is proposed for evaluating
the supplier who designed and constructed the system
the overall safety of a guided transportation system. The
[2,4,6] (see Fig. 1). This shared responsibility allows a
model is based on a novel conception of the ‘‘operating
separation of tasks and liabilities.
situation’’, which is a new pattern for characterizing the
The operator establishes the system specifications, inde-
different elements of a particular operational context. This
pendent of system construction, by studying the functional
model incorporates a risk-scenario approach that is
aspect of the system, in particular the safety functions. This
appropriate to the complexity of transportation safety
operator determines the different possible undesirable events
systems. Section 5 describes a Monte Carlo simulation
that could occur in the system and their associated potential
approach based on the scenario structure provided by the
outcomes. It analyzes the hazards that could lead to these
model; this MCS approach allows the probabilistic
undesirable events, given both internal operational system
calculation to be performed. Section 6 presents our
failures and external events, and establishes the safety levels
conclusions and our thoughts for future research.
for the various safety functions that might be implemented to
prevent/palliate the different hazards. Depending on a safety
2. Evaluating system safety in guided transportation systems goal allocation approach, these levels are specified in the form
of SIL (defined below) or in the form of numerical indicators
2.1. An introduction to risk management that can be translated into SIL. The allocation, which is
dependent on risk acceptance principles, is carried out using
Risk management examines the different phases of a the quantitative and/or qualitative methods explained in the
system’s life cycle to assess, evaluate, implement, document following sections. These methods attribute the minimum SIL
and control safety conditions. It deploys techniques to needed by the safety functions. This level is generally
prevent accidents or reduce their consequences to an maintained because it costs more to construct a function
acceptable level. In the design phase, it works to identify with a higher SIL.
critical risk profiles that are used to assess safety. In other The supplier defines, designs and constructs a system
life cycle phases, the risk management process establishes architecture that meets the requirements spelled out in the

Fig. 1. PRA in the field of guided transportation.


ARTICLE IN PRESS
1688 J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700

specifications. Dependability methods are used to allocate 2  104/year). The risks related to the technical systems
safety requirements to each function and from each are judged to contribute 5% to the individual risk; thus,
function to the various subsystems and equipment. A the limit of tolerated risk is set at 0.05  RMEM. The
causal analysis of operational sub-system failures and degree of tolerated risk becomes more rigid as the size of
safety sub-system failures (e.g., detected failures, unde- the population that could be affected increases.
tected failures, common causes of the various component  The last is the French GAME (Globalement Au Moins
failures) is done in order to highlight the dangerous failures Équivalent: globally at least equivalent) principle, which
(hazards) that can lead to undesirable events, and to verify requires that new systems fulfil the same safety require-
that each safety function attains it specified safety level. ments as those attained by an equivalent existing system.
This operator/supplier paradigm is not always strictly This principle necessitates knowledge of the safety
respected. For example, the Urban Guided Transport objectives and of the safety behavior of the reference
Management System (UGTMS) project has adopted a system.
conceptual safety approach [7] that groups the functional
SIL allocation with risk analysis and does not assign SIL to 2.4. The Safety Integrity Level concept
subsystems or equipment.
SIL serve as safety targets in the field of guided
2.3. The principles of risk acceptance transportation [2–4]. SILs are discrete indicators on a
four-level scale. On this scale, SIL 1 is the weakest safety
Derived from national law, three risk acceptance requirement and SIL 4 is the most restrictive. SILs are used
principles for the field of guided transportation have been to specify the safety integrity requirements for the safety
set down in the EN 50126 standard [2]: functions performed by E/E/PE safety systems [1]. Using
SILs allows the rare but possible safety system failures to
 The first is the English ALARP (As Low As Reasonably be taken into consideration, in addition to those existing in
Practicable) principle depicted in Fig. 2(a). This the operational system. The potential operational system
principle is identical to the ALARA (As Low As failures correspond to the hazards detected during the PRA
Reasonably Attainable/Achievable) principle used in process. The most dangerous failures—those safety system
the nuclear field [8]. The ALARP principle defines an failures that can provoke accidents—can be either
acceptable risk zone, an unacceptable risk zone, and a systematic or random in nature.
middle zone, called the ALARP zone, in which the Systematic failures are latent system failures that only
global safety objectives are set according to the ratio of become visible under certain operating conditions. Soft-
risk improvement over invested costs. This middle zone ware flaws and design errors are included in this category,
can be delimited by frequency values (indicative values as are certain material failures caused by environmental
in Fig. 2(a)). If the risk falls in this zone, the means to be perturbations (e.g., high temperature, electric or vibratory
deployed to attain the desired safety level must be disturbances). Systematic failures can only be eliminated by
evaluated in terms of the risk run compared to the modifying the system design or manufacturing process, by
benefit accrued. Clearly, it is foolish to expend vast applying operational procedures, or by providing addi-
resources (e.g., financial, human, material) for a slight tional documentation. Because they are deterministic in
improvement. nature and are largely unpredictable, systematic failures
 The second is the German MEM (Minimum Endogenous cannot be quantified. Limiting or eliminating them requires
Mortality) principle depicted in Fig. 2(b). This principle making the quality assurance part of the risk management
sets the global safety objectives with reference to the process a primary concern. Though quality assurance is
endogenous mortality of an individual (i.e., the ambient difficult when the required SIL is high, it is this activity that
risk RMEM for a person from 5 to 15 years old, fixed at can prevent systematic failures from occurring.

10-3
Minimum Endogenous Mortality
Frequency* (per year)

Unacceptable 10-4
zone 10-6 10-5 Tolerated
-6
mortality
Risk reduction 10 frequency
ALARP in terms of the
Risk

cost-benefit 10-7
zone
analysis
10-8

10-9
10-9
Acceptable 1 10 102 103 104 105 106
zone
Number of victims*
(a) Frequency in h-1 (b) *Logarithmic scale

Fig. 2. Risk acceptance criteria for ALARP and MEM [2].


ARTICLE IN PRESS
J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700 1689

Random failures always result from material component design process and, once the system has gone operational,
failures (i.e., they are hardware failures). Due to their prior to each design modification. System exploitation and
probabilistic nature, these hardware failures can be maintenance procedures must also comply with SIL
quantified. The IEC 61508 standard [1] thus defines requirements. The SIL allocation methods are described
quantitative safety requirements for each SIL. Table 1 in the section below.
summarizes the quantitative requirements of the standard.
In this table, the safety systems’ operational demand modes
are differentiated by using two different dependability 2.5. Determining SIL using functional allocation methods
parameters: PFDavg (average Probability of Failure on
Demand) and PFH (Probability of dangerous Failure per The methods for allocating SILs to a system or to a
Hour). The table expresses quantitative SIL requirements function come mainly from the process industry sector
with a minimal and maximal boundary for each parameter. [9–12] and the machine safety sector [13,14]. The standards
The operational mode, which corresponds to the used in these two sectors, the IEC 61511 standard [15] and
operational system’s expected demand frequency on the the IEC 62061 standard [16], refer to a single safety system
safety system, can be further divided into low-demand within the overall system, called SRECS (Safety-Related
mode and high-demand mode: Electrical Control System) in the process industry sector
and SIS (Safety Instrumented System) in the machine
 The low-demand mode of operation implies irregular safety sector. In the sector of guided transportation,
solicitations of the safety system, as is the case with a because several safety devices, fulfilling multiple safety
train’s emergency braking system. To be considered low- functions, coexist in the overall system, referring to
demand, the operational demand frequency can be no functions rather than with a single safety system is
greater than once a year and no greater than twice the preferable. The quantitative or qualitative functional SIL
proof-test frequency [1]. This mode mainly concerns allocation methods described below analyze the various
protection systems, or in other words, those systems hazards stemming from an operational system without
activated once an undesirable event (accident) has safety systems. To reduce the risk associated with a given
occurred. The PFDavg is evaluated based on the safety hazard, the output of the methods designates the safety
system’s architecture. (See Section 3 for the details function SIL that should be implemented to act on the
concerning the controversy surrounding the use of this consequences of this particular hazard.
parameter.)
 The high-demand mode of operation implies regular, even 2.5.1. Quantitative methodology using the risk matrix
continual, solicitations of the safety system, as is the method
case with a train’s continuous speed controls. To be The risk matrix method is a two-dimensional risk matrix
considered high-demand, the operational demand fre- that is usually employed in the field of guided transporta-
quency must be more than once a year or more than tion [17,18]. By specifying an acceptable risk zone in a
twice the proof-test frequency [1]. This mode mainly criticality table (see Table 2), this matrix allows a
concerns systems that prevent the propagation of hazardous event to be analyzed in terms of occurrence
hazardous events or that stop such events from frequency and consequence severity. The scale of the
becoming accidents. The PFH is evaluated based on frequency parameter can be adapted to the risk acceptance
the safety system’s architecture. (See Section 3 for the criterion given by the transport authority. For example, in
details concerning the controversy surrounding the use the UGTMS project [7], the individual risk acceptance rate
of this parameter.) specified in the MEM principle was adopted for determin-
ing the threshold frequency that separates the tolerable
The capacity of a safety system to comply with SIL area from the intolerable area.
requirements must be validated during each phase of the The risk Rnp, where np stands for ‘‘not protected’’, is
related to a failure (the hazardous event) of an operational
Table 1 system without a safety system. Using the criticality table,
Quantitative SIL requirements Rnp is evaluated in terms of a combination of the hazardous
Safety Integrity Low-demand mode of High-demand mode of
event’s severity level C, as evaluated by expert judgment,
Level operation operation and the Fnp frequency related to the safety function
demand that prevents dangerous situations (i.e., the failure
Average Probability of Probability of frequency of the operational system). The risk of each
Failure on Demand dangerous Failure per
identified hazardous event is thus classified as ‘‘tolerable’’
(PFDavg)/activation Hour (PFH)/h
(negligible and acceptable in the example in Table 2) or as
SIL 4 105pPFDavgo104 109pPFHo108 ‘‘intolerable’’ (undesirable and unacceptable in the example
SIL 3 104pPFDavgo103 108pPFHo107 in Table 2). (Please note that, according to the ALARP
SIL 2 103pPFDavgo102 107pPFHo106
principle, the undesirable area can be considered as
SIL 1 102pPFDavgo101 106pPFHo105
acceptable under certain conditions.) In order to prevent
ARTICLE IN PRESS
1690 J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700

a hazardous event classified as intolerable, a safety function process shown in Fig. 3. Using the information given in
must be created. Table 1, the SIL function can be determined.
Determining this function’s SIL depends on how much The subject of functions operating in the high-demand
the risk needs to be reduced in order to reach the tolerable mode is not dealt with clearly in the literature. In Refs.
risk zone. In risk prevention, the safety function acts on the [17,18], where the high-demand mode is used, in situations
hazard frequency in order to reduce risk. In this case, the in which the system environment is not taken into account,
safety function must reduce the frequency of Fnp to at least the safety function failure frequency Fsf is examined rather
Ft (tolerable risk frequency). Though this situation is than Fnp. In fact, an operational system failure (the
generally preferred in risk analysis, sometimes, when the hazardous event) appearing at frequency Fnp is already
hazardous event does end up provoking an undesirable taken into account in the safety function failure frequency,
event, a safety function is needed to reduce the event’s as Fig. 4 shows: either the event has no serious
severity. consequences because the safety function keeps the
Using the Fnp and Ft frequencies, the IEC 61508 operational system (called Equipment Under Control, or
standard explains how this method can be used to EUC, in the standards) in a safe state during normal
determine the SIL of a function operating in the low- operations; or on the contrary, serious consequences occur
demand mode. The PFDavg is determined according to the because the safety function fails. In the latter case, the risk
incurred must be analyzed. Fsf must be returned to the
tolerable risk frequency for the dangerous event in
question, which allows the SIL to be determined directly
Table 2 based on the information in the right-hand column of
An example of a risk matrix (i.e., a criticality table)
Table 1. Please note that, in the field of guided transporta-
tion, the operational system and the safety system cannot
really be separated since they are implemented on the same
equipment. Fnp in this case, does not apply; only FSF can be
considered.
The methodology shown in Figs. 3 and 4 is not only used
with the risk graph method. It can also be applied as part
of other methods, such as LOPA (Layer Of Protection
Analysis) [19,20], which seeks to determine the PFDavg of a
safety instrumented function, integrated in a succession of
protective layers of a technology other than E/E/PE. The
methodology can be used with no supporting method.

Fig. 3. Risk reduction achieved by a safety function in low-demand mode.

Fig. 4. Risk reduction achieved by a safety function in high-demand mode.


ARTICLE IN PRESS
J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700 1691

Because the frequency parameters are quite difficult to This section has presented functional safety in terms of a
calculate, alternative qualitative methods based on expert standardized concept of a SIL. The following section will
judgment are often used. In these methods, risk reduction examine the various interpretations of the quantitative SIL
is implicit. definition that make the concept ambiguous and difficult to
apply. Specifically, it will focus on the methods for using
and allocating SIL in the domain of guided transportation,
2.5.2. The main qualitative methods
as compared to the general SIL allocation methods
2.5.2.1. The risk graph. The risk graph method analyzes
presented above.
four hazard-related risk factors that are divided into
categories according to their importance: the severity of
3. Some thoughts about a SIL definition and SIL allocation
the consequences, the time exposed to danger, the
methods for evaluating the overall safety of guided
possibility of avoiding the danger, and the probability of
transportation systems
undesirable occurrences without a safety function. The
output of the method indicates the minimum risk reduction
3.1. Various interpretations of the probabilistic aspect of
that the safety function must achieve. The risk graph
SIL for the low-demand and high-demand modes of
structure depends on the specific field of activity, hence the
operation
use of various graphs in the directives or standards. An
example extracted from Ref. [13] is presented in Fig. 5,
Determining the probabilistic aspects of SIL for safety
where the consequences result in death, with either one
functions is performed differently, depending on the
victim or several. Considering material and environmental
standard and the author, and depending on which on the
damage requires the use of additional graphs.
two entities introduced in Section 2.1 is performing the
procedure. The operator that exploits the overall system
2.5.2.2. The hazardous event severity matrix. Unlike the specifies the SILs according to the tolerable risk criteria set
risk graph method, which considers only one safety by legislative authorities. The supplier designing the
function, the hazardous event severity matrix integrates system, including the safety system, verifies these specifica-
several independent safety functions. The matrix has three tions, using the dependability parameters of the compo-
dimensions: severity of the hazardous event, the likelihood nents integrated in the system.
of an undesirable event, and the number of independent To determine the PFDavg value related to a SIL (see
safety devices that must be integrated in order to act Table 1), diverse indicators, including dependability para-
against the hazard. Only one safety system based on the E/ meters, are used (see Table 3). When specifying the SILs,
E/PE technology can be taken into account; other systems this probability can be evaluated in terms of the required
must be based on other technologies (e.g., mechanics or risk reduction, which is often expressed using the risk
pneumatics) and must have a safety requirement criterion reduction factor (RRF). The safety system designed to
equivalent to the requested SIL. As in the risk graph comply with the specifications must then be analyzed in
method, the structure depends on the specific field of order to verify that its properties are consistent with the
activity. An example extracted from Ref. [1] is presented in safety specifications. During this design analysis phase,
Fig. 6. the PFDavg is obtained by calculating PFDðtÞ. Several

Fig. 5. An example of a risk graph.


ARTICLE IN PRESS
1692 J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700

Fig. 6. An example of a hazardous event severity matrix.

Table 3
Quantitative indicators for the low-demand mode of operation

Low-demand mode of operation

Different indicators Related equations References

PFD(t) Probability of failure Calculation made PFDðtÞ ¼ 1  RðtÞ  PFSðtÞ [13]


on demand during system design (1  RðtÞ ¼ PFDðtÞ þ PFSðtÞ, RðtÞ: reliability, PFS: probability of
analysis failing safely)
PFDðtÞ ¼ 1  AðtÞ (AðtÞ: availability) [12]

Calculation made 1 Tolerable risk frequency [9]


PFDavg ¼ RRF ¼ Process demand frequency
while setting the 1 Tolerable risk frequency
PFDavg ¼ RRF ¼ Inherent risk frequency
specifications
(RRF: risk reduction factor) [13]
R
1 T
PFDavg Average probability Calculation made PFDavg ¼ T 0 PFDðtÞ dt
of failure on demand during system design
analysis (to verify the (T time interval between two safety system proof tests) [23–25]
R T1 R Tn
SIL requirement) PFDavg ¼ Qn1 [21]
0 ::: 0 PFDsys ðtÞ dt
Ti
i¼1
(T i time interval between two proof tests, which can be different
depending on the sub-system i; sys: system)

calculation examples have already been developed using probabilistic values are directly related to the tolerable risk
reliability block diagrams, fault trees or Markov analysis criteria, which are generally expressed as a table of the
methods [12,21,22]. Because the PFDðtÞ parameter is not different tolerable risk frequencies for an individual for the
constant in time, it is translated into an average probability different accident categories. Smith and Simpson [12] have
over the mission time. When proof tests are carried out already published such a table.
periodically, the mission time is considered to be equal to
the time interval between two consecutive proof tests, with 3.2. A probabilistic SIL indicator that is consistent with
the post-test system being taken for a new system. When no guided transportation systems
proof tests are carried out, the mission time is assimilated
into the system’s lifetime. In guided transportation systems, safety is mainly
Various indicators (see Table 4) are also used to determine ensured by the continuous control of the moving trains.
the PFH value related to a SIL (see Table 1). These indicators This control works to guarantee that:
come into play during the design phase and are all forms of a
hazardous event frequency whose unit is often expressed in  no train exceeds its own speed limit nor the different
hours (h1). During the specification definition phase, SIL speed limits assigned to the various track sections;
ARTICLE IN PRESS
J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700 1693

Table 4
Quantitative indicators for the high-demand mode of operation

High-demand mode of operation

Different indicators Related equations References

PFH Probability of dangerous Sum of the dangerous failure rates for all the subsystems serving a safety [1, part 6]
failure per hour function
PFH ¼ PFDðTTi
iÞ [1,21, parts 1 and 6]
(T i time interval between two proof tests, identical for the different sub-
systems)

THR Tolerable hazard rate THR ¼ lDD þ lDU [4,6,17,18,26,27]


(Hazard rate for functions and sub-systems, D: Dangerous hazard, DD:
detected dangerous hazard, DU: undetected dangerous hazard)

 each train proceeds in the correct direction and remains 3.3. The inadequacies of the classic SIL allocation methods
within a limited authorized zone, called the movement
authority; Guided transportation systems should be considered as
 each train is assigned a zone and each zone contains one complex systems, given the functional, behavioral, struc-
and only one train; tural and technological complexities underlined in Refs.
 each train’s movement authority is correctly established, [28,29]:
meaning (i) that sufficient protections have been set to
forbid the entrance of other trains into a zone that has  Functionally complex—Guided transportation systems
been assigned to a specific train, and (ii) that the points are functionally complex due to their numerous
of the different switches are blocked in the correct recurring functionalities. For example, many identical
position so that the train moves along its planned systems are repeated from one track section to another
itinerary (with signalling and interlocking equipment); or one train to another;
 for non-urban guided transportation systems that  Behaviorally complex—The complexity inherent in the
interact with road traffic, each level-crossing train aggregation of many entities whose various states evolve
barrier is in the correct position to protect persons and stochastically over time makes such systems behavio-
vehicles during the passage of the train; and rally complex. Using onboard and trackside equipment,
 no object or person is on the track in front of the train. the evolution of the trains as they move along the tracks
can result in a variety of normal or risky situations;
The continuous control of all these aspects keeps the overall  Structurally complex—The various heterogeneous sys-
operational system in a safe state during normal operations. tem elements (hardware, software or human) that are
This continuous aspect corresponds to the high-demand mode distributed throughout the system interact continually,
of operations for safety functions. However, do all the and these system elements also interact with their
functions really operate in high-demand mode? Functions that environment (i.e., the global guided transportation
occur at the end of a sequence of events, just before a potential system’s operating domain);
accident, such as the emergency braking function, correspond  Technologically complex—Issues related to the compat-
mainly to a low-demand operational mode because these ibility, interoperability and interchangeability of the
functions are performed intermittently, on demand, in order to existing material components, commonly named COTS
move the operational system into a specified safe state. (Components-Off-The-Shelf), underline the complexity
Hypothetically, though not far from reality, this kind of of the various interacting technologies.
function may actually serve more than once a year, so that they
can also be considered to operate in the high-demand mode However, classic SIL allocation methods do not take
(see the definition of the high-demand mode of operation). these complexity concerns into account, principally be-
Different indicators exist for the high-demand mode due cause these methods come from process industry sector,
to the different interpretations of the IEC 61508 standard where, a single system within a system is charged with
(see Table 4). The CENELEC railway standard [4] clearly insuring overall system safety. For this reason, the
states that the tolerable hazard rate (THR) is employed in complexity issues in the two sectors are not the same. To
the risk process, as do the safety system analyses conducted work around this problem, hypotheses are made during the
by Braband, Schäbe and Wigger [6,17,18,26]. Based on SIL allocation process. Thus, rather than imagining a
these examples in the railway domain, we chose THR as realistic complex scenario using the interdependence of the
the probabilistic indicator for SIL. safety functions, a hazard scenario integrating a safety
ARTICLE IN PRESS
1694 J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700

function is reduced to a direct link between the hazardous ORðSILxi ; SILxj jxi axj Þ ) SIL maxðxi Þ. (3)
i;j
event, the safety function that will prevent it from
becoming an accident, and the worst possible consequence These rules are a starting point for safety assessment
of the event. The THR of one safety function is obtained using safety targets. They are, however, restrictive since
directly from the tolerable risk rate generated by the risk certain tolerable hazard rate (THR) combinations, and
principles described earlier in this article, which simplifies thus certain SIL combinations, have been proved by
the SIL allocation process by ignoring the system’s Beugin [30] to produce broader results than the rules
structural complexity. would suggest.
In addition, the current SIL allocation methods are not To summarize, all these restrictions in the SIL allocation
totally objective. Clearly, the use of qualitative risk factors, process make the use of the previously presented methods
insufficient experience feedback, and/or simplified scenar- and combination rules unsuitable for the complex systems
ios introduces a certain subjectivity into the analysis of found in the field of guided transportation. Two inter-
specific safety functions, independent of the analysis of the dependent questions must be answered to allow the
aggregated safety functions of the system. evaluation of the overall safety of guided transportation
In reality, a safety function failure can immediately systems when the probabilistic aspects of SIL are taken
generate hazardous events for other safety functions. Thus, into account: ‘‘Which SIL must be allocated to each safety
an event triggering a particular scenario can result in function in order to comply with the risk criteria?’’ (a top-
several consequence alternatives, which means that the down problem); and ‘‘How is it possible to verify that these
worst case is not the only possible final outcome. The event allocated SIL, when combined, will lead to tolerable risk?’’
tree represented in Fig. 7 depicts a safety function sequence (a bottom-up problem). In this article, the focus is on the
that may, or may not, lead to serious consequences. These second problem, whose resolution involves the use of a
event chains connect strings of conditional events related to priori SIL values, which are combined to evaluate global
the events preceding them and suggest a possible combina- safety. The values are not at first optimal, but sensitivity
tion of the safety functions’ SIL. analyses can indicate the critical SIL that must be modified
in order to attain safety objectives.
According to our analysis, a procedure for evaluating the
3.4. SIL combination overall safety of a system that integrates SIL requirements
and SIL combinations is needed. In response to this need,
Combining safety functions that have different SIL, we propose a new probabilistic systemic approach. Our
called for simplicity ‘‘SIL combination’’, is succinctly approach is based on the operating situation concept in
examined in the generic safety standard [1]. From the order to allow the dependencies between the safety
information given in part 2 of this standard and functions (i.e. the system’s overall structure) to be taken
summarized in Refs. [23,26], general rules for combining into account and to allow the dynamics of the system’s
several allocated SIL can be deduced to produce what can evolution to be identified (e.g., the failure and repair events
be considered as the ‘‘global safety evaluation’’. The rules in the system and the variation of the physical variables
for series functions (AND operator) or parallel functions due to the system’s operation in a particular environment).
(OR operator) are presented in Eqs. (1)–(3), where the SIL
for function i is SILxi. 4. An appropriate approach for integrating SIL
requirements into the safety evaluations of complex guided
8xi ; xj ji; j 2 f1; ng; xi 2 f1; 4g: transportation systems
ANDðSILxi Þ ) SIL minðxi Þ, ð1Þ
i
4.1. An approach based on risk scenarios
ORðSILxi ; SILxj jxi ¼ xj Þ ) minðxi þ 1; 4Þ, (2)
i;j Safety functions act on random hazardous events—
which can be internal (sub-system failures) or external
(environmental influence)—in order to reduce risk over the
transportation system’s mission time. The actions triggered
by the safety functions correspond to a set of scenarios that
may, or may not, lead to serious consequences. As already
mentioned in Section 2.5.1, the operational system and the
safety system in guided transportation systems cannot
really be separated since they are implemented on the same
equipment. For instance, the system that establishes the
movement authority for the different trains performs both
an operational function and a safety function. For this
Fig. 7. Safety function sequences showing various consequence alter- reason, a single representation of the scenario set, with a
natives. cause-consequence diagram, can be employed, where the
ARTICLE IN PRESS
J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700 1695

internal events—sub-system failures—are related to the new conception of the operating situation, as described in
failures of the safety system. An example of such a Section 4.2.
representation is given in Fig. 8.
This cause-consequence method involves visualizing the 4.2. The notion of ‘‘operating situation’’, the basis of a new
possible alternative sequences composed of function fail- risk-scenario approach
ures and their causes, and allows the undesirable event
probabilities to be calculated from the basic event The notion of ‘‘operating situation’’, which is derived from
probabilities. However, several system aspects are missing Hasan and Bernard’s ‘‘working situation’’ [31] in the
from this calculation, notably the system’s structural and machinery domain, allows the scenarios that occur during
behavioral complexity. First, the system recursiveness that the operations of the complex guided transportation system
contributes to the structural complexity of guided trans- to be formalized. An operating situation represents a static
portation system is not used profitably. Given the extent of model that is composed of a collection of elements related to
the operating domain and the set of moving transporters, the transportation system, such as classes, class attributes, the
certain safety functions obviously recur throughout the relationships between the classes, and the cardinality of the
system. This recursive aspect could be taken into account relationships (see the class diagram in Fig. 9). A class is an
by dividing the operating domain into several parts, abstract model for several concrete objects that have common
considering the functions are not recurrent in one part, properties and behavior. For example, both ‘‘train’’ and
allowing thus a more comprehensive and workable ‘‘beacon’’ are objects in the ‘‘sub-system’’ class. Such objects
diagram to be constructed. One diagram could be are called ‘‘class instances’’.
constructed for each part, with the diagram input, which A particular operating situation Oi is considered in a
is an external initiating event, being either an environ- time span during which the states of the system functions
mental event outside the system (e.g., an obstacle on the are known and unchanged. In one Oi , the different classes
track), or the consequence of an internal sub-system failure can be instantiated in several objects, since the different
in one of the other parts (e.g., a train moving in the wrong elements are static. Please note that though the parameters
direction). Second, the behavioral complexity of the system are static in an operating situation, the system evolves in its
is ignored. In fact, the evolution of the system during its environment. For instance, the speed parameter of a train
operational phase is not taken into account at all: both the is fixed, but the train moves. Given this knowledge,
discrete dynamics of the situation (i.e., the stochastic analyzing the scenarios appears more plausible. However,
evolution of events, such as failure and/or repair events, at this phase, all recurrent functions in the entire
over time) and the continuous dynamics (i.e., the physical transportation system must still be taken into considera-
evolution of the moving train) are not taken into tion. The operating domain has not yet been divided into
consideration. several parts, whose functions are not recurrent. This
To deal with the problems outlined above, we propose a division, described in Section 4.1, leads to the creation of
model based on a risk-scenario approach and linked to a sub-operating situations comprised of minimal scenarios.

Fig. 8. A risk-scenario approach based on cause-consequence diagrams, an example.


ARTICLE IN PRESS
1696 J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700

Fig. 10 illustrates the risk-scenario approach based on 4.3. A scenario structure, combining the SIL, obtained from
the notion of operating situation. In this figure, i is the ith operating situations
sampling interval of the mission time, whose length must
be sufficiently small to cover all the possible state changes In an operating situation scenario, the failure of a safety
in the mission. The evolution of the system during one Oi is function is a stochastic event in a temporal sequence, which
viewed as discrete events eij , where j represents the number appears at a specific point in time due to some causal failure
of events that arise during Oi , conditional to the states of in the system architecture. Thus, in our method, scenarios
all the safety functions. Knowing both the operational consist of temporal sequences in an operating context, rather
context and the states of the different functions for a than of sequences of successive hypothetical outcomes, as is
specific operating situation allows sequences of the possible the case in the cause-consequence method. Only final
critical safety outcomes to be constructed. This piecewise outcomes are important for safety assessment. In particular,
construction of scenarios allows dynamic state changes it is important to obtain the occurrence frequency that will
both in the system’s functions from Oi to Oiþ1 and in the allow final outcomes to be compared to the risk targets
operating context during one operating situation Oi . As generated from acceptable risk principles.
explained, several adjacent scenarios are possible in an The topology of the scenarios in an operating situation
operating situation, depending on the evolution of the creates dependencies between the functions, in addition to
system in a large domain requiring recurrent functions. those necessarily existing in a complex system. The
These adjacent scenarios yield a set of sub-operating structural function employed to encode these scenarios,
situations that overlaps the scenario set SðOi Þ; each sub- SF(Fk,t), comprises the dependencies and the different
operating situation has its own scenario S m and its own possible combinations of the system functions. Rather than
initiating event m. A function that is not recurrent can a single function, the SF ðF k ; tÞ function appears to be a
intervene in several scenarios. So the scenario overlap can vector whose every coordinate represents a logical combi-
be written using Eq. (4), where the functions are denoted nation of safety functions that perform one safety-related
Fk, F being the function set and k being a the kth function. action. For a time interval Dt of one Oi , the vector
SF ðF k ; DtÞ is evaluated according to the logical combina-
For S m ðF kðk2KÞ Þðm2MÞ  SðOiði2IÞ Þ, tions of the current functional states at the time t. The
operating situation parameters allow then the final risk of
[ \
8k 2 K; SðOi Þ ¼ sm ðF k Þ and S n ðF k Þa+. the unsafe scenario given by SF ðF k ; DtÞ to be determined.
m2M n2M This generation of safe actions in a particular operational
(4) context can be carried out as a numerical process using the
constructed discretization process. In our method, the
The following section explains how to apply the operating situation model that integrates the safety data
topological elements described above within the safety (safety functions and their a priori SIL values) is simulated
method proposed in this paper. with MCS, as explained in the next section.

Fig. 9. The new operating situation model.


ARTICLE IN PRESS
J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700 1697

Fig. 10. A risk-scenario approach based on the notion of operating situation.

5. A Monte Carlo approach to the quantitative aspect of the process, we suppose that the system states evolve, while the
operating situation model operating context remains the same. This supposition
allows the same structure to be maintained in all the
5.1. A preliminary Monte Carlo approach that considers possible scenarios, since this structure depends only on the
only the evolution of the system states system states. A sample structure is presented in Fig. 11;
the attributes of an operating situation, at a given time and
As explained in Section 3.2, the quantitative aspect of with no recurrent functions, are given in Table 5. (The
SIL is related to frequency intervals or THR, which are attributes that depend on context have been left out, since
allocated to safety functions in order to obtain acceptable the environment is not considered here.)
risk levels. SILs can be viewed as uncertain parameters Time-dependant reliability functions are used in the
because they do not concern a single frequency but rather a obtained functional structure SF ðF k ; tÞ, and a second
range of frequencies or a distribution over possible sampling of the SIL interval, sometimes called double
frequencies. For each specific scenario constructed from randomization [33] or second-order Monte Carlo [34], is
the attributes of the operating situation, the probability of also performed. At this point, given that SIL have very low
a specific event in a scenario depends on the frequency failure frequencies, a problem arises: the sampled events
range assigned to the safety function. are so rare that they do not provide enough information
MCS is a numerical process that is able to generate for statistical analysis. This problem is solvable by biasing
probable sequences composed of dependent functions the failure frequency in order to increase the quality and
whose failure frequencies are subject to uncertainty. In the performance of the results. The developed algorithm
other words, MCS can be used to perform uncertainty then propagates probability intervals from the different
analysis. It is employed in dynamic dependability analysis frequency parameters over a mission time to provide an
in complex system to generate stochastic and time- interval of time-dependant probabilities for the final event.
dependant events in a system by randomly sampling the These can then be compared to tolerable risk criteria in
system elements’ various probability distributions. Several order to validate, or invalidate, the global safety require-
possible evolutions in the life of the system (i.e., the ments of the system.
dynamic transitions of the system in a failure or repair
state) can be obtained with a MCS. A single evolution 5.2. A global simulation process expanding the preliminary
corresponds to one history. Several histories allow mean Monte Carlo approach
data to be generated over a system mission duration, using
the statistical analysis of these histories. The Monte Carlo process presented above focuses
We have designed an adapted MCS based on the system mainly on the probabilistic occurrence of scenarios that
structure approach used by Dubi [32]. In this MCS, each are detrimental to safety. We call such scenarios ‘‘accident
parameter subject to uncertainty is taken into account situations’’ and represent them with the set fAdðiÞ g  fOi g.
when deriving the uncertainty of the final system failure In addition to providing accident occurrence statistics, the
probability, here the probability of a final undesirable operating situation model can provide information about
event resulting from a scenario. In this first Monte Carlo the magnitude variability of the accident consequences.
ARTICLE IN PRESS
1698 J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700

Fig. 11. Example of the structure for the possible scenarios.

Table 5 In fact, the model was built with this idea in mind.
An example of operating situation parameters with no recurrent functions Magnitude variability information, which depends on the
environment in which the system evolves (e.g., the degree
Classes Instances Attributes
of human interaction, the location of the infrastructure, the
Risk R1 Undesirable event name ¼ accident time of the daily rush hour) is not provided by MCS.
Nature of the risk ¼ collective However, such information can be determined using
Severity ¼ catastrophic
discrete event simulation. A discrete event simulation
Hazardous H1 Name ¼ failure of F41 model re-creates the context in which the system evolves,
events Type ¼ external based on the system’s continuous environment-dependent
H2 Name ¼ initiating event 2
variables. In guided transportation systems, these variables
Type ¼ external
include speed and numbers of passengers, for example.
Safety SF1 Name ¼ F1 The stochastic failure events determined through MCS
functions Integrity level ¼ SIL 1
can then be injected into the model in the form of discrete
State ¼ in operation
SF2 Name ¼ F2 events. Under these circumstances, uncertainty analysis is
Integrity level ¼ SIL difficult to incorporate, and so, at this level, we prefer to
State ¼ in operation use a single value from an uncertainty interval (e.g.,
SF3 Name ¼ F3 the mean value) rather a distributed interval. During the
Integrity level ¼ SIL 1
run, the discrete event simulation model discretizes the
State ¼ in operation
SF4 Name ¼ F4 continuous variables and must react to the injected
Integrity level ¼ SIL 4 stochastic failure events. Each MCS history must be
State ¼ failed processed separately. From each history (i.e., one sequence
Scenario S1 Structure ¼ Initiating event 1 and F1 succeeds of dynamic safety-related events) a succession of operating
and F2 succeeds situations can thus be generated. During a complete
Order ¼ 3 scenario, the system can remain in a safe state or fall
S2 Structure ¼ Initiating event 1 and F1 fails into an unsafe state. The latter could cause an accident,
Order ¼ 2
whose possible consequences can be analyzed in
S3 Structure ¼ initiating event 1 and F1 succeeds
and F2 fails and F3 succeeds and F4 succeeds terms of the context at that point in time, and can
Order ¼ 5 be situated on a scale of consequences or severity. Beugin
S4 Structure ¼ initiating event 1 and F1 succeeds [35] attempted this global simulation process using an
and F2 fails and F3 succeeds and F4 fails example.
Order ¼ 5
S5 Structure ¼ initiating event 1 and F1 succeeds
and F2 fails and F3 fails
Order ¼ 4 6. Conclusion
S6 Structure ¼ initiating event 2 and F3 succeeds
and F4 fails
Order ¼ 3 In order to validate the safety of a system that may be a
S7 Structure ¼ initiating event 2 and F3 succeeds source of risk, a demonstration assessing the existing risks
and F4 succeeds is needed. This demonstration must, on the one hand,
Order ¼ 3 estimate the occurrence probability of potential accidents,
S8 Structure ¼ initiating event 2 and F3 fails
and on the other hand, evaluate the damage such accidents
Order ¼ 2
could provoke (i.e., the severity of the accident). Risks can
ARTICLE IN PRESS
J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700 1699

thus be prevented or managed to minimize the critical This research was conducted as part of the MODular
consequences. Given the complexity of systems like guided Urban Guided Rail System project (MODUrban) sup-
transportation systems and the variable environment in ported by the European Commission. MODUrban is an
which these systems evolve, such a demonstration is hard integrated research project that is part of the European 6th
to achieve. This study concentrates on global safety Framework Programme.
assessment, which is the principal concern of guided
transportation system designers. Safety is indeed an
important element in the recent European standards,
References
which seek to create a truly European rail network by
harmonizing the different partner systems. These standards [1] IEC 61508. Functional safety of electrical/electronic/programmable
impose specific safety requirements expressed in terms of electronic safety-related systems (IEC 61508-1 to 7). Geneva: IEC
the SILs (Safety Integrity Levels) found in the generic IEC (International Electrotechnical Commission); 2000.
61508 safety standard. [2] CENELEC NF EN 50126. Railway Applications: the specification
This article described the SIL concept in the context of and demonstration of reliability, availability, maintainability and
safety (RAMS). CENELEC European standard (European Commit-
risk analysis in the field of guided transportation and tee for Electrotechnical Standardization). Fontenay-aux-Roses: UTE
highlighted the conflicting information available on SIL (Union Technique de l’Electricité et de la communication); 2000.
use, especially as concerns the quantitative aspect of this [3] CENELEC prEN 50128. Railway Applications: Software for railway
safety indicator. It explained why the existing methods, control and protection systems. CENELEC European standard
(European Committee for Electrotechnical Standardization). Fonte-
which allocate SILs qualitatively and/or quantitatively to
nay-aux-Roses: UTE (Union Technique de l’Electricité et de la
subsystems, functions or equipment, remain restrictive with communication); 1998.
regard to the global safety assessment of guided transpor- [4] CENELEC prEN 50129. Railway Applications: Safety related
tation systems. electronic systems for signalling. CENELEC European standard
The focus was on the probabilistic aspects of the SIL (European Committee for Electrotechnical Standardization). Fonte-
concept and on the inadequacies of the existing allocation nay-aux-Roses: UTE (Union Technique de l’Electricité et de la
communication); 1999.
methods for complex systems. Given these inadequacies, a [5] Kumamoto H, Henley EJ. Probabilistic risk assessment and manage-
relevant approach to risk evaluation in complex guided ment for engineers and scientists. New York: IEEE Press; 1996.
transportation systems was proposed using the probabil- [6] Braband J. Allocation of safety integrity requirements for railway
istic SIL requirement. Our approach employs a scenario signalling applications. In: Proceedings of ESREL ‘99—European
representation based on an analysis of the operating safety and reliability conference, Munich-Garching, Germany, vol. 2,
1999. p. 1237–42.
situations. The proposed operating situation concept was [7] UGTMS D6, Cassir C, Schütte J, Cauffriez L, Beugin J, Renaux D,
developed to deal with the structural and behavioral Millot P, et al. A Safety conceptual approach and guidelines.
complexity of guided transportation systems. System Deliverable D6 of Urban Guided Transport Management system
dynamics are represented by a succession of operating project, fifth framework programme; 2003.
[8] Melchers RE. On the ALARP approach to risk management. Reliab
situations that integrate safety function failures, thus
Eng Syst Safety 2001;71(2):201–8.
establishing a suitable foundation for a numerical im- [9] Summers AE. Techniques for assigning a target safety integrity level.
plementation. ISA Trans 1998;37(2):95–104.
An adapted Monte Carlo simulation was then designed, [10] Stavrianidis P, Bhimavarapu K. Performance-based standards: safety
allowing stochastic failures of the safety functions to be instrumented functions and safety integrity levels. J Hazardous Mater
generated. This MCS is able to take the uncertainty 2000;71(1–3):449–65.
[11] Rouvroye JL. Enhanced Markov Analysis as a method to assess
induced by SIL into account to produce accident occur- safety in the process industry. Doctoral thesis, Beta Research School
rence statistics. To avoid overestimating the risk, as can for Operations Management and Logistics, Technische Universiteit
happen with a scenario approach that considers the only Eindhoven; 2001.
worst possible consequences, we proposed to examine the [12] Smith DJ, Simpson KGL. Functional safety: a straightforward guide
to IEC 61508 and related standards. Boston: Elsevier; 2004.
severity of the accident consequences by associating
[13] Goble WM. Control systems safety evaluation and reliability. 2nd ed.
discrete event simulation with the Monte Carlo simulation Research Triangle Park (NC): ISA (The Instrumentation, Systems,
approach. and Automation Society); 1998.
Future research will concentrate on developing a large- [14] Charpentier P. Architecture d’automatisme en sécurité des machines:
scale application into which the human factor could be études des conditions de conception liées aux défaillances de mode
integrated, since human actions have an important impact commun. Doctoral thesis, INRS (Institut National de Recherche et
de Sécurité), Institut National Polytechnique de Lorraine; 2002.
on safety. [15] IEC 61511. Functional safety—Safety instrumented systems for the
process industry sector. Geneva: IEC (International Electrotechnical
Commission); 2003.
Acknowledgments [16] IEC 62061/Ed.1. Safety of machinery—Functional safety of elec-
trical, electronic and programmable control systems for machinery
(Project). Geneva: IEC (International Electrotechnical Commission);
The authors would like to thank Lisa Ellen Spencer 2005.
Services for the correction of the English version of this [17] Schäbe H, Wigger P. Experience with SIL allocation in Railway
paper. Applications. In: Proceedings of the fourth international symposium
ARTICLE IN PRESS
1700 J. Beugin et al. / Reliability Engineering and System Safety 92 (2007) 1686–1700

programmable electronic systems in safety related applications, Köln, European safety and reliability conference, Lyon, France, 2002.
Germany, 2000. p. 251–257.
[18] Schäbe H. Different approaches for determination of tolerable [28] Blaise JC, Lhoste P, Ciccotelli J. Formalisation of normative
hazard rates. In: Proceedings of ESREL 2001—European safety knowledge for safe design. Safety Sci 2003;41(2–3):241–61.
and reliability conference, Torino, Italy, 2001. p. 435–442. [29] Cauffriez L, Benard V, Renaux D. A new formalism for designing
[19] Dowell AM. Layer of protection analysis for determining safety and specifying RAMS parameters for safe complex distributed
integrity level. ISA Trans 1998;37(3):155–65. control systems: the Safe-SADT formalism. IEEE Trans Reliab,
[20] Summers AE. Introduction to layers of protection analysis. 2006.
J Hazardous Mater 2003;104(1–3):163–8. [30] Beugin J, Renaux D, Cauffriez L. A SIL quantification approach to
[21] Lamy P. Probabilité de défaillance dangereuse d’un système: explications complex systems for guided transportation. In: Proceedings of
et exemple de calcul. INRS (Institut National de Recherche et de ESREL 2005—European safety and reliability conference, Gdansk,
Sécurité), Note scientifique et Technique no. 225; 2002. Poland, vol. 1, 2005. p. 197–204.
[22] Zhang T, Long W, Sato Y. Availability of systems with self- [31] Hasan R, Bernard A, Ciccotelli J, Martin P. Integrating safety into
diagnostic components—applying Markov model to IEC 61508-6. the design process: elements and concepts relative to the working
Reliab Eng Syst Safety 2003;80(2):133–41. situation. Safety Science 2003;41(2–3):155–79.
[23] Kosmowski KT, Sliwinski M. Methodology for functional safety [32] Dubi A. Monte Carlo applications in systems engineering. New
assessment. In: Proceedings of ESREL 2005—European safety and York: Wiley; 2000.
reliability conference, Gdansk, Poland, 2005. p. 1173–1180. [33] Labeau PE. Monte Carlo simulation for dynamic reliability problems
[24] Rausand M, Høyland A. System reliability theory: models, statistical with distributed safety border. In: Proceedings of ESREL 2001,
methods and applications. 2nd ed. Hoboken, USA: Wiley; 2004. Torino, Italy, 2001. p. 1395–1402.
[25] Bukowski JV, Rouvroye JL, Goble WM. What is PFDavg? [34] Ferson S, Ginzburg LR. Different methods are needed to propagate
Sellersville, USA: Exida library; 2002. ignorance and variability. Reliab Eng Syst Safety 1996;54(2–3):
[26] Schäbe H. Apportionment of safety integrity levels in complex 133–44.
electronically controlled systems. In: Proceedings of ESREL 2003— [35] Beugin J, Renaux D, Cauffriez L. A safety assessment method for
European safety and reliability conference, Maastricht, The Nether- guided transportation systems: a dynamic approach using Monte
lands, 2003. p. 1395–1400. Carlo and discrete event simulation. In: Proceedings of 17th IMACS
[27] Renpenning F, Braband J. Risk assessment of a novel railway world congress-scientific computation, applied mathematics and
signalling concept. In: Proceedings of Lambda-Mu—ESREL 2002— simulation, Paris, France; 2005.

You might also like