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

• 作者: 李振松 顾斌
• 来源期刊: 微型机与应用
• 学科: 工学
• 关键词: AADL 中断 模型 可调度性
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 技术与方法
• 页码范围: 83-86
• 分类号: TP272
• 字数: 2873字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-7720.2011.10.026

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾斌		19	85	6.0	8.0
2	李振松		8	28	3.0	5.0