Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System

摘要: Critical infrastructures consist of numerous components, and even more interactions, many which may not be expected or foreseen by the system designers. The existence these so-called implicit interactions indicates design flaws that, if mitigated, could result in losses stability, safety, security. In this paper, we apply a formal methods-based approach for identifying analyzing real-world Wastewater Dechlorination System provided municipal wastewater treatment facility. A model is developed using C\(^2\)KA modeling framework analysis automated software prototype. results include summary identified calculation their severity exploitability, helps to inform mitigation efforts at early stages design. We validate with questionnaire shows that rigorous, practical approaches applied case study have potential improve overall security resilience.