计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (11): 69-73.DOI: 10.3778/j.issn.1002-8331.2009.11.021

• 研发、设计、测试 • 上一篇    下一篇

基于构件的嵌入式实时软件组合时间分析研究

林 苗1,3,戎 玫4,张广泉1,2   

  1. 1.苏州大学 计算机科学与技术学院,江苏 苏州 215006
    2.重庆师范大学 数学与计算机学院,重庆 400047
    3.闽江学院 数学系,福州 350108
    4.暨南大学 深圳旅游学院,广东 深圳 518053
  • 收稿日期:2008-02-29 修回日期:2008-05-08 出版日期:2009-04-11 发布日期:2009-04-11
  • 通讯作者: 林 苗

Research on component-based compositional timing analysis for embedded real-time software

LIN Miao1,3,RONG Mei4,ZHANG Guang-quan1,2   

  1. 1.School of Computer Science and Technology,Suzhou University,Suzhou,Jiangsu 215006 China
    2.School of Mathematics and Computer Science,Chongqing Normal University,Chongqing 400047,China
    3.Department of Mathematic,Minjiang University,Fuzhou 350108,China
    4.College of Shenzhen Tourism,Jinan University,Shenzhen,Guangdong 518053,China
  • Received:2008-02-29 Revised:2008-05-08 Online:2009-04-11 Published:2009-04-11
  • Contact: LIN Miao

摘要: 在嵌入式实时软件的开发早期,将构件技术应用于对其进行时间需求的形式化分析中,不但有助于保证软件的正确性和可靠性,还能缩短需求分析周期、提高软件生产率。给出了一种基于构件技术、UML和时间ER网技术的组合时间分析方法,对嵌入式实时软件的时间需求进行分析和检测,实践表明该方法可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且其分析结果具有可复用、可扩展的优点。

关键词: 嵌入式实时软件, 构件, 统一建模语言, 时间ER网, 组合时间分析

Abstract: In the early phase of the software development,applying component technology in the formal analysis of the timing requirment can not only assure the correctness of the software but also shorten development cycle and enhance software productivity.The paper proposes a compositional approach based on component technology,UML and Time ER nets to specify and analyze timing constrains of embedded real-time software.The result of the application indicates that the approach can clearly specify and formally analyze timing requirements before performing detailed system design,in addition,the analysis results of components can be reused for developing relevant embedded real-time software.

Key words: embedded real-time software, component, Unified Modeling Language(UML), time ER nets, compositional timing analysis