Hybrid Controller Synthesis for the IoT - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Hybrid Controller Synthesis for the IoT

Arthur Gatouillat
Youakim Badr
Bertrand Massot

Résumé

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
Fichier principal
Vignette du fichier
sac.pdf (400.85 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01644356 , version 1 (08-02-2019)

Identifiants

Citer

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. pp.778-785, ⟨10.1145/3167132.3167219⟩. ⟨hal-01644356⟩
386 Consultations
175 Téléchargements

Altmetric

Partager

More