-
题名一种基于变量依赖关系的需求模型耦合分析方法
- 1
-
-
作者
尹伟
窦霖
高忠杰
王立松
孙倩
-
机构
中国航空无线电电子研究所
南京中兴公司
南京航空航天大学计算机科学与技术学院
-
出处
《计算机科学》
北大核心
2025年第7期58-68,共11页
-
基金
工信部民机预研项目(YY-23171-ZX)。
-
文摘
机载软件是典型的安全关键软件,其开发和验证过程在航空业内受到严格控制。机载软件的复杂性和多样性使得需求分析成为关键的研究内容,特别是在需求验证阶段,需要关注系统部件之间的交互方式以及变量之间的依赖关系是否满足预期。对此,提出了一种面向机载软件需求的基于VRM模型的耦合分析方法,定义了需求中变量之间的依赖关系,通过度量指标来衡量系统部件之间的数据耦合和控制耦合。为了弥补基于需求层面的耦合分析技术的不足,使用VRM模型作为形式化需求模型,在系统需求层次进行建模和分析,有效支撑了DO-178C对数据耦合、控制耦合和软件部件的相关要求。同时,提出了基于变量间层次依赖关系的耦合度量方法,将变量间的关系定义为n叉依赖树的结构,并使用一系列算法对变量划分权重。通过构造变量矩阵、需求变量依赖树等方法对耦合度进行度量,形成了基于变量依赖关系的数据耦合和控制耦合分析原型。该研究突破了基于需求层面的耦合分析技术,为复杂系统的设计提供了帮助,提高了机载软件开发的质量和可靠性。
-
关键词
vrm模型
数据耦合
控制耦合
需求变量依赖树
-
Keywords
vrm modeling
Data coupling
Control coupling
Demand variable dependency trees
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
V19
[航空宇航科学与技术—人机与环境工程]
-
