Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems

03/20/2018
by   Marcello Balduccini, et al.
0

It has been challenging for the technical and regulatory communities to formulate requirements for trustworthiness of the cyber-physical systems (CPS) due to the complexity of the issues associated with their design, deployment, and operations. The US National Institute of Standards and Technology (NIST), through a public working group, has released a CPS Framework that adopts a broad and integrated view of CPS and positions trustworthiness among other aspects of CPS. This paper takes the model created by the CPS Framework and its further developments one step further, by applying ontological approaches and reasoning techniques in order to achieve greater understanding of CPS. The example analyzed in the paper demonstrates the enrichment of the original CPS model obtained through ontology and reasoning and its ability to deliver additional insights to the developers and operators of CPS.

READ FULL TEXT
research
10/29/2019

Learning-Assisted Secure End-to-End Network Slicing for Cyber-Physical Systems

There is a pressing need to interconnect physical systems such as power ...
research
03/26/2019

Interoperability and machine-to-machine translation model with mappings to machine learning tasks

Modern large-scale automation systems integrate thousands to hundreds of...
research
06/03/2021

Relational Analysis of Sensor Attacks on Cyber-Physical Systems

Cyber-physical systems, such as self-driving cars or autonomous aircraft...
research
10/29/2021

Delayed Propagation Transformer: A Universal Computation Engine towards Practical Control in Cyber-Physical Systems

Multi-agent control is a central theme in the Cyber-Physical Systems (CP...
research
09/10/2021

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

We consider requirements for cyber-physical systems represented in const...
research
03/23/2021

A Conceptual Reference Model for Human as a Service Provider in Cyber Physical Systems

In Cyber Physical Systems humans are often kept in the loop as operators...
research
01/24/2018

Reasoning about effects: from lists to cyber-physical agents

Theories for reasoning about programs with effects initially focused on ...

Please sign up or login with your details

Forgot password? Click here to reset