|
|||||
|
|
| 基于体系结构模型检查分布式控制系统 | |
| 引用本文： | 汪洋,魏峻,王振宇. 基于体系结构模型检查分布式控制系统[J]. 软件学报, 2004, 15(6): 823-833 |
| 作者姓名： | 汪洋 魏峻 王振宇 |
| 作者单位： | 1. 中国科学院，软件研究所，北京，100080；武汉数字工程研究所,湖北,武汉,430074；武汉大学,软件工程国家重点实验室,湖北,武汉,430072 2. 中国科学院，软件研究所，北京，100080；武汉大学,软件工程国家重点实验室,湖北,武汉,430072 3. 武汉数字工程研究所,湖北,武汉,430074；武汉大学,软件工程国家重点实验室,湖北,武汉,430072 |
| 基金项目： | Supported by the National Natural Science Foundation of China undcr Grant No.60203029(国家自然科学基金);the National High-Tech Research and Development Plan of China under Grant No.200AA13010(国家高技术研究发展计划(863));the National Grand Fundamental Re |
| 摘 要： | 分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务统,需要保障其功能的高度正确性和可靠性.分析复杂控制系统的过程包含了证明或验证设计的系统确实满足某种需求.但由于系统的复杂度,有效分析系统是相当困难的.从系统设计和分析的角度看,基于体系结构方法可以运用层次化构造和抽象的方法来减小模型复杂度.模型检查技术是分析复杂系统构造满足正确和可靠性需求的有效方法.结合软件体系结构描述方法和模型检查技术,提出了基于体系结构的分布式控制系统形式分析方法,通过楼宇综合控制系统实例研究,展示了该方法在提高分布式控制系统设计质量方面的效果. |
| 关 键 词： | 正确性需求 性质规范模式 模型检查 软件体系结构 分布式控制系统 |
| 收稿时间： | 2004-06-01 |
Model Checking Distributed Control Systems Based on Software Architecture |
|
| WANG Yang,WEI Jun and WANG Zhen-Yu. Model Checking Distributed Control Systems Based on Software Architecture[J]. Journal of Software, 2004, 15(6): 823-833 | |
| Authors: | WANG Yang WEI Jun WANG Zhen-Yu |
| Abstract: | |
| Keywords: | correctness requirement pattern of property specification model checking software architecture distributed control system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |