科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明公开了一种复杂工业控制系统,属于工业控制技术领域。所述系统包括：资源约束模块,用于定义系统与物理资源的约束关系；元模型创建模块,用于根据系统的各功能,建立对应的含有事件的各元模型；事件触发约束模块,用于描述元模型中事件的触发条件及协同状态；运行时态验证模块,用于当满足触发条件时,验证对应事件的协同状态及涉及的约束关系；反馈模块,用于反馈运行时态验证模块的验证结果。本发明中的系统,以事件驱动为基础,避免了当前复杂工业控制系统中模型转换带来的问题,并提升了系统性能；同时,在前期综合考虑资源的部署,无需反复调整编码,降低了人力、物力等的消耗,且结合系统形式化验证,提高了系统的可靠性和安全性。
- 单位
