Hybrid Controller Synthesis for the IoT - Archive ouverte HAL Accéder directement au contenu
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⟩
375 Consultations
151 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More