基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

基于LabVIEW远程校准系统研究

远程校准系统可提高部队的机动计量保障能力，是未来我军计量保障的发展方向。远程校准系统分离了专业计量人员与校准现场，可在任何时间、任何地点实现校准操作。基于LabVIEW开发平台，对系统中客户端、网络传输部分、服务器进行了详细的设计，利用远程校准系统完成了电源Maynuo M8831的远程校准，并自动生成校准结果。该系统操作简单易懂，为部队武器装备的远程校准提供技术支撑。     

远程汽车防盗报警系统的设计

一种具有控制距离不受限制的远程汽车报警系统 ,它是由单片机集中控制、提供报警信号的汽车报警器和GSMSMS短消息模块三部分组成。具有远程控制和远程报警的功能。并给出了实现的软件及电路图 ,有一定的实用和开发价值。     

适用于下一代网络的中间件技术研究

下一代网络将是一个统一、综合的网络,综合了分布式计算和通信技术,且应用种类较多,网络环境复杂.旨在适用于下一代网络的中间件作深入的研究和实践,将常规中间件和移动中间件相结合,建立统一的中间件平台,并采用端到端服务质量技术、上下文感知和反射技术,为应用提供灵活的编程模型(突破C/S模型),以及对动态环境良好的自适应能力.且能方便地提供不同质量的应用,也使得开发、部署和管理这些网络应用的代价最小.      

基于反射的分布交互仿真软件框架

软件框架需要在领域内不同的应用环境中使用,因此框架的适应性是其非常重要的质量属性.将反射技术引入建模与仿真领域,通过将支持大规模分布交互仿真系统开发的软件框架进行体系结构级的反射,解决了系统结构动态演化和运行时扩展问题;通过对仿真模型进行组件或对象级的反射,解决了模型的动态表示和行为演化问题.通过将反射塔构造为一个数据仓库对反射模型进行集中管理和统一接口访问,使系统在体系结构模式上表现为以数据仓库为中心,改善了反射系统的安全性,同时提出了一种新的基于反射数据库的软件设计模式.利用RTI的服务去维护分布的仿真节点的反射数据库,简化了系统的实现,同时也封装了RTI,从而构造了一个比HLA更高级和友好的分布计算和仿真环境,为仿真应用系统的快速开发提供了强有力的支持.      

飞控系统虚拟设计环境

开展面向设计的飞控系统虚拟原型机开发环境研究,提出了飞控系统虚拟设计环境的3层次结构:第1层为运行管理层,以数据库为基础,其核心为PDM(产品数据管理)软件.第2层为虚拟技术层,提供余度飞控计算机、舵回路、传感器等的虚拟原型的生成.第3层为仿真支持层,支持人在回路的仿真验证.分析了实现每层功能的关键技术,并基于该虚拟设计环境,完成了虚拟四余度飞控计算机的设计和验证,使该开发环境具有面向主要结构参数、性能参数、价格参数的虚拟余度飞控计算机系统生成功能.     

一种远程身份认证方案的分析与改进

口令认证是远程身份认证中实用的方法.分析了一个给出的使用智能卡的口令认证方案的安全性,指出该方案是不安全的:不能抵御并行会话攻击,攻击者可以利用截获的信息生成合法的登陆信息假冒合法用户登陆,并通过认证获得授权,而不需要知道用户口令;不能抵御更改时戳攻击,攻击者可以更改截获信息的时戳,假冒合法用户登陆远程主机或假冒合法远程主机.同时,引入登陆计数器,采用一卡一密,给出了一种改进的使用智能卡的口令认证方案.该方案允许用户自主选择并更改口令,实现了双向认证;能够抵御重放攻击、内部攻击,具备强安全修复性;能够抵御并行会话攻击和更改时戳攻击,具有更好的安全性.     

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

一种基于遗传算法的环境因子确定方法

