Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499-Reference-Cited by-同舟云学术

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

Published:2023 Issue: Volume:4 Page:417-431
ISSN:2644-1284
Container-title:IEEE Open Journal of the Industrial Electronics Society
language:
Short-container-title:IEEE Open J. Ind. Electron. Soc.

Author:

Lilli Giordano¹^ORCID,Xavier Midhun²^ORCID,Le Priol Etienne³^ORCID,Perret Vincent³^ORCID,Liakh Tatiana²^ORCID,Oboe Roberto¹^ORCID,Vyatkin Valeriy²^ORCID

Affiliation:

1. Department of Management and Engineering, University of Padova, Vicenza, Italy

2. Department of Computer Science, Electrical and Space Engineering, Luleå University of Technology, Luleå, Sweden

3. Department of Mechanical Engineering, École Normale Supérieure Paris-Saclay, Gif-sur-Yvette, France

Funder

European Commission

HORIZON EUROPE Framework Programme

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Subject

Electrical and Electronic Engineering,Industrial and Manufacturing Engineering,Control and Systems Engineering

Link

http://xplorestaging.ieee.org/ielx7/8782706/10007667/10268612.pdf?arnumber=10268612

Reference71 articles.

1. Discrete-Event-Based Deterministic Execution Semantics With Timestamps for Industrial Cyber-Physical Systems

2. IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review

3. Study of the radioactive contamination of the ion source complex in the Selective Production of Exotic Species (SPES) facility

4. Counterexample-guided simulation framework for formal verification of flexible automation systems

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. LTL-specification for development and verification of logical control programs in feedback systems;Modeling and Analysis of Information Systems;2024-09-13