Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院
Journal:计算机工程与科学
Key Words:MBSE;自动飞行控制系统(AFCS);形式化验证;RSML -e ;NuSMV;模型转换;
Abstract:在安全关键系统领域中,明确的需求对于一个系统的作用至关重要。使用基于模型的系统工程思想对自动飞行控制系统进行面向需求的形式化建模与验证,使用RSML -e 语言对自动飞行控制系统（AFCS）需求进行建模,提出一种将RSML -e 模型转化成NuSMV 2模型的方法,并用NuSMV 2对模型的属性进行验证。针对一个真实综合航电系统中的自动飞行控制系统GFC700进行分析验证,实验结果表明,该方法对实际系统的安全性分析具有可行性。
ISSN No.:1007-130X
Translation or Not:no
Date of Publication:2019-08-15
Co-author:张维珺,李宛倩
Correspondence Author:HU Jun
Associate Professor
Supervisor of Master's Candidates
Alma Mater:Nanjing University
Education Level:南京大学
Degree:Doctoral Degree in Engineering
School/Department:College of Computer Science and Technology, NUAA
Business Address:Jiangjun Avenue No. 29
Jiangsu Province, China 210000
email: hujun # nuaa /dot edu /dot cn
http://faculty.nuaa.edu.cn/Jun_Hu/en/index.htm
Open time:..
The Last Update Time:..
