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

doi:10.3778/j.issn.1002-8331.2009.13.003

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (13): 8-12.DOI: 10.3778/j.issn.1002-8331.2009.13.003

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

陈付龙¹,樊晓桠²

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

收稿日期:2009-01-08 修回日期:2009-02-23 出版日期:2009-05-01 发布日期:2009-05-01
通讯作者: 陈付龙

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

摘要/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

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

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

[1]	黄逸磊，夏志杰，王诣铭. 强关系型社交媒体平台不实信息传播模型研究[J]. 计算机工程与应用, 2021, 57(9): 126-133.
[2]	刘友林，郑巍，谭莉娟，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证工具综述[J]. 计算机工程与应用, 2021, 57(11): 1-10.
[3]	张悟移，李建国，龚钰雯. 高层住户防抛物、坠物安全意识演化模型[J]. 计算机工程与应用, 2021, 57(1): 254-260.
[4]	陈光，蒋同海，王蒙，唐新余，季文飞. 自定义SWRL知识图谱推理补全插件的实现[J]. 计算机工程与应用, 2021, 57(1): 261-270.
[5]	王琪，闵华松. 双臂机器人的协调控制算法综述[J]. 计算机工程与应用, 2021, 57(1): 1-16.
[6]	吴楚田，陈永乐，陈俊杰. 多协议交叉的HMM协议异常检测算法[J]. 计算机工程与应用, 2020, 56(8): 81-86.
[7]	鲁圆圆，冯浩，李靖. 结合分布度量统计建模的主动轮廓图像分割[J]. 计算机工程与应用, 2020, 56(7): 228-233.
[8]	朱惠娟，王永利，陈琳琳. 面向三维模型轻量化的自私羊群优化算法研究[J]. 计算机工程与应用, 2020, 56(3): 42-48.
[9]	张广翩，计忠平. 基于二维点云图的三维人体建模方法[J]. 计算机工程与应用, 2020, 56(19): 205-215.
[10]	盛华芳. 新冠疫情后大型体育赛事重启评估建模研究[J]. 计算机工程与应用, 2020, 56(17): 33-40.
[11]	汪鑫，高岩，陈逸，邱靖钧. 作战班组层次行为建模[J]. 计算机工程与应用, 2020, 56(12): 250-255.
[12]	赵江，王晓博，郝崇清，刘慧贤，薛文艳，王昭雷. 栅格图特征提取下的路径规划建模与应用[J]. 计算机工程与应用, 2020, 56(10): 254-260.
[13]	陈亮，潘海鹏，吴平，周伟. 脉冲响应模型的闭环子空间辨识方法[J]. 计算机工程与应用, 2019, 55(8): 195-200.
[14]	王华朋，姜囡，刘恩，晁亚东. 法庭语音比对中话者自身变化性建模方法研究[J]. 计算机工程与应用, 2019, 55(8): 110-115.
[15]	周向戈1，2，唐丽玉1，2，彭先敏1，2，陈崇成1，2. 三维园林植被景观构建与虚拟展示[J]. 计算机工程与应用, 2019, 55(7): 234-240.

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

Theories and methods of modeling for embedded system

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics