卫星高功能密度综合电子系统设计

微小卫星综合电子系统承载了卫星大部分功能，是卫星任务处理和控制的中心，未来新的智能化应用、星群应用、通信服务等需求也将由卫星执行，对综合电子系统提出了新的要求。分析了国外典型小卫星综合电子系统，具有功能综合度高、多数功能集中在一台计算机中、卫星功能软件化的特点。设计了基于软件定义的综合电子系统一体化结构，硬件采用高度集成的模块化设计，软件采用分层和组件化设计，将系统功能进行分层，通过软件定义组件的方式实现各层功能和业务。高功能密度综合电子系统由一个通用化的高性能硬件平台和各种可加载的APP软件组成，除传统功能外，还可扩展自主任务管理、星间组网和载荷管理等功能，不仅使卫星的集成度和功能密度大幅提升，还能实现卫星功能重构，达到一星多用、一星多能的目的，有利于紧急时期卫星系统快速构建与应用，对于未来星座组网应用也具有一定意义。     

软件总线体系结构的研究与应用

设计一种轻量级软件总线体系结构,将软件总线思想引入到单机软件系统的定制与集成.软件总线技术源于分布式异构环境搭建提出的,应用于分布式系统.对传统软件总线结构进行改进,采用双总线结构,摒除不必要的分布式功能,使轻量级软件总线成为一种适用于单机环境的软件体系结构.通过创建一个基于轻量级软件总线体系结构的模拟银行服务排队系统,验证轻量级软件总线作为单机软件系统的搭建架构具有可行性.     

基于宏定义动态链接的模块化星载软件升级方法研究

提出了基于宏定义动态连接的软件模块化设计思路, 并针对某小卫星平台的体系结构, 对其星载软件进行了具体的模块化实现, 同时提出了一种在轨升级方案. 经实验验证分析, 所提出的模块化设计思路提高了星载软件在轨升级的效率和灵活性, 升级过程中对结构化模块信息上载和验证, 提高了升级方法的可靠性和安全性.      

基于内部总线的控制系统体系结构

控制系统是卫星平台的关键分系统.由于各卫星总体任务的不同,各卫星对控制系统的要求也不断变化,使得控制系统的配置随着任务的不同而发生较大变化,对控制系统的体系结构产生较大的影响.对目前控制系统体系结构的特点进行分析,提出基于内部总线的控制系统体系结构以适应不断变化的配置需求,并进行可行性分析.分析结果表明这种体系结构有利于系统的配置变化和带宽的提高,能满足不同平台任务的需要.     

一种用数字集成电路FPGA实现的伪速率调制器

介绍一种用数字集成电路实现的伪速率调制器及其应用.该调制器用一片FPGA实现3个通道的伪速率调制器.有别于用软件或模拟电路实现的方法,该调制器用数字电路实现,其中一阶环节通过移位算法实现指数运算,简单灵活,既克服了模拟电路和软件实现的缺点,又具有模拟电路实时性高、精度高以及软件实现方式方便灵活的特点,适用于整星信息一体化和综合电子技术的卫星控制系统体系结构.     

分布式卫星嵌入式计算机系统结构设计方法

针对分布式卫星的运行环境和任务特点,综合考虑分布式卫星嵌入式计算机系统在可靠性、安全性和实时性方面的要求,提出了一种基于三级容错的主辅式双系统体系结构设计方法。论文分析了分布式卫星的特点和星上嵌入式计算机系统的设计要求,对三级容错设计、主辅式双系统安全设计以及基于可信平台模块(TPM)的辅系统设计进行了详细的阐述。该设计方法已成功应用于地面原理验证系统中,结果表明其可以很好地解决分布式卫星嵌入式计算机系统的可靠性、安全性和实时性问题。     

基于模糊推理的卫星系统综合效能评估方法

卫星系统综合效能评估是开发，使用，优化卫星系统的基础。文章利用系统论原理建立了卫星系统综合效能评估指标体系结构，同时为评估指标的合理量化，研究了基于满意度模糊推理的定性与定量相结合评估指标量化的模型与方法。     

基于拜占庭容错体系构架的航天器控制系统测试性设计与分析

