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

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