| 航空机载嵌入式控制软件需求建模的形式化工程方法 |
| |
| 引用本文： | 黄怿豪,冯劲草,郑寒月,缪炜恺,蒲戈光.航空机载嵌入式控制软件需求建模的形式化工程方法[J].计算机工程与科学,2019,41(6):1016-1025. |
| |
| 作者姓名： | 黄怿豪 冯劲草 郑寒月 缪炜恺 蒲戈光 |
| |
| 作者单位： | 华东师范大学上海市高可信重点实验室,上海,200062;华东师范大学上海市高可信重点实验室,上海,200062;华东师范大学上海市高可信重点实验室,上海,200062;华东师范大学上海市高可信重点实验室,上海,200062;华东师范大学上海市高可信重点实验室,上海,200062 |
| |
| 基金项目： | 国防科工局项目(JCKY 2016212B004 2) |
| |
| 摘 要： | 嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的困难。其根本性难点在于缺少一种系统化的工程方法来引导工业界软件实践者,从原始需求开始最终完成形式化需求规约,并能确认该规约真实、充分地反映了人们对软件期望的功能。针对上述挑战,提出了一种面向机载控制软件需求建模的形式化工程方法ACSDL-MV,以形式化方法为理论基础,结合软件需求工程的基本原理,引导工程人员从原始需求出发以演化式的过程逐步完成需求规约的构建;定制了航空控制软件的形式化描述语言ACSDL,用以构建形式化规约;为了确认软件需求规约准确、充分地描述了人们对软件期望的功能,该方法给出了基于图形的静态审查和基于模型的动态模拟技术。在航空发动机公司中的实验结果表明,该方法相比传统方法探测到了更多的潜在错误。
|
| 关 键 词： | 软件需求建模 需求确认 形式化工程方法 形式化方法 |
| 收稿时间： | 2018-11-15 |
| 修稿时间： | 2019-06-25 |
A formal engineering method for requirement
modeling of airborne embedded control software |
| |
| HUANG Yi hao,FENG Jin cao,ZHENG Han yue,MIAO Wei kai,PU Ge guang.A formal engineering method for requirement
modeling of airborne embedded control software[J].Computer Engineering & Science,2019,41(6):1016-1025. |
| |
| Authors: | HUANG Yi hao FENG Jin cao ZHENG Han yue MIAO Wei kai PU Ge guang |
| |
| Affiliation: | （Shanghai Key Laboratory of Trustworthy Computing,East China Normal University,Shanghai 200062,China） |
| |
| Abstract: | |
| |
| Keywords: | software requirements modeling requirement validation formal engineering method formal method |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
