Our latest paper “Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs” is now available online. In this paper, we identify measurements based on graph abstractions of system design models that can be used to produce similar results as the aforementioned formal analyses. We demonstrate this on a model of a real-world wastewater dechlorination system. By combining data collected from formal and graph measurements, we provide alternate methods to evaluate the prevalence of implicit interactions within a system design that can make security-by-design more accessible and widely adopted for more secure and resilient cyber-physical systems. This paper was presented at the 2024 Resilience Week Symposium in December 2024. See Publications for more details!
Home / Publication / New Publication: Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs
New Publication: Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs