Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High Level Petri Net

Authors:
Rossano Gaeta;Andrea Bobbio;Giuliana Franceschinis;Luigi Portinale
Affiliations:
-;-;-;-
Venue:
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
Year:
2001

Citing 0
Cited 2

Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics

IEEE Transactions on Software Engineering
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Abstract: Petri nets and stochastic Petri nets have been widely adopted as one of the best tools to model the logical and timing behavior of discrete-state systems. However, their practical applicability is limited by the state-space explosion problem. ...