Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller

BOBBIO Andrea; E. CIANCAMERLA; Giuliana Annamaria FRANCESCHINIS; R. GAETA; M. MINICHINO; Luigi PORTINALE

Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller

BOBBIO Andrea, E. CIANCAMERLA, Giuliana Annamaria FRANCESCHINIS, R. GAETA, M. MINICHINO, Luigi PORTINALE

Department of Science and Technological Innovation

Research output: Contribution to conference › Paper › peer-review

Abstract

Computer based systems, which are devoted to control critical functions, may incur in safety and dependability problems. In the safety area a new standard is currently emerging, IEC 61508, which is intended to provide a unified framework which may deserve as guideline for the analysis of safety related systems. The present paper deals with the safety and dependability analysis of a Programmable Logic Controller (PLC) according to the requirements of IEC 61508. In order to gain insight on the system characteristics and on the used methodologies, different probabilistic techniques of increasing modeling power (Fault Tree (FT), Bayesian Networks (BN), Generalized Stochastic and Stochastic Well formed Petri Nets (GSPN and SWN) have been compared.

Original language	Italian
Pages	411-418
Number of pages	8
Publication status	Published - 1 Jan 2001
Event	12th European Safety and Reliability International Conference ESREL2001 - Torino, Italy Duration: 1 Jan 2001 → …

Conference

Conference	12th European Safety and Reliability International Conference ESREL2001
City	Torino, Italy
Period	1/01/01 → …

Cite this

@conference{40145d6542554baf97f25d2ba5a4b46e,

title = "Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller",

abstract = "Computer based systems, which are devoted to control critical functions, may incur in safety and dependability problems. In the safety area a new standard is currently emerging, IEC 61508, which is intended to provide a unified framework which may deserve as guideline for the analysis of safety related systems. The present paper deals with the safety and dependability analysis of a Programmable Logic Controller (PLC) according to the requirements of IEC 61508. In order to gain insight on the system characteristics and on the used methodologies, different probabilistic techniques of increasing modeling power (Fault Tree (FT), Bayesian Networks (BN), Generalized Stochastic and Stochastic Well formed Petri Nets (GSPN and SWN) have been compared.",

author = "BOBBIO Andrea and E. CIANCAMERLA and FRANCESCHINIS, {Giuliana Annamaria} and R. GAETA and M. MINICHINO and Luigi PORTINALE",

year = "2001",

month = jan,

day = "1",

language = "Italian",

pages = "411--418",

note = "12th European Safety and Reliability International Conference ESREL2001 ; Conference date: 01-01-2001",

}

Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller. / Andrea, BOBBIO; CIANCAMERLA, E.; FRANCESCHINIS, Giuliana Annamaria et al.
2001. 411-418 Paper presented at 12th European Safety and Reliability International Conference ESREL2001, Torino, Italy.

Research output: Contribution to conference › Paper › peer-review

TY - CONF

T1 - Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller

AU - Andrea, BOBBIO

AU - CIANCAMERLA, E.

AU - FRANCESCHINIS, Giuliana Annamaria

AU - GAETA, R.

AU - MINICHINO, M.

AU - PORTINALE, Luigi

PY - 2001/1/1

Y1 - 2001/1/1

N2 - Computer based systems, which are devoted to control critical functions, may incur in safety and dependability problems. In the safety area a new standard is currently emerging, IEC 61508, which is intended to provide a unified framework which may deserve as guideline for the analysis of safety related systems. The present paper deals with the safety and dependability analysis of a Programmable Logic Controller (PLC) according to the requirements of IEC 61508. In order to gain insight on the system characteristics and on the used methodologies, different probabilistic techniques of increasing modeling power (Fault Tree (FT), Bayesian Networks (BN), Generalized Stochastic and Stochastic Well formed Petri Nets (GSPN and SWN) have been compared.

AB - Computer based systems, which are devoted to control critical functions, may incur in safety and dependability problems. In the safety area a new standard is currently emerging, IEC 61508, which is intended to provide a unified framework which may deserve as guideline for the analysis of safety related systems. The present paper deals with the safety and dependability analysis of a Programmable Logic Controller (PLC) according to the requirements of IEC 61508. In order to gain insight on the system characteristics and on the used methodologies, different probabilistic techniques of increasing modeling power (Fault Tree (FT), Bayesian Networks (BN), Generalized Stochastic and Stochastic Well formed Petri Nets (GSPN and SWN) have been compared.

UR - https://iris.uniupo.it/handle/11579/29091

M3 - Contributo in Atti di Convegno

SP - 411

EP - 418

T2 - 12th European Safety and Reliability International Conference ESREL2001

Y2 - 1 January 2001

ER -

Comparison of Methodologies for the Safety and Dependability Assessment of an Industrial Programmable Logic Controller

Abstract

Conference

Other files and links

Cite this