<div class="csl-bib-body">
<div class="csl-entry">Isakovic, H. (2022). <i>Towards dependable CPS/IoT ecosystem</i> [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.103104</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2022.103104
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/20392
-
dc.description
Kumulative Dissertation aus sieben Artikel
-
dc.description.abstract
This thesis defines a concept of CPS/IoT Ecosystem as a hierarchical structure, that governs practices and procedures for modeling, design, development, execution and operation of smart systems. We divide these systems in three loosely dependent scopes of operation: the cloud, the fog, and the swarm. Furthermore, we propose a series of methods and approaches that support the dependable design, execution, and operation of CPS/IoT Ecosystems: the methods for ensuring the deterministic execution of tasks in safety constrained applications, a communication channels virtualization for many-core architectures, and a secure communication architecture for many-core platforms. A CPS/IoT Ecosystem is a highly heterogeneous environment with hardware and software components that are designed and implemented by multiple organizations. To ensure coherence between different components and to reduce complexity we propose a continuous integration and deployment (CI/CD) scheme for CPS/IoT Ecosystem. Furthermore, we demonstrate a runtime verification (RV) mechanism that provides a basis for quality of service (QoS) orchestration and dynamic reconfiguration of CPS/IoT applications. As final step in this thesis we propose methods to achieve energy-sustainable CPS/IoT Ecosystems. In conclusion, this thesis tries to seed methodological guidelines on how to build dependable CPS/IoT Ecosystems for applications with various confidence requirements. We want to understand the upcoming changes and reduce eventual effects of ad-hoc development. To explain physical environments using mathematical models and to learn new emerging behaviors using this massive incursion of new data and new insights.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Internet of Things
en
dc.subject
Cyber-physical Systems
en
dc.subject
Computer Architecture
en
dc.subject
Dependability
en
dc.subject
Security
en
dc.subject
Green Computing
en
dc.subject
Runtime Verification
en
dc.title
Towards dependable CPS/IoT ecosystem
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2022.103104
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Haris Isakovic
-
dc.publisher.place
Wien
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
dc.contributor.assistant
Bartocci, Ezio
-
tuw.publication.orgunit
E191 - Institut für Computer Engineering
-
dc.type.qualificationlevel
Doctoral
-
dc.identifier.libraryid
AC16552480
-
dc.description.numberOfPages
155
-
dc.thesistype
Dissertation
de
dc.thesistype
Dissertation
en
tuw.author.orcid
0000-0002-9413-1815
-
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
tuw.assistant.staffStatus
staff
-
tuw.assistant.orcid
0000-0002-8004-6601
-
item.mimetype
application/pdf
-
item.cerifentitytype
Publications
-
item.openairetype
doctoral thesis
-
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
item.grantfulltext
open
-
item.openairecristype
http://purl.org/coar/resource_type/c_db06
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems