Probabilistic Model Checking for IEC 61499: A Manufacturing Application - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2024

Probabilistic Model Checking for IEC 61499: A Manufacturing Application

Abstract

The ever-increasing complexity of industrial control systems generates a demand for reliable development methods. IEC 61499, a recent industrial standard, helps to develop complex distributed systems based on their positive characteristics, namely reusability, reconfigurability, interoperability, and portability. Formal verification techniques, such as model checking, have been proposed to ensure the correctness of these systems during the design time. However, they do not consider the presence of the environment that can impact the application behaviour at runtime. This work combines design time and runtime analyses to apply probabilistic model checking on an IEC-61499-based manufacturing application. We present several probabilistic properties to be checked. The results are visualised graphically to be analysed, which allows one to optimise the system’s quantitative features, such as productivity.
Fichier principal
Vignette du fichier
final.pdf (3.11 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04533520 , version 1 (04-04-2024)

Licence

Attribution

Identifiers

  • HAL Id : hal-04533520 , version 1

Cite

Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin. Probabilistic Model Checking for IEC 61499: A Manufacturing Application. ICIT 2024 - 25th IEEE International Conference on Industrial Technology, IEEE, Mar 2024, Bristol, United Kingdom. pp.1-6. ⟨hal-04533520⟩
24 View
25 Download

Share

Gmail Facebook X LinkedIn More