检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]电子科技大学宽带光纤传输与通信系统技术国家重点实验室,成都610054
出 处:《系统仿真学报》2001年第S2期458-462,466,共6页Journal of System Simulation
基 金:"十五"预研项目
摘 要:软件的大量应用使大型分布式控制系统面临严峻的防危考验,迫切需要新的防危技术。防危核就是应运而生的一种新防危保障技术。本文探讨了把防危核技术直接移用于大型分布式控制系统存在的困难,首次提出了建立分布式控制系统防危体系的设想,深入研究了防危体系应具有的特点和设计目标。在此基础上结合分布式控制系统的防危需求,提出了一种基于防危核技术的防危体系SSBSK,然后以交通灯指挥系统为对象建立了SSBSK,并验证了该SSBSK的可行性和有效性。Since software is being used largely in the complex distributed control systems, the possibility of serious damage resulting from a software defect is considerable and growing, and then the complex distributed systems are plunging into safety crisis. In fact, control systems are in urgent need of new safety assurance technologies. Safety kernel is a new concept of safety assurance. It emerges, as the times require. In this paper, we analyze the reasons for which the current safety kernel project can抰 be applied to complex distributed control system, put forward new ideas for setting up the safety structure of distributed control system, discuss the designing aims and characteristics of this safety structure. Based on the analyses above and the safety requirement of distributed control system, we set up SSBSK based on safety kernel. At last, taking the control system in the traffic lights as example, prototype experiment of SSBSK has been done on the RT-Linux platform in the lab, and this experiment has proved the validity of SSBSK.
关 键 词:分布式控制系统 防危核 防危体系 防危策略 安全核
分 类 号:TP311.52[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.21.35.68