| 一个机载软件需求形式化建模与分析实例研究 |
| |
| 作者姓名： | 胡军 吕佳润 王立松 康介祥 王辉 高忠杰 |
| |
| 作者单位： | 南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;软件新技术与产业化协同创新中心, 江苏 南京 210007;南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;中国航空无线电电子研究所 软件部, 上海 200233 |
| |
| 基金项目： | 工信部民机专项项目(DAB1900501) |
| |
| 摘 要： | 
现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准, 使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战. 工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分析工具平台(ART)展开对座舱显控软件子系统(EICAS)需求的建模与分析, 包括: ART工具平.
..
|
| 关 键 词： | 机载软件形式化建模 变量关系模型 自然语言需求建模 形式化方法 |
| 收稿时间： | 2021-08-09 |
| 修稿时间： | 2021-10-09 |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载免费的PDF全文 |
|
