摘要：民机复杂航电系统的高效研制需要各种综合验证平台的有力支持。首先,通过梳理复杂航电系统的工程活动,确认所需综合验证平台的类别;其次,对综合验证平台进行功能分析,提出了通用功能定义;再次,采用维度分析方法分析了综合验证平台的现状,并提出了优化思路;最后,针对用途广泛的设备级综合验证平台进行了顶层规划和统一设计,开发了通用的设计模型,并提出了设计模型的实施规范要求。

摘要：提出了机载嵌入式文件系统ACoreFS的体系结构。针对机载嵌入式环境资源有限的特点,将ACoreFS设计为独立可拆卸系统组件。设计了虚拟文件系统(VFS)层,为应用程序提供一致的文件系统接口。VFS为逻辑文件系统提供统一的抽象接口,用户可根据项目要求和存储设备的特性选择挂载不同的逻辑文件系统。为提高设备访问性能,设计了块设备数据高速缓冲层,使用哈希表对数据块进行管理,提高了系统效率。

摘要：针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。

摘要：AADL是一种描述嵌入式实时系统的软硬件结构、安全性、可靠性等关键性能特性的重要手段,目前已广泛应用于基于ARINC653的综合化航电系统。安全性作为综合化航电系统的关键性能之一,已成为需要解决的重要问题。详细阐述了基于AADL的航空电子系统安全性分析的原理,并给出了一种可行的航空电子系统安全性分析的设计和实现方案,为航空电子系统安全性的设计提供了一种验证方法。

摘要：为提高监控信息点表编制的规范性、准确性、高效性,在大量分析研究的基础上,提取差异条件,研发了一种监控信息点表自动生成系统。该系统按间隔类型建立专家库,只需要根据调度下发的主接线图输入设备双重名称和差异条件的确认,即可快速、准确、高效的生成包含主站和厂站的监控信息点表。所研制系统能极大地减轻设计人员制作和运维人员审核的工作量、促进现场施工的质量和效率。

摘要：基于ASAAC的分布式航空电子系统应用日益广泛,蓝图作为ASSAC提出的系统管理和资源配置的核心概念,其通信和故障管理配置的正确性成为分布式航电系统需要解决的重要问题。利用仿真技术模拟蓝图运行的分布式航电系统,尤其是其数据通信和故障处理方面的性能,在系统设计早期就可以有效地发现原型系统中存在的设计缺陷,极大地缩短了开发周期,减小了系统开发风险。

摘要：在分析国内电子企业元器件管理中存在问题的基础上,建立了基于产品数据管理的元器件库模型。重点讨论了模型中的对象模式和元器件的分类管理,提出了新元器件入库申请流程的设计。最后给出了产品设计过程中模型在元器件选用控制方面的工程实例。