点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：计算机工程与科学

关键字：MBSE;自动飞行控制系统(AFCS);形式化验证;RSML -e ;NuSMV;模型转换;

摘要：在安全关键系统领域中,明确的需求对于一个系统的作用至关重要。使用基于模型的系统工程思想对自动飞行控制系统进行面向需求的形式化建模与验证,使用RSML -e 语言对自动飞行控制系统（AFCS）需求进行建模,提出一种将RSML -e 模型转化成NuSMV 2模型的方法,并用NuSMV 2对模型的属性进行验证。针对一个真实综合航电系统中的自动飞行控制系统GFC700进行分析验证,实验结果表明,该方法对实际系统的安全性分析具有可行性。

ISSN号：1007-130X

是否译文：否

发表时间：2019-08-15

合写作者：张维珺,李宛倩

通讯作者：胡军