10.3969/j.issn.1009-623X.2003.09.005
基于RT-Linux防危保障机制的实验模型
随着嵌入式实时系统在安全关键系统中日益广泛的应用,其软件不但要保证嵌入式实时系统的功能性和时间限制,对其安全性、稳定性和可靠性的要求也大大提高.软件错误的比例大大高于硬件错误,软件错误可能引起硬件误操作,进而直接威胁系统安全.使用防危核可有效防止关键设备误操作.本文以RT-Linux实时操作系统为平台,对十字路口交通灯控制建立安全实验模型,研讨防危核实现技术,为防危保障探索新的实现途径.
防危核、安全核、实时系统、防危策略
TP393(计算技术、计算机技术)
国防科技预研基金2000J6.7.1.DZ0206;国家科技攻关项目
2004-01-15(万方平台首次上网日期,不代表论文的发表时间)
共4页
19-22