摘要
针对空间站系统对长期在轨运行高可靠性、高安全性的要求,提出了基于软件故障树分析(SFTA)和软件失效模式及影响分析(SFMEA)的空间站锂电池管理系统软件安全分析与设计的方法。采用该方法,对系统安全性、单机安全性和软件安全性需求进行逐层分析和设计,得出软件安全关键功能、部件和单元,提出相应的软件设计约束,采取相应的软件可靠性设计方法,并最终经过测试验证和确认。通过该方法,把软件安全性设计贯穿整个软件研制生命周期过程中,软件的安全性得到系统、全面的分析和设计。测试结果表明:该方法有效地提升了软件可靠性,空间站锂电池管理系统的安全性得到了充分的保证,可以满足长期在轨稳定运行的要求。
In order to meet the requirements of high reliability and high safety for the long-term on-orbit operation of the space station system,a software safety analysis and design method for the space station lithium battery management system was proposed based on software failure tree analysis(SFTA)and software failure mode and effect analysis(SFMEA).By using this method,the system security,single-machine security and software security requirements are analyzed and designed layer by layer,the key functions,components and units of software security are obtained,the corresponding software design constraints are proposed,and the corresponding software reliability design methods are adopted,which are finally tested and verified.Through this method,the software security design is carried through the whole software development life cycle process,and the software security is systematically and comprehensively analyzed and designed.The test results show that this method effectively improves the software reliability,and the safety of the space station lithium battery management system is fully guaranteed,which can meet the requirements of long-term on-orbit stable operation.
作者
朱剑辉
赵庆
蒋坤
孙晶晶
刘胜阳
ZHU Jianhui;ZHAO Qing;JIANG Kun;SUN Jingjing;LIU Shengyang(Shanghai Aerospace Electronic Technology Institute,Shanghai 201109,China;Shanghai Institute of Space Power Technology,Shanghai 201109,China;Shanghai Academy of Spaceflight Technology,Shanghai 201109,China)
出处
《上海航天（中英文）》
CSCD
2022年第S02期79-84,共6页
Aerospace Shanghai（Chinese&English）
关键词
软件故障树分析
软件失效模式及影响分析
安全关键功能
电池管理系统
软件可靠性
software failure tree analysis
software failure mode and effect analysis
safety-critical function
battery management system
software reliability
