随着计算机技术的广泛普及,机载控制系统已成为典型的软件密集型系统,随着实时嵌入式软件的功能越来越强大、复杂性越来越高,由软件失效所引发的系统危险比重逐渐增加,严重影响飞行安全,如何获取飞控系统软件的安全属性是急需解决的问题。本文提出了一种基于需求模型的飞控系统软件安全性分析方法,从软件需求的模型描述以及软件安全性分析结果中的失效和影响分析出发,研究并设计了适合飞控软件特点的安全性分析方案。本文主要包括以下内容:首先对若干软件安全性分析领域的基础知识进行概括性的介绍。然后对软件需求建模进行了研究,给出了模型细节,包括建模的元素、建模的内容和建模的过程。接着提出了一种基于需求模型的软件安全性分析方法,详细描述了基于需求模型的软件安全性分析的分析过程、分析内容、分析规则以及分析方法。最后,针对某型号飞机飞控软件的特点,讲述了基于需求模型的飞控软件安全性分析的工程实践情况。本文的研究对飞控系统软件的安全性需求获取工作有较大的促进作用,其分析结果可以转换为软件安全性需求,提升需求质量,同时也为其他机载控制软件的安全性分析提供了一定的帮助。