航空机载嵌入式控制软件需求建模的形式化工程方法

• 作者: 冯劲草 缪炜恺 蒲戈光 郑寒月 黄怿豪
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 软件需求建模 需求确认 形式化工程方法 形式化方法
• 年，卷（期）: 2019,（6）
• 所属期刊栏目: 软件工程
• 页码范围: 1016-1025
• 页数: 10页
• 分类号: TP311.521
• 字数: 8299字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2019.06.009

摘要

嵌入式控制软件是现代航空飞行器的核心部件之一.构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径.在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的困难.其根本性难点在于缺少一种系统化的工程方法来引导工业界软件实践者,从原始需求开始最终完成形式化需求规约,并能确认该规约真实、充分地反映了人们对软件期望的功能.针对上述挑战,提出了一种面向机载控制软件需求建模的形式化工程方法ACSDL-MV,以形式化方法为理论基础,结合软件需求工程的基本原理,引导工程人员从原始需求出发以演化式的过程逐步完成需求规约的构建;定制了航空控制软件的形式化描述语言 ACSDL,用以构建形式化规约;为了确认软件需求规约准确、充分地描述了人们对软件期望的功能,该方法给出了基于图形的静态审查和基于模型的动态模拟技术.在航空发动机公司中的实验结果表明,该方法相比传统方法探测到了更多的潜在错误.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒲戈光	华东师范大学上海市高可信重点实验室	7	27	3.0	5.0
2	缪炜恺	华东师范大学上海市高可信重点实验室	2	4	1.0	2.0
3	黄怿豪	华东师范大学上海市高可信重点实验室	1	1	1.0	1.0
4	冯劲草	华东师范大学上海市高可信重点实验室	1	1	1.0	1.0
5	郑寒月	华东师范大学上海市高可信重点实验室	1	1	1.0	1.0