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

doi:10.3778/j.issn.1002-8331.2009.11.021

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (11): 69-73.DOI: 10.3778/j.issn.1002-8331.2009.11.021

• 研发、设计、测试 • Previous Articles Next Articles

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

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

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

1.苏州大学计算机科学与技术学院，江苏苏州 215006
2.重庆师范大学数学与计算机学院，重庆 400047
3.闽江学院数学系，福州 350108
4.暨南大学深圳旅游学院，广东深圳 518053

通讯作者: 林苗

Abstract

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

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

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

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

[1]	QIAO Hui, ZHOU Shuisheng. Nolinear Angle 2DPCA and Its Application on Face Recognition [J]. Computer Engineering and Applications, 2021, 57(8): 112-118.
[2]	HAO Yaling, ZHU Xinjuan, WU Xiaojun. Research on Software Customizing System for 3D Virtual Display [J]. Computer Engineering and Applications, 2021, 57(5): 271-278.
[3]	YU Duo, HUANG Yongdong. Hyperspectral Image Classification Based on SPCA and Domain Transform Recursive Filtering [J]. Computer Engineering and Applications, 2021, 57(4): 199-208.
[4]	LI Longlong, HE Dongjian, WANG Meili. Study of Plant Leaf Image Recognition Based on Improved Local Binary Pattern Algorithm [J]. Computer Engineering and Applications, 2021, 57(19): 228-234.
[5]	SHEN Shaoyu, CAI Manchun, LU Tianliang, ZHAO Qi. Intrusion Detection Algorithm based on LFKPCA-DWELM [J]. Computer Engineering and Applications, 2021, 57(17): 130-137.
[6]	ZHOU Aijun, NURBOL, AI Zhuang, XIAO Zhongzheng. Research on WebShell Feature Processing Algorithm Based on Neighborhood Component Analysis [J]. Computer Engineering and Applications, 2021, 57(16): 125-133.
[7]	XIE Xiang, ZHANG Qianru, ZHANG Jing, GAO Xinyu. Research and Application on Information System Component Identification Method Based on Domain Modeling-Oriented [J]. Computer Engineering and Applications, 2021, 57(12): 105-114.
[8]	DU Yuyi, WANG Pengzhang, DUO Huaqiong, DONG Yingda. Enhancement Algorithm of Mongolian Furniture Pattern Based on Quantile in Frequency Domain [J]. Computer Engineering and Applications, 2021, 57(12): 207-210.
[9]	CHEN Lichao, CHAO Xin, CAO Jianfang, PAN Lihu. Application of ResNet with Independent Components in Fine-Grained Vehicle Recognition [J]. Computer Engineering and Applications, 2021, 57(11): 248-253.
[10]	ZHANG Dongmei, Mairidan Wushouer, Gulanbaier Tuerhong. One-Class Classification Method for High-Dimensional Mixed and Unbalanced Credit Score Data [J]. Computer Engineering and Applications, 2021, 57(10): 233-240.
[11]	JIA Yanfei, DU Yanli, ZHAO Liquan. Fast Convergence for Independent Component Analysis with Reference [J]. Computer Engineering and Applications, 2020, 56(7): 255-259.
[12]	LIN Kezheng, ZHANG Yuanming, LI Haotian. Research on HOG Feature Extraction Algorithm Weighted by Information Entropy [J]. Computer Engineering and Applications, 2020, 56(6): 147-152.
[13]	QIU Ningjia, WANG Xiaoxia, WANG Peng, ZHOU Sicheng, WANG Yanchun. Research on Convolutional Neural Network Algorithm Combined with Transfer Learning Model [J]. Computer Engineering and Applications, 2020, 56(5): 43-48.
[14]	WANG Fan, ZHOU Guoqing, ZHANG Rongting, LIU Dequan. FPGA-Oriented Fast Connected Component Labeling Method [J]. Computer Engineering and Applications, 2020, 56(22): 230-235.
[15]	HUANG Guangjun, DENG Yuanlong. Polarizer Visual Defect Detection and Classification Based on Improved LBP and SVM Algorithm [J]. Computer Engineering and Applications, 2020, 56(22): 251-255.

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

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics