目前,嵌入式电子设备已经广泛应用于人们生活的各个领域,除了要求实现必须的功能外,某些特殊的领域还对嵌入式系统提出了更高的要......

21世纪，计算机技术发展越来越快，对操作系统的研究也越来越深入，微内核技术作为一个重要的研究方向，已受到研究人员越来越多的重视，成为......

基于可信计算基尽可能小的设计思想，将Flask(Flux AdvancedSecurity Kernel)安全体系结构对象管理器的安全相关部分与功能相关部分......

嵌入式设备在过去的几年取得了长足发展,比如智能手机的出现。由于手机的硬件限制和商业的原因,多数手机只有单一的应用程序执行平......

模型检验通过状态空间搜索检验一个给定的计算模型是否满足某个用时序逻辑公式表示的特定性质。对L4微内核操作系统的内存管理机制......

采用模型检测方法验证微内核操作系统的进程间通信机制,提出了一种从源码提取验证模型的方法.该方法以L4操作系统的进程间通信机制......

虚拟化技术,根据不同的实现途径,可以分为软件虚拟化技术和硬件虚拟化技术。软件虚拟化技术经过一段时期的发展,形成了基于主机系......

随着汽车工业技术的不断发展,车载系统从简单的车载收音机发展到现在的具有导航、通信、娱乐等复杂功能的智能车载系统.车载系统的......