Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499
IEEE Open Journal of the Industrial Electronics Society（2023）
Key words
Formal verification,IEC 61499,isotope separation online (ISOL),model checking,NuSMV,radioactive ion beams (RIBs),remote handling,Selective Production of Exotic Species (SPES),simulation
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined