Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499

Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499

Automation systems within nuclear laboratories are intended to work under harsh operating conditions. Selective Production of Exotic Species (SPES) is a nuclear research facility currently under construction by the Istituto Nazionale di Fisica Nucleare, dedicated to the production and study of radio...

Full description

Bibliographic Details
Main Authors: Giordano Lilli, Midhun Xavier, Etienne Le Priol, Vincent Perret, Tatiana Liakh, Roberto Oboe, Valeriy Vyatkin
Format: Article
Language:English
Published: IEEE 2023-01-01
Series:IEEE Open Journal of the Industrial Electronics Society
Subjects:
Formal verification
IEC 61499
isotope separation online (ISOL)
model checking
NuSMV
radioactive ion beams (RIBs)
Online Access:https://ieeexplore.ieee.org/document/10268612/

Internet

https://ieeexplore.ieee.org/document/10268612/

Similar Items