一种基于Event-B模型的电力系统人机交互安全性验证方法

本发明公开了一种基于Event‑B模型的电力系统人机交互安全性验证方法，包括以下步骤：(1)通过对电力系统的人机交互界面进行分析，确定人机界面的安全需求；(2)分析所述危险控制行为产生的原因，通过在逻辑上排除危险控制行为产生的原因，确定危险控制行为的安全约束；(3)根据危险控制行为产生的原因和危险控制行为的安全约束确定人机界面的安全需求；(4)根据人机界面的安全需求建立人机界面的Event‑B模型；(5)基于Rodin平台验证Event‑B模型的安全性，获得验证结果；本发明高了电力系统的人机界面的安全分析的全面性。