分层架构下基于模型的软件—体化开发

Model-Based Software Development On Layered Architecture

日益复杂的软件功能，高安全性系统的苛刻要求以及不断压缩的研制周期等因素推动了软件开发方法的创新。本文以机载软件为对象，介绍了基于模型和分层架构的一体化软件开发与验证方法。