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

摘要：

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

关键词：AADL、中断控制系统、中断控制器、GSPN

所属期刊栏目：40

分类号：TP311(计算技术、计算机技术)

资助基金：航空科学基金资助项目20100718004

在线出版日期：2013-07-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：51-53,66