ICSE 2020 (series) / FormaliSE 2020 (series) / FormaliSE 2020 /
Security Analysis of a Quadruple-tank Water System via Statistical Model Checking
\emph{Cyber-Physical Systems} (CPSs) are integrations of networking and distributed computing systems with physical processes. Although the range of their applications include several critical domains, the current trend is to verify and validate \CPS{s} with simulation-test systems rather than formal methodologies. In this paper, we focus on the \textsc{Modest Toolset} to implement a non-trivial quadruple-tank water system with the objective to do \emph{statistical model checking} to analyze the impact of three \emph{physics-based attacks}, \emph{i.e.}, attacks targeting \emph{sensors} and/or \emph{actuators} of the system, with potential consequences on the safety of the physical process.