提出了一种利用同类或相似产品研制试验故障数据并依据AMSAA模型的时间环境因子最优化确定方法,将遗传算法用于时间环境因子的寻优过程,给出了确定最佳时间环境因子的方法、步骤,最后给出了一个工程应用实例.研究结果表明,依此得到的可靠性评估结果与实际使用水平更为接近.为利用产品研制期间故障数据进行可靠性综合评估提供了一条合理的解决途径.      

嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.     

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展，软件在航天器中的作用和地位越来越突出，航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点，这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统，为了描述物理世界的连续行为，希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL)，使其能够统一地描述其运行的物理过程与软件的控制行为，以及它们之间的协同交互机制，同时，为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性，最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.     

模型驱动的嵌入式系统设计

随着嵌入式系统设计周期越来越短,功能越来越复杂,越来越多领域的设计人员参与设计,市场需求导向致使需求变更越来越多,以传统文档形式的需求来驱动开发已根本不能满足时间和成本方面的要求。本文提出了采用可执行模型、动态需求规格和接口控制文档共同作用的驱动嵌入式系统设计方法,它能够较好地满足目前系统设计的要求。在文中,我们首先介绍了当前嵌入式系统设计中存在的一些问题,然后介绍了模型驱动设计的方法、语言和优点,并对动态需求规格和接口控制文档的执行给出了建议,最后得出模型驱动的嵌入式系统设计是一种行之有效途径的结论。     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

面向可信的航空嵌入式软件开发方法框架

针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.     

基于RISC芯片的32位嵌入式基本系统的设计和调试

基于ＲＩＳＣ芯片的３２位嵌入式基本系统的研究和设计是当前嵌入式星载计算机研制方面的一个重要课题，着重介绍了该ＲＩＳＣ基本系统的设计特点以及所使用的构思新颖的调试方法等两方面的研究情况。     

一种相机总线数据仿真系统改进研究

针对以51单片机为核心的航空机载设备总线数据仿真系统存在的问题，提出并设计了基于PC104嵌入式系统为核心的总线数据仿真系统。该系统利用ZHHK429-PC104-Plus板卡和自研的ARINC407接口卡，结合25.4cm(10 in)工业级触控彩色显示屏对原系统进行了改进设计，基于Windows Embedded XP操作系统结合LabVIEW实现图形化软件开发，实现了机载惯导和大气机数据仿真输出，使相机在工作房内即可完成全状态通电检测。经测试，该总线数据仿真系统，在原有系统的基础上，各项性能都有明显提升。     

Development of an improved ground-based prototype of space plant-growing facility

Based on a formerly developed ground-based prototype of space plant-growing facility, the development of its improved prototype has been finished, so as to make its operating principle better adapt to the space microgravity environment. According to the developing experience of its first generation prototype and detailed demonstration and design of technique plan, its blueprint design and machining of related components, whole facility installment, debugging and trial operations were all done gradually. Its growing chamber contains a volume of about 0.5 m³ and a growing area of approximate 0.5 m²; the atmospheric environmental parameters in the growing chamber and water content in the growing media were controlled totally and effectively; lighting source is a combination of both red and blue light emitting diodes (LED). The following demonstrating results showed that the entire system design of the prototype is reasonable and its operating principle can nearly meet the requirements of space microgravity environment. Therefore, our plant-growing technique in space was advanced further, which laid an important foundation for next development of the space plant-growing facility and plant-cultivating experimental research in space microgravity condition.     

航天器嵌入式操作系统研究与设计

随着航天器结构和功能的复杂化,对作为系统资源管理者的操作系统的功能和可靠性等要求也日益增强.分析嵌入式实时操作系统在国内外航天领域的研究与应用现状,提出面向航天器应用特点的具有多任务管理、内存管理、文件系统、容错和故障管理等功能的高可靠、高性能的嵌入式实时操作系统的研究与设计方案,并展望其在未来网络化及分布式安全航天器中的发展前景.