Probabilistic Analysis of Industrial IoT Applications - Laboratoire d'Informatique de Grenoble Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

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

Dates et versions

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

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More