留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

连小利 张莉

连小利, 张莉. 基于时间自动机的AADL端到端流的延迟分析[J]. 北京航空航天大学学报, 2015, 41(8): 1451-1463. doi: 10.13700/j.bh.1001-5965.2014.0615
引用本文: 连小利, 张莉. 基于时间自动机的AADL端到端流的延迟分析[J]. 北京航空航天大学学报, 2015, 41(8): 1451-1463. doi: 10.13700/j.bh.1001-5965.2014.0615
LIAN Xiaoli, ZHANG Li. Approach to analyzing AADL end-to-end flow latency based on timed automata[J]. Journal of Beijing University of Aeronautics and Astronautics, 2015, 41(8): 1451-1463. doi: 10.13700/j.bh.1001-5965.2014.0615(in Chinese)
Citation: LIAN Xiaoli, ZHANG Li. Approach to analyzing AADL end-to-end flow latency based on timed automata[J]. Journal of Beijing University of Aeronautics and Astronautics, 2015, 41(8): 1451-1463. doi: 10.13700/j.bh.1001-5965.2014.0615(in Chinese)

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

doi: 10.13700/j.bh.1001-5965.2014.0615
基金项目: 国家自然科学基金(61170087)
详细信息
    作者简介:

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

    通讯作者:

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

  • 中图分类号: TP301.1;TP302.7;V557+.1;V221+.92

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

  • 摘要: 对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.

     

  • [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].http://www.aadl.info/aadl/testsite/examplemodel.html.
    [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.
  • 加载中
计量
  • 文章访问数:  769
  • HTML全文浏览量:  37
  • PDF下载量:  624
  • 被引次数: 0
出版历程
  • 收稿日期:  2014-10-09
  • 网络出版日期:  2015-08-20

目录

    /

    返回文章
    返回
    常见问答