New Publication: Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs
Our latest paper “” 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 in December 2024. See Publications for more details!