Assembly and time reasoning methods of real-time embedded component model

doi:10.3778/j.issn.1002-8331.2009.25.023

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (25): 74-77.DOI: 10.3778/j.issn.1002-8331.2009.25.023

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

Assembly and time reasoning methods of real-time embedded component model

ZI Tian-wen，LIU Xiao-yan，SHEN Jia-quan

School of Information Engineering and Automation，Kunming University of Science and Technology，Kunming 650051，China

Received:2009-01-09 Revised:2009-02-09 Online:2009-09-01 Published:2009-09-01
Contact: ZI Tian-wen

实时嵌入式构件模型组装方法及时间性推理

字天文，刘晓燕，沈嘉权

昆明理工大学信息工程与自动化学院，昆明 650051

通讯作者: 字天文

Abstract

Abstract: This paper presents a better adaptive software component model and component assembly mechanism，and describes component interface specifications and assembly specifications by using the formal methods.Besides，the methods of time reasoning about components are given.The target is to build a more useful，simpler，and more open component model and to build a more reasonable component assembly and reasoning mechanism for real-time embedded system.

Key words: real-time embedded system, software component model, component interface, assembly, time

摘要： 针对实时嵌入式系统特点，提出一种可行的具有较好普适性的软构件模型及构件组装机制，使用形式化方法描述构件接口规约及组装规约，并给出构件时间性的推理方法，旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。

关键词: 实时嵌入式, 软构件模型, 构件接口, 组装, 时间性

CLC Number:

TP311

ZI Tian-wen，LIU Xiao-yan，SHEN Jia-quan. Assembly and time reasoning methods of real-time embedded component model[J]. Computer Engineering and Applications, 2009, 45(25): 74-77.

字天文，刘晓燕，沈嘉权. 实时嵌入式构件模型组装方法及时间性推理[J]. 计算机工程与应用, 2009, 45(25): 74-77.

[1]	SUN Zeyu, XU Chen, SU Yanchao, LI Chuanfeng, NIE Yalin. CCRP：Cross-Layer-Sensing Clustering Routing Protocol in Fog Computing [J]. Computer Engineering and Applications, 2021, 57(9): 109-117.
[2]	YANG Chunxia, LI Xinxu, WU Jiajun, LIU Tianyu. Hierarchical Network Sentiment Classification Based on Attention Interaction Mechanism [J]. Computer Engineering and Applications, 2021, 57(9): 134-139.
[3]	MOU Qingping, ZHANG Ying, ZHANG Dongbo, WANG Xinjie, YANG Zhiqiao. Research on Visual Tracking Algorithm and Application of Target Loss Discrimination Mechanism [J]. Computer Engineering and Applications, 2021, 57(9): 140-147.
[4]	WANG Bo, SONG Dan, WANG Hongyu. Research on Key Technologies of UAV Autonomous Inspection System [J]. Computer Engineering and Applications, 2021, 57(9): 255-263.
[5]	ZHAO Linsuo, MA Ruiqiang, JIANG Tian, SONG Baoyan,PAN Yishan. Adaptive Early Warning Method for Streaming Big Data Events Based on Two-Stage Regression [J]. Computer Engineering and Applications, 2021, 57(7): 88-94.
[6]	TANG Guozhi, LI Dinggen. Research on Pedestrian Tracking Algorithms with Deep Learning and Space-Time Constraints [J]. Computer Engineering and Applications, 2021, 57(7): 121-129.
[7]	LU Manjiao, ZHANG Wei, XU Tao. Optimal Replenishment Strategy Based on Dynamic Matrix Model [J]. Computer Engineering and Applications, 2021, 57(7): 263-268.
[8]	WANG Chong, HAN Zhenqi, XU Haoyu, ZHU Yongxin, XU Sheng, CHEN Xia. Efficient Crack Detection Algorithm Based on Improved Saliency Map [J]. Computer Engineering and Applications, 2021, 57(6): 219-224.
[9]	LUO Huilan, PENG Shan, CHEN Hongkun. Review on Latest Research Progress of Challenging Problems in Object Detection [J]. Computer Engineering and Applications, 2021, 57(5): 36-46.
[10]	YAO Honggang, MU Nianguo. Prediction of Financial Time Series by EMD-LSTM Model [J]. Computer Engineering and Applications, 2021, 57(5): 239-244.
[11]	CHEN Shiming, LIN Zipeng, GAO Yanli, PEI Huiqin. Heterogeneous Group Consensus Under Adaptive Coupling Weights [J]. Computer Engineering and Applications, 2021, 57(4): 231-235.
[12]	DING Zhihui, QIAO Gangzhu, CHENG Tan, SU Rong. Shapelets Transform Method Based on LSH [J]. Computer Engineering and Applications, 2021, 57(3): 112-119.
[13]	XI Xiaojian. Iterative Learning Control of Industrial Robot with Arbitrary Initial State [J]. Computer Engineering and Applications, 2021, 57(3): 261-265.
[14]	YANG Shanliang, CHANG Zheng. Chinese Implicit Sentiment Analysis Based on Graph Attention Neural Network [J]. Computer Engineering and Applications, 2021, 57(24): 161-167.
[15]	MA Qinglu, TANG Xiaoyao. Vehicle Detection Algorithm Combining Time Domain and Watershed Information [J]. Computer Engineering and Applications, 2021, 57(24): 227-233.

Assembly and time reasoning methods of real-time embedded component model

实时嵌入式构件模型组装方法及时间性推理

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics