Hybrid Controller Synthesis for the IoT

Arthur Gatouillat 1 Youakim Badr 1 Bertrand Massot 2
1 SOC - Service Oriented Computing
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
2 INL - Capteurs - INL - Capteurs Biomédicaux
INL - Institut des Nanotechnologies de Lyon
Abstract : The Internet-of-Things designates the interconnection of a variety of communication-enabled physical objects, and IoT-based systems and devices must operate with a deterministic behavior and respect user-defined system goals in any situation. We thus defined hybrid controller synthesis for decentralized and critical IoT-based systems relying on a set of rules to handle situations with asynchronous and synchronous event processing. This framework defines a declarative rule-driven governance mechanism of locally synchronous subsystems enabling the hybrid control of IoT systems with formal guarantees of the satisfaction of system-wide QoS requirements. In order to prove the practicality of our framework, then applied if to a critical medical Internet-of-Things use case, demonstrating its usability for critical IoT applications
Type de document :
Communication dans un congrès
The 33rd ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2018, Pau, France. ACM Press, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, pp.778-785, 2018, 〈10.1145/3167132.3167219〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01644356
Contributeur : Youakim Badr <>
Soumis le : vendredi 8 février 2019 - 09:49:13
Dernière modification le : vendredi 22 février 2019 - 08:51:50

Fichier

sac.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Arthur Gatouillat, Youakim Badr, Bertrand Massot. Hybrid Controller Synthesis for the IoT. The 33rd ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2018, Pau, France. ACM Press, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, pp.778-785, 2018, 〈10.1145/3167132.3167219〉. 〈hal-01644356〉

Partager

Métriques

Consultations de la notice

465

Téléchargements de fichiers

18