In this paper, we address the role of middleware in enabling robust and resilient cyber-physical systems (CPSs) of the future. In particular, we will focus on how adaptation services can be used to improve dependability in instrumented cyber-physical systems based on the principles of 'computational reflection.' CPS environments incorporate a variety of sensing and actuation devices in a distributed architecture; such a deployment is used to create a digital representation of the evolving physical world and its processes for use by a broad range of applications. CPS applications, in particular, mission critical tasks, must execute dependably despite disruptions caused by failures and limitations in sensing, communications, and computation. This paper discusses a range of applications, their reliability needs, and potential dependability holes that can cause performance degradation and application failures. In particular, we distinguish between the notion of infrastructure and information dependability and illustrate the need to formally model and reason about a range of CPS applications and their dependability needs. Formal methods based tools can help us design meaningful cross-layer adaptation techniques at different system layers of the CPS environment and thereby achieve end-to-end dependability at both the infrastructure and information levels.
%0 Journal Article
%1 DenkerDuttEtAl12jisa
%A Denker, Grit
%A Dutt, Nikil
%A Mehrotra, Sharad
%A Stehr, Mark-Oliver
%A Talcott, Carolyn
%A Venkatasubramanian, Nalini
%D 2012
%J Journal of Internet Services and Applications
%K v1205 springer paper embedded ai system engineering adaptive middleware zzz.cps
%N 1
%P 41-49
%R 10.1007/s13174-011-0057-4
%T Resilient Dependable Cyber-Physical Systems: A Middleware Perspective
%V 3
%X In this paper, we address the role of middleware in enabling robust and resilient cyber-physical systems (CPSs) of the future. In particular, we will focus on how adaptation services can be used to improve dependability in instrumented cyber-physical systems based on the principles of 'computational reflection.' CPS environments incorporate a variety of sensing and actuation devices in a distributed architecture; such a deployment is used to create a digital representation of the evolving physical world and its processes for use by a broad range of applications. CPS applications, in particular, mission critical tasks, must execute dependably despite disruptions caused by failures and limitations in sensing, communications, and computation. This paper discusses a range of applications, their reliability needs, and potential dependability holes that can cause performance degradation and application failures. In particular, we distinguish between the notion of infrastructure and information dependability and illustrate the need to formally model and reason about a range of CPS applications and their dependability needs. Formal methods based tools can help us design meaningful cross-layer adaptation techniques at different system layers of the CPS environment and thereby achieve end-to-end dependability at both the infrastructure and information levels.
@article{DenkerDuttEtAl12jisa,
abstract = {In this paper, we address the role of middleware in enabling robust and resilient cyber-physical systems {(CPSs)} of the future. In particular, we will focus on how adaptation services can be used to improve dependability in instrumented cyber-physical systems based on the principles of 'computational reflection.' {CPS} environments incorporate a variety of sensing and actuation devices in a distributed architecture; such a deployment is used to create a digital representation of the evolving physical world and its processes for use by a broad range of applications. {CPS} applications, in particular, mission critical tasks, must execute dependably despite disruptions caused by failures and limitations in sensing, communications, and computation. This paper discusses a range of applications, their reliability needs, and potential dependability holes that can cause performance degradation and application failures. In particular, we distinguish between the notion of infrastructure and information dependability and illustrate the need to formally model and reason about a range of {CPS} applications and their dependability needs. Formal methods based tools can help us design meaningful cross-layer adaptation techniques at different system layers of the {CPS} environment and thereby achieve end-to-end dependability at both the infrastructure and information levels.},
added-at = {2012-05-30T10:45:01.000+0200},
author = {Denker, Grit and Dutt, Nikil and Mehrotra, Sharad and Stehr, Mark-Oliver and Talcott, Carolyn and Venkatasubramanian, Nalini},
biburl = {https://www.bibsonomy.org/bibtex/259fee52e968db8ad42cdb2f6548b4745/flint63},
doi = {10.1007/s13174-011-0057-4},
file = {SpringerLink:2012/DenkerDuttEtAl12jisa.pdf:PDF},
groups = {public},
interhash = {cad770af1a5d440ee07c10f77cb0846c},
intrahash = {59fee52e968db8ad42cdb2f6548b4745},
issn = {1867-4828},
journal = {Journal of Internet Services and Applications},
keywords = {v1205 springer paper embedded ai system engineering adaptive middleware zzz.cps},
month = {#may#},
number = 1,
pages = {41-49},
timestamp = {2018-04-16T12:00:05.000+0200},
title = {Resilient Dependable Cyber-Physical Systems: A Middleware Perspective},
username = {flint63},
volume = 3,
year = 2012
}