随着计算机科学与软件工程技术快速发展,它们在各行各业得到了广泛应用,在现代航电系统这类安全关键系统中更是起着举足轻重的作用。对于现代航电系统来说,它的规模与复杂度都日益增长,系统中偶然发生的故障或系统失效会造成财产的重大损失,并且危及生命。因此对于航电系统这类安全关键系统的可靠性分析至关重要,不仅要保证系统的正常功能,而且要在系统的需求分析与模型设计过程中充分的考虑和评估系统的可靠性。航电系统是对可靠性要求颇高的一类安全关键系统。它是现代民用以及军用飞机的重要组成部分,其具有信息感知、显示功能,是飞机的信息处理枢纽,除此以外,它为飞机操作提供导航、人机接口和外部通信等必不可少的功能。在飞机日益复杂多样需求的推动下,对航电系统的功能、性能和可靠性等方面有了更高的要求,尤其是航电系统的可靠性,直接影响飞机的正常运转以及飞机搭乘人员的生命安全。随着模型驱动的开发方法的提出,研究者将系统工程和模型驱动相结合,提出了基于模型的系统工程方法（model based system engineering,MBSE）,其中建模语言是MBSE思想的核心。本文以支持航电软件可靠性需求的形式化建模与验证为目标,在主流MBSE建模语言Sys ML的基础上,结合AADL语言,建立Safety＿Sys ML流模型（Safety＿Sys ML Flow Model,S2MFM）,并在Safety＿Sys ML流模型建模的基础上,使用双流图错误传播理论对航电系统的可靠性进行分析,以验证系统是否满足需求中的可靠性规约,主要贡献包括:·构建面向航电软件的安全关键软件建模语言Safety＿Sys ML流模型,定义Safety＿Sys ML流模型所需要的图形元素以及用于系统可靠性验证的相关属性,构造了流模型可靠性建模元,完成对于系统可靠性验证的建模。·提出了用于分析和验证航电系统软件可靠性的基于双流图的Safety＿Sys ML流模型错误传播分析方法,使其能够对安全关键系统的可靠性需求进行验证。·提出了一种从Safety＿Sys ML流模型到双流图错误传播模型的转化方法,使其能够在Safety＿Sys ML流模型建模完成后自动转化为双流图错误传播模型。·设计并实现了基于Safety＿Sys ML流模型的航电系统可靠性验证工具,该工具支持Safety＿Sys ML流模型语言建模与可靠性验证。为了展示方法的可行性以及有效性,本文以飞行管理系统为例说明了Safety＿Sys ML流模型可靠性建模、验证与分析的具体应用。