%0 Journal Article
%T aadl在中断控制系统建模中的应用
%A 任飞？
%A 谯婷婷？
%A 刘俊波？
%A 邵杨锋？
%J 计算机科学
%D 2013
%X 随着中断控制在嵌入式实时系统中的不断广泛应用,中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言(aadl)的形式化方法为这一问题的解决提供了思路,但aadl自身缺少有效的元素和方法来描述和建模中断。为此,提出一种结合aadl与中断控制器的中断控制系统设计方法,并运用gspn可靠性计算模型对可靠性进行分析,从而为aadl在航电系统中的应用提供了思路。
%K aadl
%K 中断控制系统
%K 中断控制器
%K gspn
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20130513&flag=1