Past Event

Click here to Register for this seminar!

Jason Jaskolka will be giving an online seminar as part of the Critical Infrastructure Resilience Institute (CIRI) Webinar Series titled “Implicit Interactions Analysis: A Wastewater Treatment System Case Study.”

Seminar Abstract:

Critical infrastructures consist of numerous components, and even more interactions, many of which may not be expected or foreseen by the system designers. The existence of these so-called implicit interactions indicates design flaws that, if not mitigated, could result in losses of system stability, safety, and security. In this talk, we will discuss and apply a formal methods-based approach for identifying and analyzing implicit interactions in a real-world Wastewater Dechlorination System provided by a municipal wastewater treatment facility. We will present and discuss our experimental analysis results summarizing the identified implicit interactions and a calculation of their severity and exploitability, which helps to inform mitigation efforts at early stages of system design. We will also discuss the validation of our modeling and analysis through the presentation of the results of a stakeholder questionnaire which shows that the rigorous, practical approaches applied in this case study have the potential to improve overall security and resilience for critical infrastructure systems.