Runtime Enforcement for IEC 61499 Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Runtime Enforcement for IEC 61499 Applications


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
Origin Files produced by the author(s)

Dates and versions

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




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⟩
137 View
348 Download



Gmail Mastodon Facebook X LinkedIn More