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/

Similar Items

Proposing and Prototyping an Extension to the Adapter Concept in the IEC 61499 Standard
by: Pranay Jhunjhunwala, et al.
Published: (2022-01-01)

MSI-A: An Energy Efficient Approximated Cache Coherence Protocol
by: Anant Saraswat, et al.
Published: (2023-01-01)

A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations
by: Dmitrii Drozdov, et al.
Published: (2021-01-01)

SysGRID: IEC 61850 and IEC 61499 Standard Based Engineering Tool for Smart Grid Automation Design
by: Chen-Wei Yang, et al.
Published: (2014-12-01)

Pengembangan Blok Fungsi Kendali PI-Fuzi pada IEC 61499
by: Dirga Eka Putra Lebukan, et al.
Published: (2019-11-01)

Komparasi Protokol Komunikasi pada Sistem Produksi Siber-Fisik berbasis IEC 61499
by: Rico Aryandaru, et al.
Published: (2020-04-01)

A Plug-and-Play Solution for Smart Transducers in Industrial Applications Based on IEEE 1451 and IEC 61499 Standards
by: Diogo Oliveira, et al.
Published: (2022-10-01)

UML-Based Cyber-Physical Production Systems on Low-Cost Devices under IEC-61499
by: Carlos A. García, et al.
Published: (2018-05-01)

Implementación de sistemas distribuidos de bajo costo bajo norma IEC-61499, en la estación de clasificación y manipulación del MPS 500
by: Gustavo Caiza, et al.
Published: (2017-07-01)

Fully-Deterministic Execution of IEC-61499 Models for Distributed Avionics Applications
by: Carlos C. Insaurralde
Published: (2018-02-01)

System-Theoretic Process Analysis Based on SysML/MARTE and NuSMV
by: Deming Zhong, et al.
Published: (2022-02-01)

Architecting an Agent-Based Fault Diagnosis Engine for IEC 61499 Industrial Cyber-Physical Systems
by: Barry Dowdeswell, et al.
Published: (2021-07-01)

Modelling and analysis of the complement system signalling pathways: roles of C3, C5a and pro-inflammatory cytokines in SARS-CoV-2 infection
by: Didar Murad, et al.
Published: (2023-09-01)

Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems
by: Nikolai Galkin, et al.
Published: (2023-01-01)

Constrained Dynamic Matrix Control under International Electrotechnical Commission Standard 61499 and the Open Platform Communications Unified Architecture
by: Sergio Bustos-Pulluquitin, et al.
Published: (2023-08-01)

An Event-Based Programming Model with Geometric Spatial Semantics For Cyber-Physical Production Systems
by: Guangxi Wan, et al.
Published: (2020-10-01)

Semantic Integration of Plug-and-Play Software Components for Industrial Edges Based on Microservices
by: Wenbin Dai, et al.
Published: (2019-01-01)

Verification and validation of analytical methods in accordance with the ISO/IEC 17025 standard
by: Đukić Miloš, et al.
Published: (2023-01-01)

IEC 61499 function blocks for embedded and distributed control systems design /
by: 245471 Vyatkin, Valeriy
Published: (2007)

Analysis of IEC 61850-9-2LE Measured Values Using a Neural Network
by: Kinan Wannous, et al.
Published: (2019-04-01)

Model-Based Virtual Components in Event-Based Controls: Linking the FMI and IEC 61499
by: Michael H. Spiegel, et al.
Published: (2020-02-01)

Model-Based Development of Knowledge-Driven Self-Reconfigurable Machine Control Systems
by: Nan Zhou, et al.
Published: (2017-01-01)

Development of Comprehensive Serological Techniques for Sensitive, Quantitative and Rapid Detection of <i>Soybean mosaic virus</i>
by: Rui Ren, et al.
Published: (2022-08-01)

A Novel Approach for Mitigation of Replay and Masquerade Attacks in Smartgrids Using IEC 61850 Standard
by: Taha Selim Ustun, et al.
Published: (2019-01-01)

A User-Friendly Verification Approach for IEC 61131-3 PLC Programs
by: Jiawen Xiong, et al.
Published: (2020-03-01)

IEC 62351-4 Security Implementations for IEC 61850 MMS Messages
by: Taha Selim Ustun, et al.
Published: (2020-01-01)

Real-time execution for IEC 61499 /
by: Zoitl, Alois
Published: (c200)

Engineering Smart Grids: Applying Model-Driven Development from Use Case Design to Deployment
by: Filip Pröstl Andrén, et al.
Published: (2017-03-01)

Code generator for IEC 61499 function block
by: Ding, Wei
Published: (2010)

Can we use IEC 61850 for safety related functions?
by: Luca Rocca, et al.
Published: (2016-08-01)

poST: A Process-Oriented Extension of the IEC 61131-3 Structured Text Language
by: Vladimir E. Zyubin, et al.
Published: (2022-01-01)

The Design and Operation of IEC 61850 – Based Transformer Measuring Device
by: Paweł Kopański, et al.
Published: (2014-03-01)

Modelling distributed control system using IEC 61499 /
by: Lewis, R. W. (Roland Wynne), et al.
Published: (2001)

‘This was no election, it was a census’: The IEC declaration of the April 1994 general election as free and fair in South Africa – a complex process?
by: Chitja M. Twala
Published: (2006-05-01)

Superior mesenteric arteriovenous fistula embolization with a vascular plug for upper gastrointestinal hemorrhage: a case report
by: Austin Shinagawa, et al.
Published: (2022-07-01)

Detection of Soybean mosaic virus by Reverse Transcription Loop-mediated Isothermal Amplification
by: Yeong-Hoon Lee, et al.
Published: (2015-12-01)

Performance evaluation of IEC 61850 MMS messages under cybersecurity considerations
by: Taha Selim Ustun, et al.
Published: (2022-04-01)

Artificial radioactivity /
by: Moon, P. B., author, et al.
Published: (2014)

Artificial radioactivity /
by: Rao, K. Narayana, et al.
Published: ((198)

Protection Debugging of Digitized Substation Based on IEC 61850
by: YANG Mei, et al.
Published: (2010-11-01)