Cyber Risk-Resilience of Wind Plants: A Formal Approach to Verify Safety and Stability of Wind Turbines and Power Plants

风力发电厂的网络风险抵御能力：验证风力涡轮机和发电厂安全性和稳定性的正式方法

• 批准号: 2881978
• 金额: --
• 依托单位: Plymouth University
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2023
• 资助国家: 英国
• 起止时间: 2023 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2881978
• 关键词: Cyber; Risk; Resilience; Wind; Plants

Modern wind plants are equipped with ICT that pose cybersecurity threats to the stability/safety of the plant. Current cyber risk analysis techniques lack coverage of the input/state spaces of these plants. This project aims to develop modelling frameworks that are amenable to 'formal' stability/safety analysis covering all possible inputs/sates of a wind plant. Main objectives are: 1: Investigate and develop deterministic/stochastic modelling frameworks that are amenable to 'formal' stability/safety analysis. 2: Investigate and develop various adversarial and attack models, considering wind plant's stability and safety. 3: Formalising system level properties and devise strategies to 'formally' verify them; "For all possible adversarial actions, the wind plant will never reach an unstable/unsafe state". 4: Investigate an adaptive protection/control procedure to enable the wind plant operating in reliable and safe manner in the presence of adversarial cyber-attacks models.

现代风力发电厂配备了信息通信技术，对发电厂的稳定性/安全构成网络安全威胁。当前的网络风险分析技术缺乏对这些工厂的输入/状态空间的覆盖。该项目旨在开发适合“正式”稳定性/安全分析的建模框架，涵盖风力发电厂所有可能的输入/状态。主要目标是： 1：研究和开发适合“正式”稳定性/安全性分析的确定性/随机建模框架。 2：考虑风电场的稳定性和安全性，研究和开发各种对抗和攻击模型。 3：形式化系统级属性并制定策略来“形式”验证它们； “对于所有可能的对抗性行为，风力发电厂永远不会达到不稳定/不安全的状态”。 4：研究自适应保护/控制程序，使风力发电厂在存在对抗性网络攻击模型的情况下能够可靠、安全地运行。