基于体系结构模型检查分布式控制系统

• 作者: 汪洋 王振宇 魏峻
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 正确性需求 性质规范模式 模型检查 软件体系结构 分布式控制系统
• 年，卷（期）: 2004,（6）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 823-833
• 页数: 11页
• 分类号: TP311
• 字数: 8714字
• 语种: 中文

摘要

分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务统,需要保障其功能的高度正确性和可靠性.分析复杂控制系统的过程包含了证明或验证设计的系统确实满足某种需求.但由于系统的复杂度,有效分析系统是相当困难的.从系统设计和分析的角度看,基于体系结构方法可以运用层次化构造和抽象的方法来减小模型复杂度.模型检查技术是分析复杂系统构造满足正确和可靠性需求的有效方法.结合软件体系结构描述方法和模型检查技术,提出了基于体系结构的分布式控制系统形式分析方法,通过楼宇综合控制系统实例研究,展示了该方法在提高分布式控制系统设计质量方面的效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王振宇		21	153	7.0	11.0
3	魏峻	中国科学院软件研究所	60	775	16.0	26.0
7	汪洋	中国科学院软件研究所	112	1200	19.0	30.0