Probabilistic Analysis of Industrial IoT Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Probabilistic Analysis of Industrial IoT 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 challenging because of their informal semantics and distributed logic. We introduce new verification techniques for IEC 61499 applications that combine a design-time analysis for computing a formal model of the application with a runtime analysis for extracting additional information during the execution. This combination of analyses allows for building a richer model of the application and thus formally verifying it using probabilistic model checking. Our approach is automated using several tools and was validated on a realistic IEC 61499 application.
Fichier principal
Vignette du fichier
main (1).pdf (1.28 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03848674 , version 1 (10-11-2022)
hal-03848674 , version 2 (24-03-2023)



Yliès Falcone, Irman Faqrizal, Gwen Salaün. Probabilistic Analysis of Industrial IoT Applications. IoT 2022 -The 12th International Conference on the Internet of Things, Nov 2022, Delft, Netherlands. ⟨10.1145/3567445.3567461⟩. ⟨hal-03848674v2⟩
124 View
59 Download



Gmail Facebook X LinkedIn More