摘要： 随着中断控制在嵌入式实时系统中的不断广泛应用,中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言(AADL)的形式化方法为这一问题的解决提供了思路,但AADL自身缺少 有效的元素和 方法来描述和建模中断。为此,提出一种结合AADL与中断控制器的中断控制系统设计方法,并运用GSPN可靠性计算模型对可靠性进行分析,从而为AADL在航电系统中的应用提供了思路。
| [1] Feiler P H,Gluch D P,Hudak J J．The Architecture Analysis & Design Language:An Introduction [R].Carnegie Mellon University,2006 [2] SEI AADL Team．An extensible Open Source AADL Tool Environment(OSATE)[R]．SEI Carnegie Mellon University,2004 [3] Sokolsky O,Lee I,Clarke D．Schedulability analysis of AADL models[C]∥Proc．20th Int．Parallel and Distributed Proceedings Symposium,2006．USA:IEEE,2006:164-172 [4] 刘倩,桂盛霖,李允,等．基于UPPAAL的AADL模型可调度性验证[J]．计算机应用,2009,29(7):1820-1824 [5] 汤小明,苏罗辉,宋科璞．飞行管理系统AADL建模与分析[J]．计算机技术与发展,2010,20(3):191-194 [6] 许凌权,冯金富,左伟,等．基于AADL的武器控制系统性能验证方法[J]．电光与控制,2010,17(6):77-96 [7] 王庚,周兴社,张凡,等．AADL 模型的测试方法研究[J]．计算机科学,2009,36(11):127-130 [8] 贾璐,胡林平,田丹．基于AADL的航空电子系统安全性分析[J]．航空计算技术,2009,39(5):58-61 [9] 谯婷婷,王乐,耶国栋．基于AADL的软件可靠性验证[J]．计算机应用,2012(s2) [10] 李振松,顾斌．基于AADL的中断控制设计方法[J]．微型机与应用,2011,30(10):83-86 [11] 杨志斌,皮磊,胡凯,等．复杂嵌入式实时系统体系结构设计与分析语言:AADL[J]．软件学报,2010,21(5):899-915 [12] 董云卫,王广仁,张凡,等．AADL模型可靠性分析评估工具[J]．软件学报,2011,22(6):1252-1266 |
| No related articles found! |
|
||
首页