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

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › 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.

Lingua originale	Italian
Pagine	411-418
Numero di pagine	8
Stato di pubblicazione	Pubblicato - 1 gen 2001
Evento	12th European Safety and Reliability International Conference ESREL2001 - Torino, Italy Durata: 1 gen 2001 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	12th European Safety and Reliability International Conference ESREL2001
Città	Torino, Italy
Periodo	1/01/01 → …

Altri file e collegamenti

handle

Cita questo

@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 Articolo presentato al 12th European Safety and Reliability International Conference ESREL2001, Torino, Italy.

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › 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 -