基于Linux集群的分布式实时操作系统的设计

文章针对Linux集群环境,以Linux通用操作系统为基础,提出了一种分布式实时操作系统的设计思路。以分布式实时操作系统的特殊性为线索,详细阐述了分布式实时操作系统中实时任务调度机制、实时进程间通信机制和实时网络通信机制的设计思路。

基于PRISM的分布式实时操作系统任务调度的形式化验证

大规模集成电路工艺技术的飞跃发展,掀起了计算机快速发展广泛普及的浪潮,同时又向计算机网络、巨型计算机、智能化方向以及分布式实时处理方向发展.其中,分布式实时系统的需求在各个领域的需求都不断扩大,于是,分布式实时操作系统也随之产生.为了保证设计的可靠性和正确性,通过模型检测的方法对分布式实时操作系统的任务调度建立马尔科夫决策过程(MDP)模型,并以机器人分布式实时操作系统为例,用概率计算树逻辑(PCTL)对一些关键属性进行描述,通过PRISM平台对任务的可调度性进行验证和分析.通过将验证和分析得到的量化结果不断反馈给设计人员,以反馈得到的结果为依据,设计人员可以作出相应的策略,进一步提高设计的可靠性和正确性.

分布式实时操作系统中的综合化系统资源管理机制与策略

本文研究了构成分布式实时控制系统的关键———分布式实时操作系统的结构及内在机制,介绍在分布式实时操作系统中采用综合化的系统资源管理机制管理系统资源,满足分布式实时控制应用的特殊要求.

嵌入式实时系统中分布式RTOS的设计与实现

在构建了嵌入式实时系统的分布式硬件平台基础上 ,研究了嵌入式实时系统中分布式RTOS的设计与实现问题 ,抽象出应用于此类系统的RTOS层次模型 ,并给出了实时通信核心技术和分布任务调度策略 .

RTLinux中分布式实时IPC的设计与实现

RTLinux是一个具有硬实时性能的单机实时操作系统 ,它提供了多种进程间通信机制 ,如信号量、消息队列和RT fifo等。在RTLinux提供的进程间通信机制基础上 ,本文提出了一种在RTLinux中设计并实现分布式实时IPC模块的具体方法 ,最后详细阐述了分布式实时IPC模块的工作流程和各功能模块的实现。

分布式安全航电软件系统架构

综合模块化航空电子技术的发展和应用,充分体现了开放性、重用性、可靠性、可重构和低成本等特性的优势,这些特性在研制机载软件系统中同样是至关重要的。本文在研究ARINC653和ASAAC等系统软件相关标准的基础上,结合新一代航空电子系统对软件系统的需求,论述了分布式安全航电软件系统的体系架构和接口等方面的设计考虑。

大型分布式DCS系统的实现

本文针对现有DCS系统在实际应用中碰到的一些问题,结合通讯、计算机等方面的技术,提出了基于QNX分布式实时操作系统及CAN总线的解决方法,并介绍了该系统的设计思路和实现方法。

基于GPS的控制系统时间同步

介绍如何利用GPS接收器获取准确的UTC时间 ,在分布式实时操作系统QNX下 ,实现系统时间和UTC的一致。同时讨论了如何建立网络时间服务器 ,通过执行网络时间同步算法 ,实现局域网内不同计算机之间的时间同步。

基于QNX的网络视频监控系统的设计与实现

对采用分布式嵌入式实时操作系统QNX开发基于PC硬件平台的嵌入式网络视频监控系统作了应用分析和系统设计 ,并详细论述了系统的视频采集卡驱动程序和视频回放软件在QNXRTP 6 1 0的实现方法。QNX无与伦比的实时性、稳定性、可靠性等性能和对PC硬件的特有支持 ,使得本系统取得了非常高的性价比。

DRT-UNIX的故障检测技术

论述了故障检测技术在分布式实时系统中的作用和地位 ,介绍了虚拟定时令牌协议 ,研究了利用系统对虚拟令牌的维护来检测系统中结点机故障的方法和实现技术 .这种方法可为分布式实时容错处理程序提供结点机故障的信息 ,使得DRT UNIX系统具有很好的容错性 .