安全关键系统中防危策略的设计技术研究

为保障安全关键系统的正常运行,防止由用户对安全关键设备的误操作引起的系统故障,该文提出了一种通用的安全关键系统防危体系结构和防危策略模型,并以核能发电控制系统为原型研究了一种基于有限自动机的防危策略设计技术,该技术可推广到其他任何安全关键系统设备中．

自适应防危策略的设计技术研究

当安全关键系统中的某些环境发生变化时,其对应于某些关键设备的防危策略也会皆然不同。本文以核电站控制系统为原型,提出一种基于有限制动机,利用自适应中间件QuO(Quality Objects)实现的自适应防危策略。该策略可以用于不同类型设备的其他安全关键系统中。

防危核一致性保障技术的研究

通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体,从而解决防危策略与系统防危需求之间一致性问题;然后研究了以Z语言为桥梁,用数学证明来解决防危核与防危策略之间一致性证明的方法。以十字路口的交通控制为例,全过程地实现和验证了所提出的思想和算法的正确性。

分布式控制系统防危体系的设计与实现

软件的大量应用使大型分布式控制系统面临严峻的防危考验,迫切需要新的防危技术。防危核就是应运而生的一种新防危保障技术。本文探讨了把防危核技术直接移用于大型分布式控制系统存在的困难,首次提出了建立分布式控制系统防危体系的设想,深入研究了防危体系应具有的特点和设计目标。在此基础上结合分布式控制系统的防危需求,提出了一种基于防危核技术的防危体系SSBSK,然后以交通灯指挥系统为对象建立了SSBSK,并验证了该SSBSK的可行性和有效性。

分布式系统安全保障新体系的研究

安全问题是阻碍分布式系统发展和实用化的主要因素之一 .分布式系统的安全性包括security和safety两个重要且紧密相关的方面 ,然而目前绝大多数的研究只限于security .可是随着软件的大量应用 ,分布式系统正面临严峻的防危考验 ,迫切需要新的safety保障技术 .本文在深入分析分布式系统安全需求的基础上 ,提出了建立集securi ty和safety保障为一体的分布式系统安全保障新体系的设想 ,并对该体系应具有的特点和设计目标进行探讨 .然后针对把防危核这种safety保障新技术用于大型分布式系统存在的困难 ,提出了基于实时操作系统的解决方案 .最后建立了一种新的安全保障体系SADS (securityandsafetyassurancestructureofdistributedsystem) ,并在实时Linux平台上 ,以交通灯指挥系统为对象建立了SADS 。