Cyber-Physical Systems (CPSs) are integrations of network- ing and distributed computing systems with physical processes. Although the range of applications of CPSs include several critical domains, their verification and validation often relies on simulation-test systems rather then formal methodologies. In this paper, we use a recent version of the expressive MODEST TOOLSET to implement a non-trivial engineering application, and test its safety model checker prohver as a formal instru- ment to statically detect a variety of cyber-physical attacks, i.e., attacks targeting sensors and/or actuators, with potential physical consequences. We then compare the effectiveness of the MODEST TOOLSET and its safety model checker in verifying CPS security properties when compared to other state-of-the-art model checkers.
|Titolo:||A Modest Security Analysis of Cyber-Physical Systems: A Case Study|
MERRO, Massimo (Corresponding)
MUNTEANU, ANDREI (Corresponding)
|Data di pubblicazione:||Being printed|
|Appare nelle tipologie:||04.01 Contributo in atti di convegno|