PE—3284中型计算机内存扩充

介绍了ＰＥ—３２８４中型计算机内存扩充的方法，包括硬件电路设计，操作系统和应用软件的改进．     

猎户座飞船电子系统设计特点分析与启示

2014年12月5日猎户座飞船成功完成"探测飞行试验"任务,标志着美国NASA为实现载人火星探测迈出了关键一步。文章从分析猎户座飞船电子系统入手,总结了其高度灵活、可扩展、高可靠的设计目标,介绍了系统采用的分布式系统架构的设计特点及最终的实现方案;梳理了容错计算机系统、时间触发以太网和分时分区操作系统等关键技术的工作原理,并通过与传统实现方式的对比,分析了上述技术在系统中的应用优势。最后提出了发展建议,可为我国后续开展火星探测任务提供参考。     

小卫星技术的若干进展

本文评述了国际上应用小卫星在结构、电源和操作系统等领域新近的若干进展.在结构方面侧重于新材料、新器件和新工艺的介绍;在新型电源方面包括了有关太阳电池和蓄电池的内容;在操作系统方面强调了自主控制领域中的新观念和新方案.      

机载分布式系统的透明性设计

在分析国外分布式系统和ASAAC标准的基础上指出,分布式系统的透明性主要体现在8个方面,即访问透明、位置透明、并发透明、备份透明、故障透明、迁移透明、性能透明和扩充透明,并对实现这8种透明性所采用的理论和技术进行了阐述,目的在于把握分布式系统的设计方向和获取一些设计经验.     

基于QEMU仿真的GIC中断处理技术研究

QEMU6.1.0版本下,基于ARM体系架构开发的VIRT模拟器,在运行天脉操作系统时无法正确触发GIC中断控制器产生中断的问题,分析了VIRT模拟器对于GIC中断控制器的初始化以及触发操作,同时查阅了GIC中断控制器的相关说明文档,进一步分析天脉操作系统中有关中断控制器的初始化代码,找出了VIRT模拟器与天脉操作系统在GIC中断控制器初始化和使用方式上的具体差异。通过修改VIRT模拟器中与GIC中断控制器相关的代码完成对天脉操作系统的适应。在不改动天脉操作系统代码的情况下,顺利将VIRT模拟器模拟的GIC中断控制器驱动运行成功。     

Linux内核在新型硬件平台上的实现

新型微处理器M3270的研制成功,使得支持该体系结构的操作系统的研究迫在眉睫.通过对Linux内核体系结构的研究,进而分析出往新型硬件平台移植Linux内核所需进行的工作,将大大提高操作系统的设计水平、缩短开发时间.在分析了Linux内核的体系结构和M3270硬件体系结构的基础上,提出在该硬件平台上实现Linux内核的方法.      

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

分布式航电系统探讨与分析

航电系统作为飞机的"大脑"和"神经中枢",主要完成与飞行任务相关的功能,在机载系统中占有重要地位。探讨了航电系统从分离式结构到联合式结构再到现在普遍应用的IMA结构的发展历程;分析了分布式航电系统发展到现今阶段所应用的关键技术,如维护技术、网络、操作系统、中间件、系统开发方法及支撑工具等;展望了分布式航电系统的发展趋势:它将会进一步提高综合化程度,引入人工智能、模式识别及传感器系统综合等高端技术,向着跨平台、智能化、网络化的方向发展。     

DOS多任务远程通讯系统的设计与实现

本文介绍作者在ＤＯＳ上开发的多任务远程通讯系统，它可以实现微机之间的远程数据传送、命令控制、定时收发等功能。该程序常驻内存，在后台进行数据通讯。在数据传送期间用户仍可执行ＤＯＳ命令或继续执行程序，在ＤＯＳ上实现了多任务的并发。该系统具有与程序员和用户的两套接口，用户通过命令调用其功能，而程序员可在汇编，Ｃ，ＦＯＸＢＡＳＥ等语言源程序中实现后台数据通讯。