Probabilistic Model Checking for IEC 61499: A Manufacturing Application - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Probabilistic Model Checking for IEC 61499: A Manufacturing Application

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

  • HAL Id : hal-04533520 , version 1

Citer

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⟩
0 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More