防危核相关论文
随着实时计算的功能日益强大,应用成本的逐渐降低,实时计算技术广泛应用于航空航天、交通运输、核电能源和医疗卫生等诸多任务关键......
软件的大量应用使大型分布式控制系统面临严峻的安全考验,迫切需要新的防危技术.防危核(safety kernel)就是应运而生的一种防危新......
随着中国铁路事业的飞速发展,列车运行速度不断提高,发车间隔不断缩短,铁路列车运行控制系统在保证列车安全、提高运行效率、满足......
为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义.并从设计方面研究防危性的实现机制,其中重点研究了基于防危......
软件的大量应用使大型分布式控制系统面临严峻的防危考验,迫切需要新的防危技术。防危核就是应运而生的一种新防危保障技术。本文......
防危核是针对"新安全危机"问题而提出来的一种系统防危新概念.探讨它在铁路微机联锁系统中应用的可行性及基于反射机制的实现方式;......
为保障安全关键系统的正常运行,防止由用户对安全关键设备的误操作引起的系统故障,该文提出了一种通用的安全关键系统防危体系结构......
为增强安全关键系统的可信性，在分析高可信保障机制现状的基础上，提出了一种集成式的高可信保障体系结构。为防止不同关键度子系统间......
阐述了防危核的基本原理及优势，详细分析了防危核在列控车载设备软件中的应用，通过模拟列控车载设备模式转换外部条件对防危核的验证......
通过理想防危策略及其制定算法把防危策略的制定与一致性险证集为一体，从而解决防危策略与系统防危需求之间一致性问题；然后研究了以......
