-
题名分区间通信在航空电子系统中的设计与实现
被引量：22
- 1
-
-
作者
徐晓光
叶宏
-
机构
中国航空计算技术研究所
-
出处
《航空计算技术》
2005年第1期45-47,58,共4页
-
基金
航空基金资助项目(02F31002)
-
文摘
新一代航空电子系统是一种高度综合化、模块化的系统,为了确保系统工作的安全、可靠,必须有高安全性的实时操作系统支持。在高安全性的实时操作系统中提出了分区(Partition)的概念,原有的“子系统”概念已由硬件实体演变为软的“子系统”。分区是运行于一个处理机模块上的多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响,当一个分区内的应用发生错误时,在时间和空间上都不会影响到别的分区的执行。为了适应分区间隔离的需要,应用程序之间的通信由传统的进程间通信方式变为分区间的通信方式,本文着重介绍了自主版权操作系统(ACoreOS653)中满足ARINC653要求的分区间通信的设计与实现方法。
-
关键词
分区间通信
嵌入式实时操作系统
ARINC
653
ACoreOS653
-
Keywords
inter-partition communication
embedded real-time operating system
ARINC 653
ACoreOS653
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名分区操作系统下的分区间通信的设计
被引量：12
- 2
-
-
作者
徐晓光
贠海顺
邢亮
-
机构
中航工业西安计算技术研究所三室
-
出处
《现代电子技术》
2013年第14期58-60,64,共4页
-
基金
总装预研项目(51315030101)
-
文摘
分区操作系统是新一代综合化航电系统的基础,提供时间分区和空间分区机制,保证综合后的应用不会相互影响。由于分区之间是隔离的,为了实现分区之间信息的交换,需要采用分区间通信方式进行数据交换。在此分析了分区操作系统软件结构以及ARINC653标准对分区间通信的要求,着重讨论队列端口和采样端口的实现方法。此外,在此还提出了一种基于虚端口和虚分区的通信方法,解决了分区内应用使用端口与模块内的设备以及和其他模块的分区进行通信的问题,提高了应用程序的可移植性。
-
关键词
分区间通信
队列端口
采样端口
虚端口
-
Keywords
inter-partition communication
queuing port
sampling port
pseudo port
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名分区间通信在机载计算机系统中的应用研究
被引量：6
- 3
-
-
作者
代杰
-
机构
上海飞机设计研究院
-
出处
《工业控制计算机》
2011年第11期42-43,共2页
-
文摘
在机载计算机系统中不同系统之间的通信是系统集成中需要重点考虑的问题之一。介绍了近年机载计算机系统的发展过程。随着顶层体系架构的发展,随之产生了分区操作系统。在分区操作系统中分区间的通信和传统的通信方式有很多不同。就分区间通信的优点和缺点进行了详细的阐述,最后得出了对分区间通信进行限制的必要性及具体的限制措施。
-
关键词
机载计算机系统
IMA系统
ARINC653分区操作系统
AFDX
分区间通信
-
Keywords
on board computer system,IMA system,ARINC653 partition operation system,AFDX,inter-partition communication
-
分类号
V247
[航空宇航科学与技术—飞行器设计]
-
-
题名航空电子系统分区间通信监控技术的研究和实现
被引量：4
- 4
-
-
作者
贾璐
-
机构
中国航空计算机数研究所
-
出处
《航空计算技术》
2008年第4期75-77,83,共4页
-
基金
航空科学基金项目(2006ZC31001)
-
文摘
当今基于ARINC653的综合化航空电子系统的应用日益广泛,分区作为ARINC653提出的任务调度和资源共享的核心概念,其相互间通信的可靠性和安全性成为航空电子系统要解决的重要问题。详细阐述了分区间通信监视的原理,并给出了一种可行的分区间通信监视器设计和实现方案。应用表明分区间通信监视器极大地改善和提高了航空电子系统的通信监控能力,为通信故障诊断和分析提供了依据。
-
关键词
分区间通信
通道
端口
ARINC653
ECLIPSE
-
Keywords
inter- partition communication
channel
port
ARINC653
eclipse
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Hypervisor的汽车域控制器解决方案
被引量：2
- 5
-
-
作者
姜维
朱元
吴志红
杜展志
王恩东
-
机构
同济大学中德学院
中国第一汽车集团有限公司
-
出处
《信息通信》
2020年第7期1-4,8,共5页
-
文摘
概述了基于Hypervisor的汽车域控制器方案出现的原因及其基本架构;介绍了虚拟机监控器的不同类别及其优缺点和适用场景;介绍了PikeOS Hypervisor虚拟化和分区间通信的原理及基本应用;设计了适用于PikeOS Hypervisor的RTOS和Linux体系;设计了PikeOS Hypervisor上RTOS分区和Linux分区间的通信程序和验证方法;设计了PikeOS实时性能的测试程序;并在赛灵思ZCU 104单片机上运行从而验证了设计方案的可行性。
-
关键词
域控制器
虚拟机监控器
虚拟化
实时操作系统
分区间通信
实时性能
-
Keywords
domain controller
virtual machine monitor
virtualization
real-time operating system
inter-partition communication
real-time performance
-
分类号
U463.6
[机械工程—车辆工程]
-
-
题名一种基于通信事件的机载分布式软件调试方法
- 6
-
-
作者
张树兵
叶宏
-
机构
中国航空计算技术研究所
-
出处
《航空计算技术》
2011年第4期59-62,共4页
-
基金
国家核高基项目资助(2009ZX01041-003-003)
航空科学基金项目资助(20080531005)
-
文摘
多应用分区的开发与综合是IMA系统开发的核心工作之一,而如何控制和调试基于分区间通信的分布式协作行为是关键所在。引入"通信事件"对分区间通信活动进行抽象,提出通信事件调试方法,对分区间通信的源分区和目的分区进行同步控制和对通信活动进行协同调试。进而提出一种将通信事件调试和代码调试有机结合的混合调试方法,论述了方法的调试过程以及在实践中表现出来的优点与不足。
-
关键词
分区间通信
通信事件类型
通信事件调试
混合调试
-
Keywords
inter- partition communication
communication event type
communication event debugging
mixed debugging
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名综合航电分区间通信元模型设计研究
- 7
-
-
作者
张晓丽
彭寒
景月娟
-
机构
西安航空学院计算机学院
-
出处
《计算技术与自动化》
2019年第4期162-166,共5页
-
基金
陕西省科技厅重点研发计划项目资助基金(2018GY-028)
-
文摘
针对当前综合模块化航空电子系统(IMA)开发中存在的问题,提出一种基于特定领域建模的综合航电分区间通信元模型的设计开发方法。通过分析航电系统分区间通信原理,抽取分区间通信的特性,采用基于面向特定领域的元建模分析方法,构建了综合航电分区间通信的元模型,通过元模型解析器生成了面向领域的建模语言,通过模型解释器将应用模型自动生成系统通信配置文件。以模块内部两分区间通信系统为实例对象进行了验证,结果表明该建模语言,具有较好的可理解性、易用性,可显著提高航电系统的开发效率,为基于元模型的综合航电系统建模方法奠定基础。
-
关键词
模型驱动架构
元模型
分区间通信
综合航电
-
Keywords
model driven architecture
meta-model
inter-partition communication
integrated avionics
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名多级安全信息流控制关键技术研究
- 8
-
-
作者
黄凡帆
尹超
-
机构
航空工业西安航空计算技术研究所
-
出处
《航空计算技术》
2019年第2期87-90,95,共5页
-
基金
装备预研联合基金项目资助(6141B05060401)
-
文摘
目前机载嵌入式系统平台呈现开放式的特点,通过支持TCP/IP协议和多种网络服务来方便部署各种应用,使得功能多样化的需求得以满足。这也导致系统更容易遭受网络攻击,应用网络安全协议可保护网络传输数据的信息安全属性。但目前机载嵌入式系统多是不同应用运行在不同分区,分区具有不同信息安全级别,分区之间交互的信息也表现为多级安全。当多级安全信息流在网络上流动时,需要提供安全机制进行不同强度安全防护。传统网络安全协议没有考虑这种多级安全情况,改进IPsec安全协议以提供网络上多级安全信息流控制功能。
-
关键词
多级安全
分区通信
信息流安全
IPSEC协议
-
Keywords
multi-level security
inter-partition communication
information flow security
IP security protocol
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
