Hybrid controller synthesis for the IoT

Arthur Gatouillat, Youakim Badr, Bertrand Massot
2018 Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18  
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
more » ... nism of locally synchronous sub-systems 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. CCS Concepts • Computer systems organization➝Dependable and faulttolerant systems and networks • Computer systems organization➝Embedded and cyber-physical systems.
doi:10.1145/3167132.3167219 dblp:conf/sac/GatouillatBM18 fatcat:6pmkyhmcojd75hhmtntdorsavi