作者：肖寅 吴捷 屈国栋系统管理
摘要：为保证IMA系统管理设计的正确性、高可靠性和实时性，本文使用AADL对IMA系统管理进行建模，通过对模型功能和性能的正确性分析，并在模型的基础上进行分析验证，从而保证了IMA系统管理设计的正确性，降低了设计风险。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《航空电子技术》（CN：31-1381/TN）是一本有较高学术价值的大型季刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《航空电子技术》主要刊载有关航空电子领域的新技术、新研究与发展趋势方面文章，军用和民用产品并重，理论探讨和应用技术并重。文章力求精悍，技术性强。融可读性、新颖性、知识性和应用性于一体。
部级期刊
人气 370221 评论 74
省级期刊
人气 366634 评论 69
人气 307854 评论 62
人气 269385 评论 66
