TY - JOUR
T1 - Ensuring safety, security, and sustainability of mission-critical cyber-physical systems
AU - Banerjee, Ayan
AU - Venkatasubramanian, Krishna K.
AU - Mukherjee, Tridib
AU - Gupta, Sandeep
N1 - Funding Information:
Manuscript received July 1, 2011; accepted August 10, 2011. Date of publication October 26, 2011; date of current version December 21, 2011. This work was supported in part by the National Science Foundation (NSF) under Grants CNS 0831544, 0834797, and 0855277 and by Raytheon, Northrop Grumman, Intel, and SFAz. A. Banerjee and S. K. S. Gupta are with the School of Computing, Informatics, and Decision Systems Engineering, Arizona State University (ASU), Tempe, AZ 85287 USA (e-mail: abanerj3@asu.edu; sandeep.gupta@asu.edu). K. K. Venkatasubramanian is with the Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104 USA (e-mail: vkris@cis.upenn.edu). T. Mukherjee was with the Arizona State University (ASU), Tempe, AZ 85287 USA. He is now with the Xerox Research Center, Bangalore 560047, India (e-mail: tridib.mukherjee2@xerox.com).
PY - 2012/1
Y1 - 2012/1
N2 - Cyber-physical systems (CPSs) couple their cyber and physical parts to provide mission-critical services, including automated pervasive health care, smart electricity grid, green cloud computing, and surveillance with unmanned aerial vehicles (UAVs). CPSs can use the information available from the physical environment to provide such ubiquitous, energy-efficient and low-cost functionalities. Their operation needs to ensure three key properties, collectively referred to as S3: 1) safety: avoidance of hazards; 2) security: assurance of integrity, authenticity, and confidentiality of information; and 3) sustainability: maintenance of long-term operation of CPSs using green sources of energy. Ensuring S3 properties in a CPS is a challenging task given the spatio-temporal dynamics of the underlying physical environment. In this paper, the formal underpinnings of recent CPS S3 solutions are aligned together in a theoretical framework for cyber-physical interactions, empowering CPS researchers to systematically design solutions for ensuring safety, security, or sustainability. The general applicability of this framework is demonstrated with various exemplar solutions for S3 in diverse CPS domains. Further, insights are provided on some of the open research problems for ensuring S3 in CPSs.
AB - Cyber-physical systems (CPSs) couple their cyber and physical parts to provide mission-critical services, including automated pervasive health care, smart electricity grid, green cloud computing, and surveillance with unmanned aerial vehicles (UAVs). CPSs can use the information available from the physical environment to provide such ubiquitous, energy-efficient and low-cost functionalities. Their operation needs to ensure three key properties, collectively referred to as S3: 1) safety: avoidance of hazards; 2) security: assurance of integrity, authenticity, and confidentiality of information; and 3) sustainability: maintenance of long-term operation of CPSs using green sources of energy. Ensuring S3 properties in a CPS is a challenging task given the spatio-temporal dynamics of the underlying physical environment. In this paper, the formal underpinnings of recent CPS S3 solutions are aligned together in a theoretical framework for cyber-physical interactions, empowering CPS researchers to systematically design solutions for ensuring safety, security, or sustainability. The general applicability of this framework is demonstrated with various exemplar solutions for S3 in diverse CPS domains. Further, insights are provided on some of the open research problems for ensuring S3 in CPSs.
KW - Body area networks (BANs)
KW - cyber-physical systems (CPSs)
KW - data centers (DCs)
KW - model-based engineering
KW - safety
KW - security
KW - smart infrastructures (SIs)
KW - sustainability
KW - unmanned aerial vehicles (UAVs)
UR - http://www.scopus.com/inward/record.url?scp=84155165352&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84155165352&partnerID=8YFLogxK
U2 - 10.1109/JPROC.2011.2165689
DO - 10.1109/JPROC.2011.2165689
M3 - Article
AN - SCOPUS:84155165352
SN - 0018-9219
VL - 100
SP - 283
EP - 299
JO - Proceedings of the IEEE
JF - Proceedings of the IEEE
IS - 1
M1 - 6061910
ER -