Runtime Enforcement for IEC 61499 Applications - Laboratoire d'Informatique de Grenoble Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Runtime Enforcement for IEC 61499 Applications

Résumé

Industrial automation is a complex process involving various stakeholders. The international standard IEC 61499 helps to specify distributed automation using a generic architectural model, targeting the technical development of the automation. However, analysing the correctness of IEC 61499 models remains a challenge because of their informal semantics and distributed logic. We propose new verification techniques for IEC 61499 applications. These techniques rely on the concept of runtime enforcement, which can be applied to systems for preventing bad behaviours from happening. The main idea of our approach is to integrate an enforcer in the application for allowing it to respect specific properties when executing. The techniques begin with the definition of a property. The language of this property supports features such as discarding and replacing events. Next, this property is used to synthesise an enforcer in the form of a function block. Finally, the synthesised enforcer is integrated into the application. Our approach is illustrated on a realistic example and fully automated.
Fichier principal
Vignette du fichier
main.pdf (1.09 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03766095 , version 1 (31-08-2022)
hal-03766095 , version 2 (24-03-2023)

Licence

Paternité

Identifiants

Citer

Yliès Falcone, Gwen Salaün, Irman Faqrizal. Runtime Enforcement for IEC 61499 Applications. SEFM 2022 - 20th International Conference on Software Engineering and Formal Methods, Sep 2022, Berlin, Germany. pp.1-17, ⟨10.1007/978-3-031-17108-6_22⟩. ⟨hal-03766095v2⟩
108 Consultations
306 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More