<div class="csl-bib-body">
<div class="csl-entry">Frangoudis, P. (2024, February 26). <i>SMTaaS: Serving problem solving workloads over the computing continuum</i> [Presentation]. IEEE Croatia Section, University of Zagreb, Zagreb, Croatia.</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/196467
-
dc.description.abstract
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.
en
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.subject
Computing continuum
en
dc.subject
IoT
en
dc.subject
Computation Offloading
en
dc.subject
Satisfiability Modulo Theories
en
dc.subject
Fog Robotics
en
dc.title
SMTaaS: Serving problem solving workloads over the computing continuum
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.relation.grantno
101079214
-
dc.type.category
Presentation
-
tuw.publication.invited
invited
-
tuw.project.title
Twinning action for spreading excellence in Artificial Intelligence of Things
-
tuw.researchTopic.id
I4
-
tuw.researchTopic.name
Information Systems Engineering
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E194-02 - Forschungsbereich Distributed Systems
-
tuw.author.orcid
0000-0001-6901-7714
-
tuw.event.name
IEEE Croatia Section, University of Zagreb
en
tuw.event.startdate
26-02-2024
-
tuw.event.enddate
26-02-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Zagreb
-
tuw.event.country
HR
-
tuw.event.presenter
Frangoudis, Pantelis
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.languageiso639-1
en
-
item.openairetype
conference presentation
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/R60J-J5BD
-
crisitem.author.dept
E194-02 - Forschungsbereich Distributed Systems
-
crisitem.author.orcid
0000-0001-6901-7714
-
crisitem.author.parentorg
E194 - Institut für Information Systems Engineering
