排序方式: 共有18条查询结果,搜索用时 203 毫秒
1.
2.
ARINC 653分区实时系统的可调度分析 总被引:1,自引:0,他引:1
ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。 相似文献
3.
针对基于ARINC653操作系统的多余度机载系统消息映射和配置传统设计方法工作量大,维护困难的缺陷,提出一种改进的设计方法,以减少传统设计方法的复杂性,有效提高消息映射和配置设计的效率,增强系统的维护性. 相似文献
4.
5.
航空电子系统分区间通信监控技术的研究和实现 总被引:1,自引:0,他引:1
当今基于ARINC653的综合化航空电子系统的应用日益广泛,分区作为ARINC653提出的任务调度和资源共享的核心概念,其相互间通信的可靠性和安全性成为航空电子系统要解决的重要问题.详细阐述了分区间通信监视的原理,并给出了一种可行的分区间通信监视器设计和实现方案.应用表明分区间通信监视器极大地改善和提高了航空电子系统的通信监控能力,为通信故障诊断和分析提供了依据. 相似文献
6.
分区间通信在航空电子系统中的设计与实现 总被引:1,自引:0,他引:1
新一代航空电子系统是一种高度综合化、模块化的系统,为了确保系统工作的安全、可靠,必须有高安全性的实时操作系统支持。在高安全性的实时操作系统中提出了分区(Partition)的概念,原有的“子系统”概念已由硬件实体演变为软的“子系统”。分区是运行于一个处理机模块上的多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响,当一个分区内的应用发生错误时,在时间和空间上都不会影响到别的分区的执行。为了适应分区间隔离的需要,应用程序之间的通信由传统的进程间通信方式变为分区间的通信方式,本文着重介绍了自主版权操作系统(ACoreOS653)中满足ARINC653要求的分区间通信的设计与实现方法。 相似文献
介绍了结合Harmony系统工程(SE)建模方法进行综合模块化航空电子(IMA)系统应用的开发,采用Rhapsody Harmony框架作为系统设计工具,在IMA应用软件需求进行分析的基础上创建软件模型,对系统的用例图、活动图、时序图、内部块图以及状态图进行了分析.阐述了在软件模型的基础上,基于Vx Works 653操作系统(OS)的IMA应用开发过程,涉及到模块操作系统的构建、分区操作系统的构建、应用的构建以及综合的构建,其中,模块操作系统的构建涉及到核心操作系统Makefile的开发,分区操作系统的构建涉及到分区操作系统配置表以及其Makefile的开发,应用的构建涉及到应用源程序、应用配置表以及其Makefile的开发,综合的构建涉及到模块配置表以及其Makefile的开发,将应用加载到IMA模块上进行了功能测试,IMA应用运行状态与Harmony软件模型行为一致. 相似文献
8.
新型机载飞控软件综合了更多的应用功能,需配备合适的操作系统作为基础.根据新型机载飞控软件开发需求,对操作系统和配套开发工具的要求进行讨论,形成相应的评估表.同时对国内外在飞控上有应用的4个操作系统进行分析评估,选出最适合目标机载飞控软件的操作系统. 相似文献
9.
综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准,分区内的调度由分区设计者指定,分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数,进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架,提出了最少窗口数目匹配-最佳匹配(MFBF)算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明:时间窗口优化算法能有效减少分区窗口切换次数。 相似文献
10.
综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。 相似文献