作者：李振松 顾斌aadl中断模型可调度性
摘要：介绍了结构分析与设计语言（AADL）的应用研究和优点,以某航天器控制分系统部分中断类型为例,针对AADL语言自身直接对中断问题描述能力上的不足,提出了两种基于AADL的中断控制设计方法,并进行了详细阐述和比较,为系统设计阶段对中断控制的抽象描述提供了一种思路和方法,从而有利于实现早期阶段对模型可调度性等方面验证的途径。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《微型机与应用》现已更名为《徽乡村振兴研究》。 《微型机与应用》是一本有较高学术价值的半月刊，自创刊以来，是国内电子行业、IT领域颇具影响的技术、信息类期刊。选题新奇而不失报道广度，服务大众而不失理论高度，颇受业界和广大读者的关注和好评。
部级期刊
人气 230965 评论 65
人气 216790 评论 35
省级期刊
人气 214071 评论 71
北大期刊、统计源期刊
人气 193654 评论 73
