安全状态机相关论文
随着高速铁路列控系统的自动化程度越来越高,列控车载设备成为列车安全运行、提高运行效率的关键设备。该设备是典型的安全苛求系......
城市轨道交通以其安全可靠、污染低、运量大、速度快、受其他交通方式干扰小等特点,成为解决城市交通拥堵问题的首选方案。基于通......
中国铁路进入了跨越式大发展时期,当前正在研究的是基于GSM-R无线通信系统的车-地双向信息传输的CTCS-3级列控系统,它可以极大的提......
介绍信息安全模型的作用和特征以及几种目前比较实用的安全模型。探讨机关办公网络的数据流特点 ,并提出一种适合部队和政府机关办......
为了能完善解决基于FPGA设计中出现的状态机“跑飞”现象的问题，本文通过全面剖析该现象的实质，分析了该现象产生的根本原因，总结了导......
针对高速铁路列控系统安全完整性等级要求高、安全功能需求验证难等问题,考虑列控系统安全需求建模具有层次性、并发性等特点,以自......
现代社会智能手机日益重要,承载个人隐私数据,但因缺乏安全机制,存在被盗时不会报警、被盗后数据易被泄露等诸多问题。利用手机中......
