典型文献
一个机载软件需求形式化建模与分析实例研究
文献摘要：
现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准, 使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战. 工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分析工具平台(ART)展开对座舱显控软件子系统(EICAS)需求的建模与分析, 包括: ART工具平台所采用的变量关系(VRM)理论模型、平台架构和平台工具链, 基于多范式的需求一致性、完整性形式化分析方法, EICAS系统的条目化初始自然语言需求的形式化建模和需求模型的自动化分析过程, 如: 需求条目的预处理、规范化处理、需求模型自动生成以及多范式分析等; 给出了工程需求实例研究的经验总结和思考.
文献关键词：
机载软件形式化建模;变量关系模型;自然语言需求建模;形式化方法
中图分类号：
作者姓名：
胡军;吕佳润;王立松;康介祥;王辉;高忠杰
作者机构：
南京航空航天大学 计算机科学与技术学院, 江苏 南京 211106;软件新技术与产业化协同创新中心, 江苏 南京 210007;中国航空无线电电子研究所 软件部, 上海 200233
文献出处：
引用格式：
[1]胡军;吕佳润;王立松;康介祥;王辉;高忠杰-.一个机载软件需求形式化建模与分析实例研究)[J].软件学报,2022(05):1652-1673
A类：
机载软件形式化建模,自然语言需求建模
B类：
软件需求,建模与分析,实例研究,民机,软件系统,安全标准,如一,证成,自主设计,设计实现,ART,座舱,显控,EICAS,VRM,平台架构,工具链,形式化分析,条目,始自,需求模型,自动化分析,自动生成,工程需求,求实,变量关系模型,形式化方法
AB值：
0.349259
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
