基于CDM的嵌入式系统描述与模拟验证环境

doi:10.3724/SP.J.1087.2005.0426

计算机应用 ›› 2005, Vol. 25 ›› Issue (02): 426-429.DOI: 10.3724/SP.J.1087.2005.0426

基于CDM的嵌入式系统描述与模拟验证环境

吕钊¹，赵敏媛，顾君忠¹

1.华东师范大学计算机系； 2.上海工程技术大学计算机系

出版日期:2005-02-01 发布日期:2005-02-01
基金资助:
上海市科学技术发展基金资助项目(3506)

Specification and verification environment for embedded system over CDM

LU Zhao¹, ZHAO Min-yuan², GU Jun-zhong¹

1. Department of Computer Science, East China Normal University, Shanghai 200062, China; 2. Department of Computer Science, Shanghai University of Engineering Science, Shanghai 200065, China

Online:2005-02-01 Published:2005-02-01

摘要/Abstract

摘要： 从嵌入式系统的设计需求出发,提出采用CDM构造嵌入式系统的描述模型,然后根据相关规则将需求文档转换为CDM描述模型、把CDM描述模型转换成SystemC代码,以完成嵌入式系统的模拟验证的方法和实验环境。最后介绍了该方法的一个应用实例。

关键词: 嵌入式系统, 系统描述, CDM模型, 模拟验证

Abstract: This paper illustrated a new approach and environment to describe and simulate the embedded system. Firstly, auther constructed the CDM models to describe the design requirements of the specified system. Secondly, in order to get the aim of verification of a specified system, according to the converting rules, the approach automatic converted the requirements documents to the CDM models and SystemC codes to simulate a specified system. Finally, an application example using the above approach was illustrated.

Key words: embedded system, hardware/software co-design, CDM, SystemC

中图分类号:

TP302

吕钊，赵敏媛，顾君忠. 基于CDM的嵌入式系统描述与模拟验证环境[J]. 计算机应用, 2005, 25(02): 426-429.

LU Zhao, ZHAO Min-yuan, GU Jun-zhong. Specification and verification environment for embedded system over CDM[J]. Journal of Computer Applications, 2005, 25(02): 426-429.

[1]	李卓, 徐哲, 陈昕, 李淑琴. 基于KLT和HEVC的嵌入式高光谱图像实时压缩[J]. 计算机应用, 2018, 38(8): 2393-2397.
[2]	苏雷皓, 朱明华. 基于过程现场总线技术的振动检测系统[J]. 计算机应用, 2018, 38(7): 2113-2118.
[3]	陈泽玮, 杨茂林, 雷航, 廖勇, 谢玮. SET-MRTS：一种多处理器实时系统可调度性实验平台[J]. 计算机应用, 2017, 37(5): 1270-1275.
[4]	赵树言, 路艳雪, 韩晓霞. 基于最近邻域像素梯度的视频背景快速提取[J]. 计算机应用, 2016, 36(8): 2322-2326.
[5]	郭荣佐, 樊相奎, 崔冬霞, 黎明. 嵌入式系统硬件可靠性Copula方法建模与分析[J]. 计算机应用, 2015, 35(2): 550-554.
[6]	张毅刘钰然罗元. 基于视觉的手势识别方法及其在数字信号处理器上的实现[J]. 计算机应用, 2014, 34(3): 833-836.
[7]	霍元宏刘毅计卫星. 基于结构分析的高级语言控制结构恢复方法[J]. 计算机应用, 2013, 33(12): 3428-3431.
[8]	甘岚林华清. 嵌入式下松弛迭代细胞分割算法的改进与应用[J]. 计算机应用, 2013, 33(09): 2690-2693.
[9]	唐成戬雷航郭文生. 嵌入式浏览器软硬件混合渲染层的研究与设计[J]. 计算机应用, 2013, 33(05): 1456-1458.
[10]	王柳滨魏国珩李政. 嵌入式系统缓冲区溢出攻击防范技术研究[J]. 计算机应用, 2012, 32(12): 3449-3452.
[11]	邓霏陈建政李文宝. 便携式列车广义舒适度检测系统设计[J]. 计算机应用, 2012, 32(11): 3225-3231.
[12]	高振华杨帆陈闻杰柴志雷. CPS处理器中的时间指令扩展研究及实现[J]. 计算机应用, 2012, 32(06): 1730-1733.
[13]	郭荣佐黄君王霖. 基于Markov链的嵌入式系统硬件可靠性研究[J]. 计算机应用, 2012, 32(04): 1152-1156.
[14]	郭荣佐黄君王霖. 基于π网的嵌入式系统软硬件划分方法[J]. 计算机应用, 2012, 32(03): 855-860.
[15]	刘丽古幼鹏唐德波. 对用户交互响应进行加速的即时编译技术[J]. 计算机应用, 2012, 32(03): 823-826.

基于CDM的嵌入式系统描述与模拟验证环境

Specification and verification environment for embedded system over CDM

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics