High Assurance Runtime Monitoring of Industrial Control Systems/SCADA

工业控制系统是关键任务，并出现在许多形状和大小；它们用于制造工厂和公用事业部门（例如发电或配水），通过自动调整以适应操作环境的变化来控制关键基础设施。由于大多数这些系统都是联网的，网络攻击可能会带来非常严重的后果，从基础设施故障到组件过早磨损，因此在运行时监控控制系统至关重要。该项目将为分布式工业控制系统的运行时监控开发新的非侵入性方法。

Industrial control systems are mission critical and are occurring in many shapes and sizes; they are used in manufacturing plants and the utility sector (e.g. power generation or water distribution) to control critical infrastructure by automatically adjusting to changes in the operating environment. As most of these systems are networked, cyber attacks are possible with very serious consequences ranging from failure of the infrastructure to pre-mature wearing out of components and hence it is critical to monitor the control system at runtime. This project will develop novel non-invasive approaches for runtime monitoring of distributed Industrial Control Systems.