The DOI matches its Crossref record; 49 of the 49 references it cites were found in a registry or an index.
Ensuring Safety, Security, and Sustainability of Mission-Critical Cyber–Physical Systems
Abstract
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.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Analysis of Tissue and Arterial Blood Temperatures in the Resting Human Forearm
Pennes, H. H. (1948) · Journal of Applied Physiology · doi:10.1152/jappl.1948.1.2.93 · Cited by 4,646
Analysis of Tissue and Arterial Blood Temperatures in the Resting Human Forearm
Pennes, H. H. (1998) · Journal of Applied Physiology · doi:10.1152/jappl.1998.85.1.5 · Cited by 3,982
Energy Scavenging for Mobile and Wireless Electronics
Paradiso, J. A., & Starner, T. (2005) · IEEE Pervasive Computing · doi:10.1109/mprv.2005.9 · Cited by 2,653
Toward Cost-Effective Solar Energy Use
Lewis, N. S. (2007) · Science · doi:10.1126/science.1137014 · Cited by 2,394
Henzinger, T. A. (2002) · Proceedings 11th Annual IEEE Symposium on Logic in Computer Science · doi:10.1109/lics.1996.561342 · Cited by 1,837
Maini, R. N., Breedveld, F. C., Kalden, J. R., Smolen, J. S., Davis, D., MACFARLANE, J. D., Antoni, C., Leeb, B. F., Elliott, M. J., Woody, J. N., et al. (1998) · Arthritis & Rheumatism · doi:10.1002/1529-0131(199809)41:9<1552::aid-art5>3.0.co;2-w · Cited by 1,627
Managing energy and server resources in hosting centers
Chase, J. S., Anderson, D. C., Thakar, P. N., Vahdat, A. M., & Doyle, R. P. (2001) · Proceedings of the eighteenth ACM symposium on Operating systems principles · doi:10.1145/502034.502045 · Cited by 1,284
A middleware infrastructure for active spaces
Roman, M., Hess, C., Cerqueira, R., Ranganathan, A., Campbell, R. H., & Nahrstedt, K. (2002) · IEEE Pervasive Computing · doi:10.1109/mprv.2002.1158281 · Cited by 1,090
PowerNap: eliminating server idle power
Meisner, D., Gold, B. T., & Wenisch, T. F. (2009) · Proceedings of the 14th international conference on Architectural support for programming languages and operating systems · doi:10.1145/1508244.1508269 · Cited by 901
The Gator Tech Smart House: a programmable pervasive space
Helal, S., Mann, W., El-Zabadani, H., King, J., Kaddoura, Y., & Jansen, E. (2005) · Computer · doi:10.1109/mc.2005.107 · Cited by 874
Cited by
A Survey of Machine and Deep Learning Methods for Internet of Things (IoT) Security
Al-Garadi, M. A., Mohamed, A., Al-Ali, A. K., Du, X., Ali, I., & Guizani, M. (2020) · IEEE Communications Surveys & Tutorials · doi:10.1109/comst.2020.2988293 · Cited by 1,392
Design Techniques and Applications of Cyberphysical Systems: A Survey
Khaitan, S. K., & McCalley, J. D. (2015) · IEEE Systems Journal · doi:10.1109/jsyst.2014.2322503 · Cited by 784
Gatouillat, A., Badr, Y., Massot, B., & Sejdic, E. (2018) · IEEE Internet of Things Journal · doi:10.1109/jiot.2018.2849014 · Cited by 429
Industry 4.0 and supply chain sustainability: framework and future research directions
Bag, S., Telukdarie, A., Pretorius, J. H. C., & Gupta, S. (2018) · Benchmarking: An International Journal · doi:10.1108/bij-03-2018-0056 · Cited by 384
Self-citationAsharf, J., Moustafa, N., Khurshid, H., Debie, E., Haider, W., & Wahab, A. (2020) · Electronics · doi:10.3390/electronics9071177 · Cited by 378
Metadata
- Authors
- Banerjee, A., Venkatasubramanian, K. K., Mukherjee, T., & Gupta, S. K. S.
- Venue
- Proceedings of the IEEE
- Published
- 2012-01
- Volume
- 100
- Issue
- 1
- Pages
- 283-299
- ISSN
- 0018-9219 (ISSN-L)
- 1558-2256
- OpenAlex
- W1975720701
- Cited by
- 318
- References
- 49
- FWCI
- 21.97
- Type
- journal article
- Language
- en
- Open access
- closed
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: Ensuring Safety, Security, and Sustainability of Mission-Critical Cyber–Physical Systems. https://app.cochat.ai/papers/10.1109/jproc.2011.2165689
- The paper
- Banerjee, A., Venkatasubramanian, K. K., Mukherjee, T., & Gupta, S. K. S. (2012). Ensuring Safety, Security, and Sustainability of Mission-Critical Cyber–Physical Systems. Proceedings of the IEEE. https://doi.org/10.1109/jproc.2011.2165689
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
