Reasoning about Smart City

Published

July 31, 2018

Author(s)

Edward R. Griffor, Martin J. Burns, David A. Wollman, Marcello Balducinni, Claire Vishik, Michael Huth

Abstract

Smart Cities are complex environments, comprising diverse cyber-physical systems (CPS), including Internet of Things (IoT). Smart Cities pose challenges of scale, integration, interoperability, sophisticated processes, governance, human elements. Trustworthiness (including safety, security, privacy, reliability and resilience) of these Smart Cities and their elements is critical for gaining broad adoption by the leadership and the public. The US National Institute of Standards and Technology (NIST) and its government, university and industry collaborators, have developed an approach to reasoning about CPS/IoT trustworthiness that can be applied to Smart Cities. The approach uses ontology and reasoning techniques, is based on the NIST Framework for Cyber-Physical Systems, and demonstrates how a greater understanding of the interdependencies between concerns (elements of the CPS Framework) can be achieved. To demonstrate capabilities of the approach in a short paper, we develop a public safety use case and show how reasoning can be used to analyze and validate the trustworthiness of elements of Smart Cities.

Conference Dates

June 18-19, 2018

Conference Location

Taormina

Conference Title

4th IEEE Conference on Smart Computing

Pub Type

Conferences

Download Paper

DOI Link

Keywords

Cyber-Physical Systems, Reasoning, Ontology, Smart City

Citation

Griffor, E. , Burns, M. , Wollman, D. , Balducinni, M. , Vishik, C. and Huth, M. (2018), Reasoning about Smart City, 4th IEEE Conference on Smart Computing, Taormina, -1, [online], https://doi.org/10.1109/SMARTCOMP.2018.00033 (Accessed April 1, 2025)