共查询到16条相似文献,搜索用时 406 毫秒
1.
2.
3.
4.
为了满足新一代航空电子系统高度综合化、模块化的要求,在高安全实时操作系统中引入了分区(Partition)的概念。分区是运行于一个处理机模块上的一个或多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响。分区操作系统根据预先定义的主时间框架内的时间窗口调度相应的分区,在分区的时间窗口内,每个分区按照分区内自己的调度策略调度分区内的进程。分区内的进程有周期进程和非周期进程两种类型,每个进程具有截止期属性,周期进程除了截止期还存在周期属性,当进程发生截止期超时或周期超时,操作系统需进行相应的超时处理。本文着重讨论符合ARINC653要求的时间分区的一种设计及实现方法,包括分区时间调度,进程截止期管理,周期进程调度,以及时间事件管理。 相似文献
5.
嵌入式实时多分区操作系统两态访问的研究 总被引:2,自引:0,他引:2
为了保证不同程序的特权,嵌入式实时多分区操作系统使用系统态和用户态来解决这一问题。在介绍系统态和用户态的基础上,重点研究了嵌入式实时多分区操作系统中系统态和用户态互访,提出了系统调用、虚中断和共享数据区三种可行的访问方式,并针对三种访问方式给出了实现方法。这三种访问方式使用方便、灵活,能够有效地解决多分区操作系统两态互访问题。 相似文献
6.
分区间通信在航空电子系统中的设计与实现 总被引:1,自引:0,他引:1
新一代航空电子系统是一种高度综合化、模块化的系统,为了确保系统工作的安全、可靠,必须有高安全性的实时操作系统支持。在高安全性的实时操作系统中提出了分区(Partition)的概念,原有的“子系统”概念已由硬件实体演变为软的“子系统”。分区是运行于一个处理机模块上的多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响,当一个分区内的应用发生错误时,在时间和空间上都不会影响到别的分区的执行。为了适应分区间隔离的需要,应用程序之间的通信由传统的进程间通信方式变为分区间的通信方式,本文着重介绍了自主版权操作系统(ACoreOS653)中满足ARINC653要求的分区间通信的设计与实现方法。 相似文献
7.
8.
软件重用模块电子ARINC653(APEX)规范的主要目标,是通过为应用软件提供标准的操作环境来实现软件重用。软件重用可由两种方式实现:①由重用操作系统,该系统通过应用频谱提供一些通用功能,如健康监控、过程管理、通信原理;②由重用提供航空电子应用功能的应用软件。通过在应用和操作系统之间提供标准的接口,ARINC653促进这两种形式的重用。由于操作系统与基础硬件平台自然紧密地连接在一起,所以操作系统的重用限制了应用相同硬件的模块,除非能严格地确定一种象COEX(核执行接口)这样的新型标准。应用软件通常取决于实际的… 相似文献
9.
10.
航空电子系统分区间通信监控技术的研究和实现 总被引:1,自引:0,他引:1
当今基于ARINC653的综合化航空电子系统的应用日益广泛,分区作为ARINC653提出的任务调度和资源共享的核心概念,其相互间通信的可靠性和安全性成为航空电子系统要解决的重要问题.详细阐述了分区间通信监视的原理,并给出了一种可行的分区间通信监视器设计和实现方案.应用表明分区间通信监视器极大地改善和提高了航空电子系统的通信监控能力,为通信故障诊断和分析提供了依据. 相似文献
11.
ARINC 653分区实时系统的可调度分析 总被引:1,自引:0,他引:1
ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。 相似文献
12.
When designing Integrated Modular Avionics (IMA) systems, the traditional design life cycle must be adapted and rearranged to allow multiple vendors to contribute not only to the systems design, but also to the safety case for the system. Simply using guidelines from the DO-178B and the ARINC 653 standards does not guarantee that one will be able to have multiple applications running at different safety criticality levels. One needs to be able to merge applications written by different vendors, reuse applications from previous projects, and integrate different safety requirements while constructing a safety case for the overall IMA system. This, of course, must be done within a constrained budget that includes potential costs associated with changing program requirements. In order to achieve these goals, the design life cycle must be constructed in a way that allows for configuration and build partitioning of these applications, in parallel with the IMA platform itself and the overall systems integration. This investigates how the ARINC 653 standard can be used to provide this application and safety criticality level independence using guidelines from DO-178 and DO-297. It explores the use of qualified XML-based configuration tools, the emerging ARINC 653 Supplement 3 XML Schema design and shows the importance of configuration and build partitioning. 相似文献
13.
14.
15.
本文采用新一代测控技术,构建了基于PXI总线标准,由信号适配器、矩阵开关、可视化虚拟数据采集系统和通用总线监控系统组成的标准化通用测试平台。同时介绍了ARINC429总线数据按照规则进行解析的方法。其技术思想和方案对于复杂电子设备的通用测试设备的研制具有广泛指导意义。 相似文献