机载软件建模与仿真技术研究  

作　　者：彭寒[1] 张晓丽[1] 刘舟洲 李美蓉 

机构地区：[1]西安航空学院,陕西西安710077

出　　处：《科技与创新》2023年第13期17-19,25,共4页Science and Technology & Innovation

基　　金：陕西省重点研发计划(编号:2023-YBGY-014、2023-YBGY-131)。

摘　　要：机载软件是机载系统的核心功能的载体,它的开发面临着早期验证困难、可重用性差、验证成本高昂等难题。针对这些问题,构建了一个支持机载软件先期验证的建模环境,开发了一套机载软件中间件,并研制了一种机载软件仿真验证环境。实验结果表明,所开发的建模及仿真环境能够极大地提高机载软件的开发效率,降低机载软件的开发和验证成本。

关 键 词：机载嵌入式系统 软件中间件 建模 仿真验证环境 

分 类 号：V247[航空宇航科学与技术—飞行器设计] TP311.5[自动化与计算机技术—计算机软件与理论]