Death by AI: Where Assured Autonomy in Smart Cities Meets the End-to-End Argument

02/13/2020
by   Gregory Falco, et al.
0

A smart city involves critical infrastructure systems that have been digitally enabled. Increasingly, many smart city cyber-physical systems are becoming automated. The extent of automation ranges from basic logic gates to sophisticated, artificial intelligence (AI) that enables fully autonomous systems. Because of modern society's reliance on autonomous systems in smart cities, it is crucial for them to operate in a safe manner; otherwise, it is feasible for these systems to cause considerable physical harm or even death. Because smart cities could involve thousands of autonomous systems operating in concert in densely populated areas, safety assurances are required. Challenges abound to consistently manage the safety of such autonomous systems due to their disparate developers, manufacturers, operators and users. A novel network and a sample of associated network functions for autonomous systems is proposed that aims to provide a baseline of safety for autonomous systems. This is accomplished by establishing a custom-designed network for autonomous systems that is separate from the Internet, and can handle certain functions that enable safety through active networking. Such a network design sits at the margins of the end-to-end principle, which is warranted considering the safety of autonomous systems is at stake as is argued in this paper. Without a scalable safety strategy for autonomous systems as proposed, assured autonomy in smart cities will remain elusive.

READ FULL TEXT
research
08/11/2020

SafetyOps

Safety assurance is a paramount factor in the large-scale deployment of ...
research
05/14/2021

KIGLIS: Smart Networks for Smart Cities

Smart cities will be characterized by a variety of intelligent and netwo...
research
03/08/2020

Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)

Due to major breakthroughs in software and engineering technologies, emb...
research
06/27/2019

IDEAL-CITIES: A Trustworthy and Sustainable Framework for Circular Smart Cities

Reflecting upon the sustainability challenges cities will be facing in t...
research
03/11/2022

Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context

There is a desire to move towards more flexible and automated factories....
research
12/15/2021

IoT Security and Safety Testing Toolkits for Water Distribution Systems

Due to the critical importance of Industrial Control Systems (ICS) to th...
research
04/07/2021

AI perspectives in Smart Cities and Communities to enable road vehicle automation and smart traffic control

Smart Cities and Communities (SCC) constitute a new paradigm in urban de...

Please sign up or login with your details

Forgot password? Click here to reset