Poziv na predavanje "SMTaaS: Serving problem solving workloads over the computing continuum"

Sažetak predavanja:

Various properties related with the safe, correct, and efficient operation of Cyber-Physical Systems (CPS) can be expressed via formal languages and checked at runtime or offline by appropriate verification tools. Such tools operate on monitoring data about the CPS state and functionality, typically collected from IoT devices. A specific approach involves modeling CPS state or operations using Satisfiability Modulo Theories (SMT) formalisms, and using solver software to check whether given CPS properties are satisfied or to derive satisfiable CPS configurations. The computational requirements of this process can however be significant, which challenges its timely execution on IoT/edge devices where input date originate. To address this challenge, we present an architecture that allows the distributed execution of SMT problem solving workloads over the computing continuum as a service. Our design supports arbitrary hierarchies of solver nodes running anywhere from the IoT device to the cloud, each independently executing decision-making logic as to whether to solve an SMT problem instance locally or to recursively offload the task to other nodes in the continuum. We demonstrate the benefits of offloading by implementing and quantitatively evaluating different reinforcement learning-based decision-making strategies addressing latency minimization and energy efficiency goals, and showcase the practicability of our scheme in a fog robotics proof-of-concept.

Biografija predavača:

Dr. Pantelis A. Frangoudis is a postdoctoral researcher and university assistant at the Distributed Systems Group, Technical University of Vienna. He received his B.Sc. degree in informatics and the M.Sc. and Ph.D. degrees in computer science from the Department of Informatics, AUEB, Greece, in 2003, 2005, and 2012, respectively, with a thesis on user-centrism in wireless networking. He joined the Distributed Systems Group, TU Wien, in September 2019. Before that, he was a Researcher with the Communication Systems Department, EURECOM, Sophia Antipolis, France, from March 2017 to August 2019, and the Team DIONYSOS, IRISA/INRIA, Rennes, France, from October 2012 to February 2017, which he originally joined under an ERCIM “Alain Bensoussan” Postdoctoral Fellowship. His research interests include mobile/wireless networking, edge computing, network softwarization, network security, cloud computing, content delivery networks, and internet multimedia.