摘要
介绍了结构分析与设计语言(AADL)的应用研究和优点,以某航天器控制分系统部分中断类型为例,针对AADL语言自身直接对中断问题描述能力上的不足,提出了两种基于AADL的中断控制设计方法,并进行了详细阐述和比较,为系统设计阶段对中断控制的抽象描述提供了一种思路和方法,从而有利于实现早期阶段对模型可调度性等方面验证的途径。
The research of application and advantage of AADL（Architecture Analysis and Design Language） is introduced.Some types of interrupt of one spacecraft control system as an example,two designing methods for interrupt controlling based on AADL is present and depicted in detail to compare,in order to make up the disadvantage of the language in describing the interrupt,thereby providing one way to abstractly describe interrupts in the designing phase of system and to service the early validate of the model,such as schedulability.
出处
《微型机与应用》
2011年第10期83-86,共4页
Microcomputer & Its Applications
基金
国家自然科学基金重大研究计划项目(90818024)
