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.

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