Challenges in Future Mathematical Modelling of Hierarchical Functional Safety Control Structures within STAMP Safety Model

In the STAMP model, based on control theory, the control relationships between various system elements enforced by the closed Control Loops (CLs) are logical and functional. A literature survey emphasized the fact that for the moment STAMP and its main tools STPA and CAST are not associated with any...

Full description

Bibliographic Details
Published in:MATEC Web of Conferences
Main Authors: Or Liran Bar, Arogeti Shai, Hartmann Daniel
Format: Article
Language:English
Published: EDP Sciences 2019-01-01
Subjects:
Online Access:https://www.matec-conferences.org/articles/matecconf/pdf/2019/22/matecconf_icsc_eswc2018_02011.pdf