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

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.

[1]  Sylvain Kubler,et al.  Enriching a Situation Awareness Framework for IoT with Knowledge Base and Reasoning Components , 2017, CONTEXT.

[2]  Dimitrios A. Koutsomitropoulos,et al.  ★A standards-based ontology and support for Big Data Analytics in the insurance industry , 2017, ICT Express.

[3]  Christian Bonnet,et al.  Cross-Domain Internet of Things Application Development: M3 Framework and Evaluation , 2015, 2015 3rd International Conference on Future Internet of Things and Cloud.

[4]  Michael Gelfond,et al.  Action Languages , 1998, Electron. Trans. Artif. Intell..

[5]  Edmund M. Clarke,et al.  dReal: An SMT Solver for Nonlinear Theories over the Reals , 2013, CADE.

[6]  Michael Huth,et al.  Satisfiability modulo theories for process systems engineering , 2018, Comput. Chem. Eng..

[7]  Edmund M. Clarke,et al.  Delta-Decidability over the Reals , 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.

[8]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[9]  Victor W. Marek,et al.  Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.

[10]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[11]  Marcello Balduccini,et al.  Ontology-Driven Data Semantics Discovery for Cyber-Security , 2015, PADL.

[12]  E. Balas DISJUNCTIVE PROGRAMMING: CUTTING PLANES FROM LOGICAL CONDITIONS , 1975 .

[13]  Edward Griffor,et al.  Framework for cyber-physical systems: volume 3, timing annex , 2017 .

[14]  Edward Griffor,et al.  Framework for Cyber-Physical Systems: Volume 1, Overview , 2017 .

[15]  Edward Griffor,et al.  Framework for cyber-physical systems: volume 2, working group reports , 2017 .

[16]  Dong Seong Kim,et al.  Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees , 2012, Secur. Commun. Networks.

[17]  Michael Huth,et al.  Manyopt: An Extensible Tool for Mixed, Non-Linear Optimization Through SMT Solving , 2017, ArXiv.

[18]  Chris Welty,et al.  FOIS introduction: Ontology---towards a new synthesis , 2001, FOIS.