基于PDM的元器件库模型研究与应用

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

PDM系统中权限管理方法的研究与应用

总结了PDM权限管理特点,重点讨论了PDM中权限的集合定义和用户权限判定的函数表示,在分析产品数据分类、企业用户组织模式和权限分类的基础上,提出了基于产品数据分类的权限管理模型,并给出了该模型的应用实例.该模型较好地协调了产品数据共享和保护两方面的需求,并且权限控制逻辑条理清楚,易于实现.     

机载软件适航技术研究与工程应用

通过分析研究DO-178B标准,提出了适用于大规模机载软件开发和验证的集成过程.过程紧密集成基于需求的开发活动和基于需求的验证活动,实现需求和代码的一致性目标.通过在过程中引入全局需求和需求子集开发活动,为软件开发和验证活动并行化创造了基础条件,进而提高工作效率,满足大规模软件众多项目人员协同工作及缩短项目周期的要求.     

MILS机载安全操作系统设计

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

分布式航空电子系统蓝图仿真技术的研究

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

机载嵌入式文件系统设计与实现

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

基于AADL的航空电子系统安全性分析

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