摘要
随着模型驱动方法在航空航天领域的广泛应用,各种建模语言和建模工具在机载软件开发中的作用日趋重要。机载软件建模工具已从最初的图形化表示工具演化为支持软件安全性验证和测试用例生成乃至运行时验证的工业制造软件。本文从建模元素的粒度、建模过程的覆盖范围、模型所关注的视角以及建模工具的综合能力等4个侧面对近年来机载软件建模语言与工具的发展进行分类阐述,并对我国机载软件建模工具的努力方向提出发展建议。
With the wide application of model-driven methods in the aerospace field,various modeling languages and modeling tools play increasingly important roles in the development of airborne software.On-board software modeling tools have evolved from initially graphical representation tools to industrial manufacturing software supporting software safety verification and test case generation to run-time verification.This paper classifies and expounds the development of airborne software modeling lan⁃guages and tools in recent years from four aspects:the granularity of modeling elements,the coverage of the modeling process,the perspectives that the model focuses on,and the comprehensive capabilities of modeling tools.Suggestions are put forward for the development direction of our country’s airborne software modeling tools.
作者
曹国震
彭寒
张晓丽
景月娟
侯媛媛
CAO Guozhen;PENG Han;ZHANG Xiaoli;JING Yuejuan;HOU Yuanyuan(School of Energy and Architecture,Xi’an Aeronautical Institute,Xi’an 710077,China;School of Computer Science,Xi’an Aeronautical Institute,Xi’an 710077,China)
出处
《计算机与现代化》
2025年第5期66-72,共7页
Computer and Modernization
基金
陕西省重点研发计划项目(2023-YBGY-014,2023-YBGY-131,2024GX-YBXM-277)。
关键词
机载软件
模型驱动方法
建模语言
建模工具
airborne software
model-driven approach
modeling language
modeling tool
