共查询到18条相似文献,搜索用时 109 毫秒
1.
2.
3.
4.
综合化航空电子系统具有高度综合化、模块化和开放性的特点.各子系统之间相互联网通信,资源高度共享、数据高度融合等特性使得综合化航空电子系统存在巨大的信息安全隐患.事实上,信息安全技术已经成为影响飞机安全和任务执行的关键因素之一.综合化航空电子系统要求信息安全等级为CC(CommonCriteria)的最高安全级别,信息安全模块要求实时性和低开销,因此综合化航空电子系统安全技术面临着巨大的挑战.综述综合化航空电子系统安全体系结构,分析和比较了各种综合化航空电子系统安全保障机制,具体包括:实时操作系统的时空隔离机制,虚通道通信机制,数据通信、处理和存储过程中的机密性、完整性保护机制等.通过这些分析和比较,希望能够为实现具有高可靠性、高可生存性和高可用性的综合化航空电子系统安全技术奠定基础. 相似文献
5.
6.
王浩 《数字社区&智能家居》2013,(5):992-993
功能需求会在一定程度上增加系统重量、尺寸、能耗及通信复杂程度,借助模块化综合航空电子系统可以有效解决该问题。该文结合分布式综合模块化航空电子体系结构,依托于时间、空间分区以及带宽分区,提出网络分区概念,同时构建对应的网络模型、消息模型以及流量模型,并对实时性能进行分析和探讨。 相似文献
7.
ARINC653分区操作系统多核处理器任务调度设计 总被引:1,自引:0,他引:1
航空电子架构综合模块化航空电子(Integrated Modular Avionic,IMA)已成为主流航空电子系统,ARINC653作为航空电子设备IMA架构的标准应用接口,符合ARINC653标准的分区实时调度算法成为了航空电子系统领域研究的重点.多数分区实时调度算法针对的是单核处理器.如何在多核处理器环境中对任务进行高效的调度成为ARINC653多核任务调度的关键问题,本文提出一种基于多核负载比例轮转的调度方法,该方法以任务的负载比例计算任务权值,完成任务在多核处理器上的调度,从而满足多核分区操作系统的实时性要求.仿真实验表明该方法是可行且高效的. 相似文献
8.
9.
为了辅助航空电子系统进行综合设计,提出了用Signal语言对新一代综合航电系统进行建模仿真和性能评估的方法。Signal语言是一种同步语言,它通过时钟推理机制来反映复杂系统的确定性、安全性、有界性等问题,能够直观地表示系统元素之间的约束关系及特性,通过构造同步实时评估模型来反映系统的实时性。基于ARINC653标准,对新一代模块化综合航电系统进行了建模仿真。 相似文献
10.
11.
12.
H. H. Hesselink 《Microprocessors and Microsystems》1995,19(10):559-563
Certification of avionics software is an increasingly important subject, since more and more avionics systems in future aircraft will be software equipped. The DO-17813 standard provides guidelines for software certification. Re-use of software is emerging, partly enabled by the integrated modular avionics concept, and imposed by a reduction of life-cycle costs. Re-use, however, requires re-certification or certification of software that was not developed according to DO-17813.
The DO-178B standard is specially developed to provide a certification basis for avionics software, without going into details of the software development process. Other standards focus on software engineering aspects. We have used the DO-178B standard as a common basis for comparison with DOD-STD2167A (military), ESA PSS-05-0 (space), and IEC65A(Secretariat)122 (industry). Comparison topics include:
- • • life cycles;
- • • prescribed documentation;
- • • configuration management;
- • • verification and validation;
- • • quality assurance.
- • • certification according to DO-17813 of software that was developed using another standard;
- • • certification of software using DO-17813, in concert with another standard.
13.
14.
以简化航电总线系统结构、降低总线功耗为目的,在分析了航电总线技术要求的基础上,提出了一种适用于航空环境的PON结构光纤总线协议。分析了该协议的传输特性与关键技术,在OPNET软件平台下采用三级建模机制,建立该协议的进程模型、节点模型和网络模型。通过对协议的仿真特性分析,以及与FC-AE-1553B(Fiber Channel-Avionics Environment-1553B光纤通道-航空电子环境-1553B)的仿真比较,说明该协议具有拓扑简单、功耗低的网络互联结构,也验证了其低延迟、高传输速率的传输特性。 相似文献
15.
为提高航电测试软件的可移植性及复用能力,缩短软件开发周期,参照通用开放式软件架构FACE(Future Airborne Capability Environment)标准,基于将可移植组件通过标准接口快速接入通用软件框架的思想,设计了分层解耦的通用测试软件架构。将测试软件划分为平台适配组件、基础服务组件、测试指令通信组件以及测试用例组件。在此架构基础上,设计了统一的测试软件通信规约,定义了标准的接口规范。基于此架构开发的测试软件不仅可满足航电产品的测试需求,而且可以实现不同项目之间测试用例的快速接入和裁剪。所设计的通用测试软件架构改变了传统一型产品定制开发一个测试软件的现状,可满足航电测试软件通用性、易用性和可扩展性等要求,其在航电产品测试领域的推广可有效提高测试软件开发效率,减少人力资源成本。 相似文献
16.
17.
Hèctor Usach Juan A. Vila Alfons Crespo Pedro Yuste 《Journal of Intelligent and Robotic Systems》2018,92(3-4):587-598
The development process of avionics system requiring a high level of safety is subjected to rigorous development and verification standards. In order to accelerate and facilitate this process, we present a testbed that uses a suite of methods and tools to comply with aerospace standards for certification. To illustrate the proposed methodology, we designed a Mission Management System for Remotely Piloted Aircraft Systems (RPAS) that was deployed on a particular run-time execution platform called XtratuM, an ARINC-653 compliant system developed in our research group. The paper discusses the system requirements, the software architecture, the key issues for porting designs to XtratuM, and how to automatize this process. Results show that the proposed testbed is a good platform for designing and qualifying avionics applications. 相似文献
18.
在嵌入式实时操作系统平台下进行软件设计是目前综合航天系统设计的一个重要趋势,在简述某机载导航计算机硬件设计的基础上,介绍了基于VxWorks平台的软件设计过程,并详细阐述了VxWorks设备驱动程序的设计方法. 相似文献