| 基于RT-Linux防危保障机制的实验模型 |
| |
| 引用本文： | 杨霞,熊光泽,杨仕平,于逊. 基于RT-Linux防危保障机制的实验模型[J]. 单片机与嵌入式系统应用, 2003, 0(9): 19-22 |
| |
| 作者姓名： | 杨霞 熊光泽 杨仕平 于逊 |
| |
| 作者单位： | 成都电子科技大学 |
| |
| 基金项目： | 国防科技预研基金(2000J6.7.1.DZ0206)，国家十五项目(高可信赖的嵌入式实时操作系统) |
| |
| 摘 要： | 随着嵌入式实时系统在安全关键系统中日益广泛的应用，其软件不但要保证嵌入式实时系统的功能性和时间限制，对其安全性、稳定性和可靠性的要求也大大提高。软件错误的比例大大高于硬件错误，软件错误可能引起硬件误操作，进而直接威胁系统安全。使用防危核可有效防止关键设备误操作。本以RT-Linux实时操作系统为平台，对十字路口交通灯控制建立安全实验模型，研讨防危核实现技术，为防危保障探索新的实现途径。
|
| 关 键 词： | RT-Linux 实时操作系统 防危保障机制 实验模型 图形用户界面 文件系统 内核模块 |
| 修稿时间： | 2003-03-28 |
Experimental Model Based on RT-Linux Protection and Guarantee Systems |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
