机载软件层次化需求的形式化建模与分析.pdfVIP

第57卷第1期南京航空航天大学学报（自然科学版）Vol.57No.1

2025年2月JournalofNanjingUniversityofAeronauticsAstronautics（NaturalScienceEdition）Feb.2025

DOI：10.16356/j.1005‐2615.2025.01.020

机载软件层次化需求的形式化建模与分析

11,21,2111

王康星，胡军，王立松，丁鼎，董亚炯，戴嘉磊

（1.南京航空航天大学计算机科学与技术学院，南京211106；2.软件新技术与产业化协同创新中心，南京210007）

摘要：越来越复杂的多层级功能需求给高安全机载软件的设计开发带来了重要挑战。本文给出了一个面向工程

应用领域具有层次化语义特征的软件需求形式化建模与分析方法。首先，设计了一个层次化的形式化需求模

型。层次化变量关系模型（Hierarchicalvariablerelationmodel，HVRM）引入工程领域中典型的功能模块属性以

及端口等概念来表达系统功能的层次化特征语义，同时也具备原有变量关系模型（Variablerelationmodel，

VRM）中基于表格形式的形式化语义，可表示包括条件型、事件型、多维度模式转换等多种类需求的语义信息。

进而，基于需求的一致性完整性要求确立了VRM一致性完整性约束簇。其次，设计了一个将工程条目化需求建

模为HVRM形式化需求模型的处理框架，并在一个机载软件需求工具平台（Hierarchicalavionicsrequirement

tools，HART）中进行了处理功能和需求追溯功能的实现和集成。最后采用某机型自动飞行系统中飞行模式转

换软件逻辑需求进行了实例需求建模和模型分析。

关键词：计算机软件与理论；需求工程；形式化方法；需求建模与分析；飞行控制系统

中图分类号：TP311.5文献标志码：A文章编号：1005‐2615（2025）01‐0195‐10

FormalModelingandAnalysisMethodforHierarchicalRequirementsof

AirborneSoftware

WANGKangxing1，HUJun1，2，WANGLisong1，2，DINGDing1，DONGYajiong1，DAIJialei1

（1.CollegeofComputerScienceandTechnology，NanjingUniversityofAeronauticsAstronautics，Nanjing211106，China；

2.CollaborativeInnovationCenterofNovelSoftwareTechnologyandIndustry，Nanjing210007，China）

Abstract:Theincreasinglycomplexmulti-levelfunctionalrequirementsbringchallengestothedesignand

developmentofsafety-criticalairbornesoftware.Aformalmodelingandanalysismethodofsoftware

requirementswithhierarchicalsemanticcha