摘要：随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event-B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.

摘要：μC/OS-Ⅱ操作系统没有中的断管理模块,该情况严重影响了其可移植性,针对该问题,设计了一种基于双消息队列的分层中断管理系统,提出了一种分层管理的中断管理设计思想,将中断处理分为紧要部分和可推迟两部分。紧要部分优先处理,满足实时性要求;可推迟部分利用μC/OS-Ⅱ的消息队列机制,实现了具有优先级双消息队列的可推迟处理机制。实验结果表明,该系统比同等条件下的Linux系统具有优越的实时性,平均提高了51%,为工业和航空等嵌入式系统等提供了实时性的解决途径。

摘要：为了满足嵌入式操作系统中实时性要求,提出了基于FPGA的中断管理方法。给出了中断管理模块的结构模型,并采用VHDL硬件描述语言将中断管理模块由硬件实现。针对中断请求和响应方式的不同特点,将其分为系统中断管理和用户中断管理,主要设计了中断源、中断嵌套和时钟节拍中断等管理的逻辑电路。通过仿真实验表明,该结构模型所采用的中断管理方法是正确的,提高了中断处理速度,可满足系统的实时性要求。

摘要：针对供电综合保护器任务多且前后台系统实时性差的问题,以STM32库开发方式,结合μC/OS—Ⅲ实时操作系统中断管理机制对保护器进行多任务中断管理设计。根据保护器功能特点,对保护器进行多任务划分,通过开启延迟发布模式,对数据采集、数据接收、数据存储等任务进行中断管理设计,提高了任务对事件的响应和处理,并且使用实时内核对象实现任务间的运行管理。通过μC/Probe对系统软件进行运行检测,验证了基于μC/OS—Ⅲ的多任务中断管理能够可靠运行和提高系统的实时性。

摘要：针对供电综合保护器对实时性的要求,结合μC/OS-Ⅲ实时操作系统对保护器中断任务进行中断管理设计。通过对μC/OS-Ⅲ系统中断管理机制分析,将中断任务分成内核对象参与和无内核对象参与,并对两种中断任务进行不同处理。为减少中断延迟时间,提高保护器系统对异常事件的响应速度,将数据采集、数据接收、数据存储等内核对象参与的中断任务选择延迟发布模式。仿真实验结果表明,中断关闭时间最高为3.35 ms,提高了系统对中断任务的快速响应和处理,保证了保护器的实时性和稳定性。

摘要：目前小型嵌入式操作系统的中断管理实现的不足主要表现在:对硬件依赖性强;安全性差;实时性差等。本文针对这些问题提出了一种中断管理实现。它采用分层设计,降低硬件依赖性;通过构建较中断向量表,提供可扩展的中断优先级;调整中断管理策略,改善实时性中断的响应。

摘要：虽然隐藏用户消息的技术已经实现,但消息发送者的匿名化仍然是一个挑战,为此提出一种用于匿名通信的自组织协议协调稳定的DC-net。在协议设计中,首先解决了短稳定性问题,得到了DC-net的稳定扩展SDC-net;然后,将时隙预留和中断管理子协议分别集成到SDC-net中,以克服冲突和安全问题。实验结果表明,提出的HSDC-net实现了低延迟,能够满足实际需要。

摘要：OSEK/VDX规范是一个用于汽车电子、并带有接口的开放式软件规范。基于OSEK/VDX规范,该文介绍了嵌入式实时操作系统AutoOSEK的内核结构,AutoOSEK采用了与"硬件无关"、"硬件相关"部分完全独立的设计架构,讨论了这2个部分的实现方法,分析了系统性能。系统在基于Motorola HCS12系列芯片和ARM内核的多硬件平台中得以实现,并在汽车电子控制系统开发中得到了较好的应用。

摘要：1引言Linux作为一个多任务的操作系统,支持分时处理,由于其良好的性能,完善的设计,在服务器、台式机、嵌入实时等领域得到了广泛的应用.在操作系统的几个关键设计中,如内存管理、中断管理、进程、文件系统、进程通信等方面都有独到的特点,而作为操作系统的关键部分之一--进程管理方面,Linux作了较为周密的考虑,系统的高效、稳定很大一部分来自于进程管理的严整规划.

摘要：针对ARM9 S3C2410的汇编语言中断程序难以理解的问题,提出用堆栈图对中断程序进行解析的方法。在详细论述S3C2410的中断管理机制基础上,给出中断处理的三级跳转图。分析三级跳转的设计思想,讨论利用异常跳转表、宏指令表、异常向量表、中断向量表实现跳转的方式。并用堆栈图详细解析跳转程序,给出中断服务程序写入中断向量表的汇编语言方式与C语言方式。分析结果表明,堆栈图方法能够详细清楚地呈现中断程序的设计思想,是一种行之有效的汇编语言中断程序的解析方法。