Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement - Systèmes Répartis, Calcul Parallèle et Réseaux
Article Dans Une Revue ACM Transactions on Autonomous and Adaptive Systems Année : 2024

Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement

Résumé

This work envisions industrial control systems that can reliably adapt to requirements. We rely on the international standard IEC 61499 to achieve this goal. The standard allows downtimeless system evolution such that an application can be modified at runtime to satisfy the requirements. However, an IEC 61499 application consisting of multiple Function Blocks (FBs) can be modified in many different ways, such as inserting or deleting FBs, creating new FBs with their respective internal behaviours, and adjusting the connections between FBs. These changes require considerable effort and cost, and there is no guarantee to satisfy the requirements. This paper applies runtime enforcement techniques for supporting adaptive IEC 61499 applications. This set of techniques can modify the runtime behaviour of a system according to specific requirements. Our approach begins with specifying the requirements as a state machine-based notation called contract automaton. This automaton is then used to synthesise an enforcer as an FB. Finally, the new FB is integrated into the application to execute according to the requirements. A tool support is developed to automate the approach.

Experiments were performed to evaluate the performance of enforcers by measuring the execution time of several applications before and after the integration of enforcers.

Fichier principal
Vignette du fichier
main.pdf (2.62 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04680168 , version 1 (28-08-2024)

Licence

Identifiants

  • HAL Id : hal-04680168 , version 1

Citer

Irman Faqrizal, Gwen Salaün, Yliès Falcone. Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement. ACM Transactions on Autonomous and Adaptive Systems, In press, pp.1-31. ⟨hal-04680168⟩
0 Consultations
0 Téléchargements

Partager

More