摘要： 飞行控制系统作为航天飞行器的关键机载系统,其运行情况直接关系到飞行任务的成败.通过良好的测试性设计,可以提高系统的可靠性和安全性,减少维修人力及其他保障资源,降低寿命周期费用.对拜占庭容错体系结构的航天器控制系统和分层多信号流图模型的测试性设计和建模方法进行了详细的叙述,并对基于拜占庭容错体系结构的航天器控制系统进行了测试性建模,通过测试性建模和分析系统（TMAS软件）验证控制系统测试性设计的正确性和有效性.     

个体软件过程实验研究

为确定个体软件过程ＰＳＰ（ＰｅｒｓｏｎａｌＳｏｆｔｗａｒｅＰｒｏｃｅｓ）在软件开发中的实际应用效果,北京航空航天大学软件工程研究所在１９９７年进行了ＰＳＰ的应用实验．本文首先简要介绍了ＰＳＰ的原理和方法,然后给出ＰＳＰ实验的结果数据,对该数据从差错率和生产效率２个方面进行了统计和分析．分析结果显示,ＰＳＰ的应用对于提高软件开发效率、改善软件产品的质量有重要的意义．讨论了ＰＳＰ应用过程中可能遇到的问题,指出了今后进一步的工作．     

一种基于非面向对象语言的星载软件构件技术

为了进一步提高星载软件复用程度和解决航天器软件开发效率低下的问题,对星载软件特性和软件构件技术进行了分析和研究;对星载软件构件进行了定义,提出了一种基于非面向对象语言的、适用于星载软件开发和应用环境的星载软件构件模型。基于该模型开发的星载软件构件,具备独立性、完整性、可组装性和功能性。除此之外,对基于这种模型的星载软件构件设计、开发和使用方法进行了介绍,可以为采用非面向对象语言进行星载软件构件开发提供参考。在多个型号中对该技术展开实践,实践结果表明：提出的星载软件构件设计方法能够将星载软件开发效率提高2～5倍。     

嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

可配置的软件动态测试系统研究

首先简要分析了软件动态测试方法在测试环境开发、测试执行以及测试结果分析等环节上所存在的问题与缺陷。接着提出了一种采用增加配置的方法构建动态测试环境的思路，并以此为基础，实现了一个软件自动化测试原型系统，同时详细描述了该系统的基本框架，阐述了它的关键技术。     

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

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

通用ATS软件设计平台研究

通用性是当前ATS的发展方向 ,讨论了通用ATS测试软件设计平台的基本属性、软件结构 ,并重点介绍了IVI特性的基本原理。在平台内核基础上设计的TPS继承了平台内核的属性 ,具有很好的可重用性及硬件无关性。该平台的实现为通用ATS的设计奠定了基础     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究，旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题，提出一种基于模型架构的航天器控制软件研制方式，搭建软件模型驱动框架，通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架，简化代码胶合过程.同时，建设航天器控制领域通用模型库来提高成熟算法模型的复用效率及自动生成代码可靠性.本方法研究为推进航天器控制软件向模型驱动开发方式转变夯实基础.     

基于工厂模式的OSLC数据集成接口设计与实现

复杂软件系统往往由不同地域的研发团队采用不同的开发工具来协同完成，研发过程中存在数据难以集成的问题.基于开放式生命周期协作服务(OSLC)规范来设计软件协同开发数据接口，有利于提高软件协同开发的效率.首次结合工厂模式和OSLC规范设计并实现数据集成接口，将不同工具的数据集成抽象成统一的公共接口，从而采用统一的数据接口和规范实现不同工具的数据集成，有利于优化软件系统体系结构.以符合OSLC规范的Bugzilla缺陷管理系统和Jenkins持续集成工具的集成为例，以面向航天软件系统研发的SunwiseAEM一体化研发管理平台为载体，基于工厂模式设计并实现了符合OSLC规范的数据集成系统，实现了不同工具间的数据集成，提供了一种通用的、可扩展的数据集成方式.     

软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.     

软件测试过程的基本模型POCERM

软件测试过程包含着测试计划的制定，测试大纲的编制，测试用例的生成，测试的实施，测试结果与问题的分析和报告，以及软件测试的管理等项工作。     

基于UML的集成化软件开发环境的研究与实现

统一建模语言UML(Unified Modeling Language)的出现为研制和开发集成化面向对象软件开发环境奠定了基础.针对当前软件开发方法中所表现出的新特点,结合用户在项目开发中的实际需求,讨论了基于UML的集成化软件开发环境的设计思想及应具备的主要功能,介绍了基于该思想开发的可视化建模工具UML/Designer的功能体系结构和实现情况.