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

Application of AADL in Modeling Interrupt Control System

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

With the wide applications of interrupt control in embedded real-time systems, the reliability of interrupt con- trol system is a key problem during the procedure of system design. Although the architecture analysis and design lan- guage （AADL）-based formal methods can handle this problem effectively, it fails to provide effective elements and methods for describing and modeling interrupt. For this purpose, this paper proposed a design method of interrupt con- trol system by combining the merits of AADL and interrupt controller, and utilized reliability computation model based on GSPN to analyze the reliability of the designed system, leading to a way for the application of AADL in avionics sys- tern.