一种航天用Linux系统工程化方法

随着航天器功能的越发复杂和软件规模的提高，航天领域常用操作系统存在驱动、第三方库资源不够丰富等问题。Linux系统具有稳定、开源、支持丰富等特点，被广泛应用于高可靠领域，因此有望满足航天领域复杂应用下操作系统的需求。但Linux系统代码量庞大，在航天领域软件工程化和可靠性保证工作方面开展困难。结合航天工程应用实际，提出并实践了按商用和自研，分别对Linux系统软件进行质量保证的工程化方法，为航天用操作系统相关产品的研制提供工程化思路。