Authors:
Nicolae Emanuel Marinică
and
Dragoș Dumitrescu
Affiliation:
Horia Hulubei National Institute of Physics and Nuclear Engineering and Extreme Light Infrastructure - Nuclear Physics, Romania
Keyword(s):
Finite State Machines, Discrete Event Systems, Linear Temporal Logic, Controller Synthesis, Simulation, Operational Procedures, MTSA.
Related
Ontology
Subjects/Areas/Topics:
Case Studies
;
Discrete-Event Simulation
;
Formal Methods
;
Health Engineering and Technology Applications
;
Neural Rehabilitation
;
Neurotechnology, Electronics and Informatics
;
Plant Simulation
;
Simulation and Modeling
;
Simulation Tools and Platforms
Abstract:
Operational procedures represent a set of step-by-step actions on how to execute a complex task in which
safety plays the main role. Operational safety is employed for the protection of human operators and also of
the system components that may be very expensive and sensitive to malfunctions. Therefore, an automatic
method to generate and better understand the effects of the procedures over an entire plant is needed. For
this endeavour, each sub-system is modelled as a Finite State Process (FSP). The Modal Transition System
Analyser (MTSA) tool is used to generate and simulate a procedure for a given system behaviour and a set
of constraints. The presented plant model represents only a proof of concept and can be easily extended to
include further details of real systems.