RCDOS——一种面向实时控制的分布式操作系统

本文介绍了一种面向大型实时过程控制的分布式操作系统 RCDOS(realtimecontrol distributed operating system,它是建立在两级总线互连的分布式网络上的操作系统。RCDOS 发挥了分布式计算机系统的优越性,并具有适应大型实时过程控制与信息处理应用的特点。文章着重介绍了该操作系统的资源管理、多机通信、过程控制以及状态监视与故障处理等技术。     

Windws95与UNIX系统互联及实时通信

探讨了Ｗｉｎｄｏｗｓ９５的网络性能，并介绍了一个Ｗｉｎｄｏｗｓ９５与ＵＮＩＸ系统互联和实时通信实例。     

机载可重构多处理机实时操作系统中的中断处理技术

本文基于机载可重构多处理机实时操作系统，详细介绍了该系统的中断管理机构及所包含的中断关型与作用：论述了中断管理在实时操作系统中的重要地位；给出了中断管理机构为支持本系统实时高效率任务切换功能，采取的技术措施及程序结构的总体布局。     

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

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

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

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

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

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

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

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

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

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

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

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