Cyber-physical systems (CPS), which integrate algorithmic control with physical processes, often consist of physically distributed components communicating over a network. A malfunctioning or compromised component in such a CPS can lead to costly consequences, especially in the context of public infrastructure. It is thus important that unexpected or even malicious behaviour can be detected and reacted to before it is too late.
In this project, we aim to construct invariants (or models) of CPS, and use them for attesting that their physical behaviour is correct (“physical attestation”). To achieve this despite the inherent complexity of CPS, we are investigating a new technique for automatically learning classifiers based on ideas from machine learning and mutation testing. We have performed a preliminary study on a water treatment testbed at SUTD that suggests the efficacy of this approach, and report on it in the following short paper at FM 2016:
Y. Chen, C. M. Poskitt, and J. Sun. Towards learning and verifying invariants of cyber-physical systems by code mutation. In Proc. International Symposium on Formal Methods (FM 2016), 2016. To appear. [PDF, Supplementary Material]