在嵌入式系统中,为了提高程序执行效率而代替高级语言片段使用的内嵌汇编严重影响了程序的可移植性和可读性。为了解决这种矛盾,本......

为解决基于COrpS处理器的现代微小卫星系统的软件容错问题，提出了基于虚拟寄存器的软件加固技术（SHVR），它把运行在COTS处理器上的软件......

控制流故障是航天软件系统必须面对的一个重要故障类型。提出一个基于程序基本块模型的算法CFCVR（Control Flow Checking Basedon V......

针对OKL4设计一种高性能、高安全性的嵌入式虚拟机模型,在该模型的基础上,从处理器和内存2个方面提出实时操作系统μC/OS-Ⅱ在OKL4......