Assurance of Cyber-Physical Systems via Reasoning and Data Visualization Connecting automated reasoning techniques with data visualization to efficiently identify and remedy issues in CPS Giovanni Sparacio in consultation with Kathleen Campbell Garwood Department of Decision and System Sciences Haub School of Business Saint Joseph's University Philadelphia, PA giovanni.p.sparacio@gmail.com kcampbel@sju.edu

This work would was made possible by: Official contribution of the National Institute of Standards and Technology; not subject to copyright in the United States. Certain commercial equipment, instruments, or materials are identified in this paper in order to specify the experimental procedure adequately. Such identification is not intended to imply recommendation or endorsement by the National Institute of Standards and Technology, nor is it intended to imply that the materials or equipment identified are necessarily the best available for the purpose. Grant #: 21918-222030 G. Sparacio & K.C. Garwood, Saint Joseph’s University, Philadelphia, PA

NIST CPS Framework Basics (high level) abstraction-of addressed-by G. Sparacio & K.C. Garwood, Saint Joseph’s University, Philadelphia, PA

Multitude of levels in reality G. Sparacio & K.C. Garwood, Saint Joseph’s University, Philadelphia, PA

Important definitions According to the definition of the CPS Framework: A concern is an attribute of the CPS that a designer, manager, or operator is concerned about. Concerns are organized in a hierarchy. Aspects are top-level concerns Concerns are addressed by requirements, which are concise mandates that serve to assure the CPS against potential issues. Only after all of the concerns under a given aspect have been addressed by requirements, can an aspect be considered addressed. When all aspects have been addressed can a CPS be considered assured.  G. Sparacio & K.C. Garwood, Saint Joseph’s University, Philadelphia, PA

Objective Visualization and interactive dashboard that can reveal concerns, aspects, and requirements not being met in real time that can be understood at all levels of the CPS. G. Sparacio & K.C. Garwood, Saint Joseph’s University, Philadelphia, PA

View from the top G. Sparacio & K.C. Garwood, Saint Joseph’s University, Philadelphia, PA

Concern tree visual representation G. Sparacio & K.C. Garwood, Saint Joseph’s University, Philadelphia, PA

Live demo (at Poster) G. Sparacio & K.C. Garwood, Saint Joseph’s University, Philadelphia, PA

Thank you! Assurance of Cyber-Physical Systems via Reasoning and Data Visualization Giovanni Sparacio & Kathleen Campbell Garwood giovanni.p.sparacio@gmail.com kcampbel@sju.edu