基于 Event -B 的控制系统形式化建模方法研究

• 作者: 唐晨 沈啸 陈祖希 陈邦兴
• 来源期刊: 佳木斯大学学报（自然科学版）
• 学科: 工学
• 关键词: 控制系统 形式化方法 Event-B建模 RBC系统
• 年，卷（期）: 2014,（1）
• 页码范围: 33-36,41
• 页数: 5页
• 分类号: TP311.52
• 字数: 3680字
• 语种: 中文

摘要

为降低形式化建模的难度，本文深入研究了基于Event-B的开发框架，并结合控制系统中控制器与被控环境之间的交互特征，提出了一套基于Event-B的控制系统有序模块化建模指导原则，能够帮助设计人员在开发的早期更加深入地理解系统需求，获得清晰的建模思路和开发策略，为设计高安全性的软件系统提供保障。最后，应用该方法完成了RBC （区域控制器）系统的形式化建模，说明了该方法的实用性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈祖希	同济大学电子与信息工程学院	5	17	3.0	4.0
2	陈邦兴	同济大学电子与信息工程学院	25	186	8.0	13.0
3	唐晨	同济大学电子与信息工程学院	3	3	1.0	1.0