|
|||||
|
|
| AADL在中断控制系统建模中的应用 | |
| 作者姓名： | 任飞 谯婷婷 刘俊波 邵杨锋 |
| 作者单位： | 电子科技大学计算机科学与工程学院 成都610054;中航工业西安飞行自动控制研究所 西安710065;西安电子科技大学计算机学院 西安710071;西安电子科技大学计算机学院 西安710071 |
| 基金项目： | 本文受航空科学基金资助 |
| 摘 要： | 随着中断控制在嵌入式实时系统中的不断广泛应用,中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言(AADL)的形式化方法为这一问题的解决提供了思路,但AADL自身缺少 有效的元素和 方法来描述和建模中断。为此,提出一种结合AADL与中断控制器的中断控制系统设计方法,并运用GSPN可靠性计算模型对可靠性进行分析,从而为AADL在航电系统中的应用提供了思路。 |
| 关 键 词： | AADL 中断控制系统 中断控制器 GSPN |
| 收稿时间： | 2012-07-20 |
| 修稿时间： | 2012-11-05 |