AADL建模相关论文
嵌入式操作系统及其应用规模和复杂度的提高给测试带来巨大的挑战，传统嵌入式操作系统及其应用测试采用离线测试方法，测试成本和代价......
飞控系统的功能日益复杂,因此在保证飞控软件的高可靠性的情况下,仅依赖软件测试所带来的资源消耗也越来越多。为提高飞控软件可靠......
