loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.196.114.118

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Marinică, N. and Dumitrescu, D. (2017). Novel Approach of Deriving Operational Procedures for a Complex Research Facility. In Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH; ISBN 978-989-758-265-3; ISSN 2184-2841, SciTePress, pages 196-203. DOI: 10.5220/0006396401960203

@conference{simultech17,
author={Nicolae Emanuel Marinică. and Dragoș Dumitrescu.},
title={Novel Approach of Deriving Operational Procedures for a Complex Research Facility},
booktitle={Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH},
year={2017},
pages={196-203},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006396401960203},
isbn={978-989-758-265-3},
issn={2184-2841},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - SIMULTECH
TI - Novel Approach of Deriving Operational Procedures for a Complex Research Facility
SN - 978-989-758-265-3
IS - 2184-2841
AU - Marinică, N.
AU - Dumitrescu, D.
PY - 2017
SP - 196
EP - 203
DO - 10.5220/0006396401960203
PB - SciTePress