主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第4期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
汪洋,魏峻,王振宇.基于体系结构模型检查分布式控制系统.软件学报,2004,15(6):823-833
基于体系结构模型检查分布式控制系统
Model Checking Distributed Control Systems Based on Software Architecture
投稿时间:2004-06-01  
DOI:
中文关键词:  正确性需求  性质规范模式  模型检查  软件体系结构  分布式控制系统
英文关键词:correctness requirement  pattern of property specification  model checking  software architecture  distributed control system
基金项目: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
作者单位
汪洋 中国科学院软件研究所北京100080武汉数字工程研究所,湖北,武汉,430074武汉大学,软件工程国家重点实验室,湖北,武汉,430072 
魏峻 中国科学院软件研究所北京100080武汉大学,软件工程国家重点实验室,湖北,武汉,430072 
王振宇 中国科学院软件研究所北京100080武汉大学,软件工程国家重点实验室,湖北,武汉,430072 
摘要点击次数: 2785
全文下载次数: 2968
中文摘要:
      分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统,它们也是任务统,需要保障其功能的高度正确性和可靠性.分析复杂控制系统的过程包含了证明或验证设计的系统确实满足某种需求.但由于系统的复杂度,有效分析系统是相当困难的.从系统设计和分析的角度看,基于体系结构方法可以运用层次化构造和抽象的方法来减小模型复杂度.模型检查技术是分析复杂系统构造满足正确和可靠性需求的有效方法.结合软件体系结构描述方法和模型检查技术,提出了基于体系结构的分布式控制系统形式分析方法,通过楼宇综合控制系统实例研究,展示了该方法在提高分布式控制系统设计质量方面的效果.
英文摘要:
      Distributed control systems are a category of high complex systems that include a large number of devices controlled and harmonized by computer systems. Their reliability and functional correctness always need to be guaranteed as their mission-critical feature. The analysis process for complex control systems consists of proving or verifying that the designed system indeed meets certain specifications. However, both the design and analysis may be formidable due to the complexity and magnitude of the system. From an analysis perspective, the complexity of a system can be reduced by imposing a hierarchical structure and abstraction on the architectural design. Currently, model checking has been demonstrated by more and more successes. It is an effective way to verify that the construction of a complex system satisfies to the requirements of reliability and correctness. In this paper, an approach for formally analyzing distributed control systems at architectural level by applying software architecture description and model checking techniques is presented. Through study on a building comprehensive control system, it is shown that the method could improve the quality of design of distributed control systems.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利