Towards learning and verifying invariants of cyber-physical systems by code mutation

• Main Authors: CHEN, Yuqi, POSKITT, Christopher M., SUN, Jun
• 格式: text
• 語言: English
• 出版: Institutional Knowledge at Singapore Management University 2016
• 主題: Support Vector Machine; Sensor Data; Water Treatment Plant; Mutation Testing; Programmable Logic Controller; Software Engineering; Theory and Algorithms
• 在線閱讀: https://ink.library.smu.edu.sg/sis_research/4938; https://ink.library.smu.edu.sg/context/sis_research/article/5941/viewcontent/towards_learning.pdf
• 機構: Singapore Management University

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 inf...