符合民机适航标准的形式化方法研究

• 作者: 唐晨 曹杨华 王辉 陈蕾
• 来源期刊: 航空电子技术
• 学科: 工学
• 关键词: 形式化方法 形式化模型 形式化分析 四变量模型 Event-B
• 年，卷（期）: 2019,（4）
• 所属期刊栏目: 计算机、软件及算法
• 页码范围: 53-59
• 页数: 7页
• 分类号: TP311.52
• 字数: 6251字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-141X.2019.04.09

摘要

描述了形式化方法的定义、目的、作用和软件开发流程.以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性.以发动机油量周期计算需求为例,通过 Event-B 形式化方法对需求进行形式化建模,通过形式化分析发现需求模型的缺陷.对民机适航标准形式化方法相关的三份补充文件进行了解读,对采用形式化方法进行民机软件开发具有指导意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王辉		13	50	4.0	6.0
2	曹杨华		4	3	1.0	1.0
3	陈蕾		2	0	0.0	0.0
4	唐晨		1	0	0.0	0.0