机译:安全关键系统的符合Ravenscar的运行时内核
Department of Computer Systems, Uppsala University, Information Technology, Sweden;
safety-critical systems; ravenscar; run-time kernel; formal modeling; model checking; ada; UPPAAL;
机译:DIGGER:确定用于运行时安全性分析的操作系统动态内核对象
机译:没有运行时检查的安全内核扩展
机译:面向针对安全关键型应用程序的多核实时内核中的空间隔离设计
机译:符合Ravenscar的运行时内核的硬件实现
机译:使用安全关键技术验收模型对自治车辆安全关键系统的人体信任的定量研究
机译:安全关键型差分GNSS系统的电离层空间解相关与空间天气强度之间的相关性
机译:符合Ravenscar标准的硬件运行时(Ravenhart)内核