| AADL在中断控制系统建模中的应用 |
| |
| 引用本文： | 任飞,谯婷婷,刘俊波,邵杨锋. AADL在中断控制系统建模中的应用[J]. 计算机科学, 2013, 40(5): 51-53 |
| |
| 作者姓名： | 任飞 谯婷婷 刘俊波 邵杨锋 |
| |
| 作者单位： | 电子科技大学计算机科学与工程学院 成都610054;中航工业西安飞行自动控制研究所 西安710065;西安电子科技大学计算机学院 西安710071;西安电子科技大学计算机学院 西安710071 |
| |
| 基金项目： | 本文受航空科学基金资助 |
| |
| 摘 要： | 随着中断控制在嵌入式实时系统中的不断广泛应用,中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言(AADL)的形式化方法为这一问题的解决提供了思路,但AADL自身缺少 有效的元素和 方法来描述和建模中断。为此,提出一种结合AADL与中断控制器的中断控制系统设计方法,并运用GSPN可靠性计算模型对可靠性进行分析,从而为AADL在航电系统中的应用提供了思路。
|
| 关 键 词： | AADL 中断控制系统 中断控制器 GSPN |
| 收稿时间： | 2012-07-20 |
| 修稿时间： | 2012-11-05 |
Application of AADL in Modeling Interrupt Control System |
| |
| REN Fei,QIAO Ting-ting,LIU Jun-bo and SHAO Yang-feng. Application of AADL in Modeling Interrupt Control System[J]. Computer Science, 2013, 40(5): 51-53 |
| |
| Authors: | REN Fei QIAO Ting-ting LIU Jun-bo SHAO Yang-feng |
| |
| Abstract: | |
| |
| Keywords: | AADL Interrupt control system Interrupt controller GSPN |
|
|
点击此处可从《计算机科学》下载全文 |
|
