Theories and methods of modeling for embedded system

doi:10.3778/j.issn.1002-8331.2009.13.003

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (13): 8-12.DOI: 10.3778/j.issn.1002-8331.2009.13.003

• 博士论坛 • Previous Articles Next Articles

Theories and methods of modeling for embedded system

CHEN Fu-long¹,FAN Xiao-ya²

1.Department of Computer Science and Technology，Anhui Normal University，Wuhu，Anhui 241000，China
2.School of Computer，Northwestern Polytechnical University，Xi’an 710072，China

Received:2009-01-08 Revised:2009-02-23 Online:2009-05-01 Published:2009-05-01
Contact: CHEN Fu-long

嵌入式系统建模理论与方法

陈付龙¹,樊晓桠²

1.安徽师范大学计算机科学与技术系，安徽芜湖 241000
2.西北工业大学计算机学院，西安 710072

通讯作者: 陈付龙

Abstract

Abstract: It is a new focus to study on modeling for embedded system.Based on modeling，the cycle of design for embedded system will be shorten markedly，and its quality will be improved.Some theories and methods of modeling for embedded system up to date are introduced.These methods are also classified and compared.Their trends are discussed.

Key words: embedded system, modeling, model-based development, formal method

摘要： 嵌入式系统建模是目前一个新的研究热点。利用建模的结果可大大减少系统的设计时间，提高系统的设计质量。介绍了嵌入式系统建模的最新理论和方法，对这些方法进行了分类和比较，探讨了嵌入式系统建模的理论和方法发展趋势。

关键词: 嵌入式系统, 建模, 基于模型的开发, 形式化方法

CHEN Fu-long¹,FAN Xiao-ya². Theories and methods of modeling for embedded system[J]. Computer Engineering and Applications, 2009, 45(13): 8-12.

陈付龙¹,樊晓桠². 嵌入式系统建模理论与方法[J]. 计算机工程与应用, 2009, 45(13): 8-12.

[1]	HUANG Yilei, XIA Zhijie, WANG Yiming. Research on False Information Dissemination Model of Strong-Ties Social Media [J]. Computer Engineering and Applications, 2021, 57(9): 126-133.
[2]	LI Jian, ZHANG Dawei, JIANG Xiaoming, XIANG Liyun. Review on Parallelized Flood Inundation Models [J]. Computer Engineering and Applications, 2021, 57(13): 1-7.
[3]	LIU Youlin, ZHENG Wei, TAN Lijuan, FAN Xin, YANG Fengyu. Summary of Airborne Software Testing and Verification Tools for Airworthiness Standards [J]. Computer Engineering and Applications, 2021, 57(11): 1-10.
[4]	ZHANG Wuyi, LI Jianguo, GONG Yuwen. Safety Awareness Evolution Model of High-Altitude Parabolic and Falling Objects Prevention [J]. Computer Engineering and Applications, 2021, 57(1): 254-260.
[5]	CHEN Guang, JIANG Tonghai, WANG Meng, TANG Xinyu, JI Wenfei. Custom SWRL Knowledge Graph Completion Reasoning Built-ins Implementation Method [J]. Computer Engineering and Applications, 2021, 57(1): 261-270.
[6]	WANG Qi, MIN Huasong. Review of Coordinated Control Algorithms for Dual-Arm Robots [J]. Computer Engineering and Applications, 2021, 57(1): 1-16.
[7]	WU Chutian, CHEN Yongle, CHEN Junjie. Cross-Protocol Anomaly Detection Algorithm Based on HMM [J]. Computer Engineering and Applications, 2020, 56(8): 81-86.
[8]	LU Yuanyuan, FENG Hao, LI Jing. Active Contour Image Segmentation Combined with Statistical Modeling of Distribution Metrics [J]. Computer Engineering and Applications, 2020, 56(7): 228-233.
[9]	ZHU Huijuan, WANG Yongli, CHEN Linlin. Research on Selfish Herd Optimization Algorithm for 3D Model Lightweight [J]. Computer Engineering and Applications, 2020, 56(3): 42-48.
[10]	ZHANG Guangpian, JI Zhongping. Method of 3D Human Body Modeling Based on 2D Point Cloud Image [J]. Computer Engineering and Applications, 2020, 56(19): 205-215.
[11]	WANG Fan, LI Tiejun, LIU Jinyue, ZHAO Haiwen. Research on Autonomous Path Planning and Obstacle Avoidance of Building Robot Based on BIM [J]. Computer Engineering and Applications, 2020, 56(17): 224-230.
[12]	SHENG Huafang. Modeling Evaluation on Restart of Large Sports Events After COVID-19 [J]. Computer Engineering and Applications, 2020, 56(17): 33-40.
[13]	WANG Xin, GAO Yan, CHEN Yi, QIU Jingjun. Combat Team’s Hierarchical Behavior Modeling [J]. Computer Engineering and Applications, 2020, 56(12): 250-255.
[14]	ZHAO Jiang, WANG Xiaobo, HAO Chongqing, LIU Huixian, XUE Wenyan, WANG Zhaolei. Path Planning Modeling and Application Based on Feature Extraction of Grid Graph [J]. Computer Engineering and Applications, 2020, 56(10): 254-260.
[15]	CHEN Liang, PAN Haipeng, WU Ping, ZHOU Wei. Closed Loop Subspace Identification Method of Impulse Response Model [J]. Computer Engineering and Applications, 2019, 55(8): 195-200.

Theories and methods of modeling for embedded system

嵌入式系统建模理论与方法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics