Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems

Galkin, Nikolai; Ruchkin, Michail; Vyatkin, Valeriy; Yang, Chi; Dubinin, Victor

doi:10.1109/access.2023.3234804

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2023

Publication Types

Select...

Other2

Article1

Relationship

Self Cite1

Independent2

Authors

Journals

Cited by 3 publications

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Design and Implementation of an Electrical Automation Control System with the Blessing of Intelligent Technology

2023

2023 International Conference on Ambient Intelligence, Knowledge Informatics and Industrial Electronics (AIKIIE)

View full text Add to dashboard Cite

Design and Implementation of an Electrical Automation Control System with the Blessing of Intelligent Technology

2023

2023 International Conference on Ambient Intelligence, Knowledge Informatics and Industrial Electronics (AIKIIE)

View full text Add to dashboard Cite

Enhancing IEC 61499 with an IEEE 1451 TIM Function Block

Abrishambaf,

da Rocha,

Gomes

et al. 2023

IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society

View full text Add to dashboard Cite

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

Lilli,

Xavier,

Le Priol

et al. 2023

IEEE Open J. Ind. Electron. Soc.

Self Cite

View full text Add to dashboard Cite

Automation systems within nuclear laboratories are intended to work under harsh operating conditions. SPES (Selective Production of Exotic Species) is a nuclear research facility currently under construction by INFN (Istituto Nazionale di Fisica Nucleare), dedicated to the production and study of Radioactive Ion Beams (RIBs). Isotopes are produced within the Target Ion Source (TIS) unit, a vacuum vessel that must be replaced on a regular basis. The highly radioactive environment necessitates the deployment of a set of automated systems dedicated to the unit's remote management. To meet high-level security standards, the design of such instrumentation and control systems must include extensive verification. Based on specific safety requirements, model checking can be used to assess the systems' correctness. This paper describes how to employ an integrated tool-chain to design, simulate, formally verify, and deploy the control software for the Horizontal Handling Machine, a safety-critical remote handling system in operation at SPES. The IEC 61499 standard's adoption led to a redesign of the control logic. Following a preliminary online simulation, the closedloop system has been formally verified using the NuSMV symbolic model checker, with the help of the FB2SMV converter. Additionally, the FBME tool was used for automating verification and analyzing counterexamples.

show abstract

Automatic Generation of Data Centre Digital Twins for Virtual Commissioning of Their Automation Systems

Cited by 3 publications

References 27 publications

Design and Implementation of an Electrical Automation Control System with the Blessing of Intelligent Technology

Design and Implementation of an Electrical Automation Control System with the Blessing of Intelligent Technology

Enhancing IEC 61499 with an IEEE 1451 TIM Function Block

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

Contact Info

Product

Resources

About