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

doi:10.3778/j.issn.1002-8331.2009.11.021

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

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

林苗^1,3,戎玫⁴,张广泉^1,2

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 Miao^1,3,RONG Mei⁴,ZHANG Guang-quan^1,2

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

摘要/Abstract

摘要： 在嵌入式实时软件的开发早期，将构件技术应用于对其进行时间需求的形式化分析中，不但有助于保证软件的正确性和可靠性，还能缩短需求分析周期、提高软件生产率。给出了一种基于构件技术、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

林苗^1,3,戎玫⁴,张广泉^1,2. 基于构件的嵌入式实时软件组合时间分析研究[J]. 计算机工程与应用, 2009, 45(11): 69-73.

LIN Miao^1,3,RONG Mei⁴,ZHANG Guang-quan^1,2. Research on component-based compositional timing analysis for embedded real-time software[J]. Computer Engineering and Applications, 2009, 45(11): 69-73.

[1]	郝亚玲，朱欣娟，吴晓军. 面向3D虚拟展示的软件定制化系统研究[J]. 计算机工程与应用, 2021, 57(5): 271-278.
[2]	谢祥，张茜茹，张婧，高新宇. 面向领域建模的信息系统构件识别方法研究[J]. 计算机工程与应用, 2021, 57(12): 105-114.
[3]	张富为，杨秋翔，宋超峰. 基于卷积神经网络的构件分类策略的研究[J]. 计算机工程与应用, 2019, 55(8): 201-207.
[4]	莫礼平，周恺卿. 支持构件复用的方块苗文字库开发方法[J]. 计算机工程与应用, 2018, 54(12): 46-50.
[5]	杨晓京，王思琪. 基于显微机器视觉的微纳米级构件的精密检测[J]. 计算机工程与应用, 2017, 53(5): 227-230.
[6]	刘友生. 基于配额的资源配送节能研究[J]. 计算机工程与应用, 2016, 52(13): 81-88.
[7]	李引1，2，袁峰1，2，吴鸿1，3. 基于软件构件技术的多租户个性化框架[J]. 计算机工程与应用, 2015, 51(9): 22-29.
[8]	曹真，曹旻. 面向测试的构件系统模型及测试用例生成方法[J]. 计算机工程与应用, 2014, 50(22): 59-64.
[9]	袁际军1，黄敏镁2. 基于UML与CCSP的产品配置方法[J]. 计算机工程与应用, 2013, 49(14): 1-9.
[10]	齐玉东1，闫晓斌2，谢晓方1. 基于LISA理论的概念模型相似度计算[J]. 计算机工程与应用, 2012, 48(3): 40-42.
[11]	祁华成1，陆英1，张广泉2. 构件检索维度匹配模型及算法研究[J]. 计算机工程与应用, 2012, 48(25): 88-91.
[12]	常珊珊1，2，3，朱嘉钢1，2，3，邓跃设3. UML元模型图实例自动生成算法[J]. 计算机工程与应用, 2012, 48(20): 91-97.
[13]	隋晓梅1，张昔平1，赵章荣2. 超磁致伸缩智能构件的位移控制系统设计与仿真[J]. 计算机工程与应用, 2012, 48(19): 215-219.
[14]	万烂军1，李长云2. 构件交互行为监测需求管理机制的研究[J]. 计算机工程与应用, 2012, 48(16): 57-62.
[15]	万烂军¹，李长云²，贺宗梅¹. 分布式软件的交互行为监测机制的研究[J]. 计算机工程与应用, 2011, 47(5): 60-64.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics