面向需求高动态变化的强适应性可信飞行软件设计方法  

An Highly Adaptive and Credible Flight Software Architecture for Significant Changes in Demand

作　　者：高飞[1] 黄万伟[1] 杨威[1] 吴润[1] 方建平 Gao Fei;Huang Wan-wei;Yang Wei;Wu Run;Fang Jian-ping(Beijing Aerospace Automatic Control Institute,Beijing,100854;China Academy of Launch Vehicle Technology,Beijing,100076)

机构地区：[1]北京航天自动控制研究所,北京100854 [2]中国运载火箭技术研究院,北京100076

出　　处：《导弹与航天运载技术》2022年第4期44-49,共6页Missiles and Space Vehicles

摘　　要：针对需求变动频率高、前后差异变化大、交付质量要求高的研制特点,提出了一种对功能需求变化具有较好适应性、并能获得较高可信性产品的飞行软件设计方法。该方法针对软件需求的逻辑层次,将软件架构定义为4个抽象层,实现了硬件层与逻辑层解耦、算法层与功能层解耦,限制了需求变更产生的影响范围,提高了软件的开发效率以及对更改部分验证的针对性和有效性。根据飞行软件的特点,给出了制导、姿控、硬件接口的封装方法,在功能层实现了功能点间的独立性,提高了软件的适应性。该方法应用于某航天型号中,缩短了研发周期,同时提升了飞行软件的设计和实现效率,降低了软件缺陷率,确保了软件质量。A novel flight software architecture is proposed for the scientific exploratory aerospace project which demands a high response to the significant changes of requirements.On the basis of analyzing the logical level of demand elements,4 implementation layers of software architecture are defined:hardware layer,logical layer,control layer and algorithm layer,limiting the influence scope of requirements change and improving pertinence and effectiveness of testing for the change part.According to the characteristics of flight software,the encapsulation methods of guidance,attitude control and interface of hardware are introduced in order to separate the variable and the unchangeable part and enhanced the scalability in every new period of R/D cycle.The presented method is applied to several states of an aerospace project,which shortens the schedule of new development with the higher efficiency of design and implementation,reduces the software rate of defect and ensures the quality of software.

关 键 词：飞行软件 软件架构 分层解耦 可信验证 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]