AADL在中断控制系统建模中的应用

• 作者: 任飞 刘俊波 谯婷婷 邵杨锋
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: AADL 中断控制系统 中断控制器 GSPN
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 2012'多值逻辑专栏
• 页码范围: 51-53,66
• 页数: 4页
• 分类号: TP311
• 字数: 3103字
• 语种: 中文

摘要

随着中断控制在嵌入式实时系统中的不断广泛应用,中断控制的可靠性是系统设计中面临的重要问题.虽然基于体系结构分析与设计语言(AADL)的形式化方法为这一问题的解决提供了思路,但AADL自身缺少有效的元素和方法来描述和建模中断.为此,提出一种结合AADL与中断控制器的中断控制系统设计方法,并运用GSPN可靠性计算模型对可靠性进行分析,从而为AADL在航电系统中的应用提供了思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	任飞	电子科技大学计算机科学与工程学院	4	5	2.0	2.0
2	谯婷婷		2	2	1.0	1.0
3	刘俊波	西安电子科技大学计算机学院	1	2	1.0	1.0
4	邵杨锋	西安电子科技大学计算机学院	1	2	1.0	1.0