-
题名基于Event-B的控制系统形式化建模方法研究
- 1
-
-
作者
唐晨
陈邦兴
陈祖希
沈啸
-
机构
同济大学电子与信息工程学院
[
-
出处
《佳木斯大学学报（自然科学版）》
CAS
2014年第1期33-36,41,共5页
-
文摘
为降低形式化建模的难度,本文深入研究了基于Event-B的开发框架,并结合控制系统中控制器与被控环境之间的交互特征,提出了一套基于Event-B的控制系统有序模块化建模指导原则,能够帮助设计人员在开发的早期更加深入地理解系统需求,获得清晰的建模思路和开发策略,为设计高安全性的软件系统提供保障.最后,应用该方法完成了RBC(区域控制器)系统的形式化建模,说明了该方法的实用性.
-
关键词
控制系统
形式化方法
event—b建模
RbC系统
-
Keywords
control system
formal method
event- b modeling
RbC system
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
