南京航空航天大学学报2025，Vol.57Issue(1)：195-204,10.DOI:10.16356/j.1005-2615.2025.01.020
机载软件层次化需求的形式化建模与分析
Formal Modeling and Analysis Method for Hierarchical Requirements of Airborne Software
摘要
Abstract
The increasingly complex multi-level functional requirements bring challenges to the design and development of safety-critical airborne software.A formal modeling and analysis method of software requirements with hierarchical semantic characteristics for avionics is proposed.Firstly,a hierarchical formal requirement model is constructed.Hierarchical variable relation model(HVRM)adopts the typical concepts,such as functional module attributes and ports in the engineering domain,to describe the hierarchical feature semantics of system functions,and it also has the formal semantics based on the table form in the original variable relationship model(VRM),which can represent the semantic information of various types of requirements,including conditional,event-based,and multi-dimensional modes transformation,etc.Especially,consistency and integrity constraints are established based on requirements consistency and integrity demand.Secondly,a processing framework is designed to model engineering itemized requirements into HVRM model,and the processing function and requirement traceability function are implemented and integrated in a hierarchical avionics requirement tools(HART),which is an airborne software requirement tool platform.Finally,taking an automatic flight control system as a case,the requirements of the flight mode logic function are modeled and analyzed.关键词
计算机软件与理论/需求工程/形式化方法/需求建模与分析/飞行控制系统Key words
computer software and theory/requirement engineering/formal methods/requirement modeling and analysis/flight control system分类
信息技术与安全科学引用本文复制引用
王康星,胡军,王立松,丁鼎,董亚炯,戴嘉磊..机载软件层次化需求的形式化建模与分析[J].南京航空航天大学学报,2025,57(1):195-204,10.基金项目
国家自然科学基金(U2241216). （U2241216）
