基于时间自动机的AADL端到端流的延迟分析

连小利; 张莉

doi:10.13700/j.bh.1001-5965.2014.0615

基于时间自动机的AADL端到端流的延迟分析

doi: 10.13700/j.bh.1001-5965.2014.0615

连小利,
张莉^,

北京航空航天大学计算机学院, 北京 100191

基金项目: 国家自然科学基金(61170087)

详细信息

作者简介:
连小利(1985-),女,河北邯郸人,博士研究生,lianxiaoli@buaa.edu.cn

通讯作者:
张莉(1968-),四川成都人,教授,lily@buaa.edu.cn,主要研究方向为软件体系结构建模、模型驱动技术、需求工程.

中图分类号: TP301.1;TP302.7;V557⁺.1;V221⁺.92
计量
- 文章访问数: 944
- HTML全文浏览量: 60
- PDF下载量: 635
- 被引次数: 0
出版历程
- 收稿日期: 2014-10-09
- 网络出版日期: 2015-08-20

Approach to analyzing AADL end-to-end flow latency based on timed automata

LIAN Xiaoli,
ZHANG Li^,

School of Computer Science and Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100191, China

摘要

摘要: 对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.
- 体系结构分析与设计语言(AADL) /
- 实时性 /
- 延迟分析 /
- 端到端流 /
- 时间自动机
Abstract: End-to-end flow latency analysis of complex embedded system is an effective way to assess system's real-time performance. Architecture analysis and design language (AADL) is the standard language to specify the architecture of complex embedded system, end-to-end flow of which describes the components' interaction. At present, most manual latency analysis approaches could consider flow's precise semantics. However, the efficiency of this time consuming analysis is low; although automatic methods have better efficiency, the accuracy is not satisfying because of the low coverage of delay-contribution attributes. What's more, both kinds of methods only focus on the typical interactive situations such as the worst-latency analysis. The impact of design elements resulting in uncertainty cannot be analyzed. Thus, one approach to analyzing AADL end-to-end flow latency based on timed automata model was proposed. First, latency-contributed attributes meta-model of flow was constructed to improve the coverage of latency-contributed attributes. Then the transformation from AADL end-to-end flow to timed automata model was studied. Latency analyzing was performed through simulating the timed automata model. Finally, the experiments based on one case study demonstrate that our way can precisely model the transportation semantics and the latency attributes semantics of a flow, illustrating our way's sufficient expressive competence. Additionally, the experiments also show flexible analysis ability of our approach by dealing with the various interactive scenarios and even the random time factors in the transportation of information. Meanwhile, the state transition and the changing on the time factors provide a basis and suggestions for the further improvement of the original AADL model.
- architecture analysis and design language (AADL) /
- real time /
- latency analysis /
- end-to-end flow /
- timed automata

HTML全文

参考文献(19)

[1]	SAE AS5506 Architecture analysis and design language (AADL)[S].Los Angeles,California:SAE International,2004.
[2]	Feiler P H, Gluch D P,Hudak J J.The architecture analysis & design language (AADL):An introduction,CMU/SEI-2006-TN-011[R].Pittsburgh,PA:Software Engineering Institute,2006.
[3]	Berthomieu B, Bodeveix J P,Dal Zilio S,et al.Formal verification of AADL models with Fiacre and Tina[C]//Proceedings of ERTSS 2010-Embedded Real-Time Software and Systems,2010:1-9.
[4]	Feiler P, Hansson F J.Flow latency analysis with the architecture analysis and design language (AADL),CMU/SEI-2007-TN-010[R].Pittsburgh,PA:Software Engineering Institute, 2007.
[5]	Lee S Y, Mallet F,De Simone R.Dealing with AADL end-to-end flow latency with UML MARTE[C]//Proceedings of 13th IEEE International Conference on Engineering of Complex Computer Systems,ICECCS.Piscataway,NJ:IEEE Press,2008:228-233.
[6]	André C, Mallet F,De Simone R.Modeling of immediate vs.delayed data communications:From AADL to UML MARTE[C]//ECSI Forum on specification & Design Language(FDL).Belmont:ECSI,2007:249-254.
[7]	Berthomieu B, Bodeveix J P,Chaudet C,et al.Formal verification of AADL specifications in the topcased environment[C]//30th IFIP WG 6.1 International Conference.Berlin:Springer,2010:47-62.
[8]	Sokolsky O, Chernoguzov A.Performance analysis of AADL models using real-time calculus[C]//Proceedings of the 15th Monterey Conference on Foundations of Computer Software:Future Trends and Techniques for Development.Berlin:Springer,2010:227-249.
[9]	Ölveczky P C, Boronat A,Meseguer J.Formal semantics and analysis of behavioral AADL models in real-time Maude[C]//Proceedings of FMOODS/FORTE.Berlin:Springer,2010:47-62.
[10]	Yang Z B, Hu K,Ma D F,et al.Formal semantics and verification of AADL modes in timed abstract state machine[C]//Proceedings of the 2010 IEEE Conference on Progress in Informatics and Computing(PIC).Piscataway,NJ:IEEE Press,2010:1098-1103.
[11]	Yang C X, Dong Y W,Zhang F.et al.Formal semantics of AADL models with machine-readable CSP[C]//Proceedings of 11th IEEE/ACIS International Conference on Computer and Information Science (ICIS).Piscataway,NJ:IEEE Press,2012:565-571.
[12]	Liu W, Liu S Y.Research on the formalization of AADL model[C]//Proceedings of 2013 International Conference on Computational and Information Sciences.Piscataway,NJ:IEEE Press,2013:72-75.
[13]	Ling D Y, Wang S H,Liu B,et al.Reliability evaluation based on the AADL architecture model[J].Journal of Networks,2014,9(10):2721-2727.
[14]	Pi L, Bodeveix J P,Filali M.Reliable software technologies-Ada-europe[M].Berlin:Springer,2009:192-206.
[15]	Zhu Y F, Dong Y W,Ma C Y,et al.A methodology of model-based testing for AADL flow latency in CPS[C]//Proceedings of 5th International Conference on Secure Software Integration & Reliability Improvement Companion(SSIRI-C).Piscataway,NJ:IEEE Press,2011:99-105.
[16]	Alur R A, Dill D L.A theory of timed automata[J].Theoretical Computer Science,1999,126(2):183-235.
[17]	AADL website[EB/OL].[2014-10-09].
[18]	Qiu X, Zhang L.Specifying redundancy tactics as crosscutting concerns using aspect-oriented modeling[J].Frontiers of Computer Science,2014,8(6):977-995.
[19]	Di Nalate M, Stankovic J A.Dynamic end-to-end guarantees in distributed real time systems[C]//Proceedings Real-Time System Symposium.Piscataway,NJ:IEEE Press,1994:216-227.