软件学报

作者：胡军，吕佳润，王立松，康介祥，王辉，高忠杰

单位：胡军，南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;软件新技术与产业化协同创新中心, 江苏 南京 21000711,吕佳润，南京航空航天大学 计算机科学与技术学院, 江苏 南京 21110602,王立松，南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;软件新技术与产业化协同创新中心, 江苏 南京 21000703,康介祥，中国航空无线电电子研究所 软件部, 上海 20023304,王辉，中国航空无线电电子研究所 软件部, 上海 20023305,高忠杰，中国航空无线电电子研究所 软件部, 上海 20023306

关键词：机载软件形式化建模;变量关系模型;自然语言需求建模;形式化方法

基金：工信部民机专项项目(DAB1900501)

现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准, 使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战. 工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分析工具平台(ART)展开对座舱显控软件子系统(EICAS)需求的建模与分析, 包括: ART工具平台所采用的变量关系(VRM)理论模型、平台架构和平台工具链, 基于多范式的需求一致性、完整性形式化分析方法, EICAS系统的条目化初始自然语言需求的形式化建模和需求模型的自动化分析过程, 如: 需求条目的预处理、规范化处理、需求模型自动生成以及多范式分析等; 给出了工程需求实例研究的经验总结和思考.

来源：2022年第5期

《软件学报》期刊编辑部

查看软件学报杂志2022年第5期