基于AADL的中断控制设计方法

作者：李振松; 顾斌aadl中断模型可调度性

摘要：介绍了结构分析与设计语言（AADL）的应用研究和优点,以某航天器控制分系统部分中断类型为例,针对AADL语言自身直接对中断问题描述能力上的不足,提出了两种基于AADL的中断控制设计方法,并进行了详细阐述和比较,为系统设计阶段对中断控制的抽象描述提供了一种思路和方法,从而有利于实现早期阶段对模型可调度性等方面验证的途径。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社