Probabilistic Model Checking for IEC 61499: A Manufacturing Application
Published in 2024 IEEE International Conference on Industrial Technology (ICIT), 2024
Recommended citation: I. Faqrizal, T. Liakh, M. Xavier, G. Salán, V. Vyatkin. "Probabilistic Model Checking for IEC 61499: A Manufacturing Application." 2024 IEEE International Conference on Industrial Technology (ICIT), 2024.
This paper applies probabilistic model checking to IEC 61499 control applications, using a manufacturing case study to quantitatively analyse the reliability and stochastic behaviour of the control software.