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

基于AADL的中断控制设计方法
李振松;顾斌
【期刊名称】《微型机与应用》
【年(卷),期】2011(30)10
【摘要】介绍了结构分析与设计语言(AADL)的应用研究和优点,以某航天器控制分系统部分中断类型为例,针对AADL语言自身直接对中断问题描述能力上的不足,提出了两种基于AADL的中断控制设计方法,并进行了详细阐述和比较,为系统设计阶段对中断控制的抽象描述提供了一种思路和方法,从而有利于实现早期阶段对模型可调度性等方面验证的途径.
【总页数】4页(P83-86)
【作者】李振松;顾斌
【作者单位】北京控制工程研究所,北京100190;北京控制工程研究所,北京100190
【正文语种】中文
【中图分类】TP272
【相关文献】
1.基于AADL的汽车车身控制模块可调度性分析 [J], 马铮;周海鹰;黄连丽;陶冰冰
2.AADL模式转换设计方法研究 [J], 李振松;蒋志雄;顾斌
3.基于AADL的航电构型控制系统的建模分析 [J], 周德新;李宁;刘哲旭
4.AADL在中断控制系统建模中的应用 [J], 任飞;谯婷婷;刘俊波;邵杨锋
5.基于SysML & AADL的IMA刹车控制系统实时性需求验证 [J], 邓佳佳;张育平;陈海燕
因版权原因，仅展示原文概要，查看原文内容请购买。