节点文献

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

Specification and verification environment for embedded system over CDM

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 吕钊赵敏媛顾君忠

【Author】 LU Zhao~1, ZHAO Min-yuan~2, GU Jun-zhong~1(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)

【机构】 华东师范大学计算机系上海工程技术大学计算机系华东师范大学计算机系 上海200062上海200065上海200062

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

【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.

【基金】 上海市科学技术发展基金资助项目(3506)
  • 【文献出处】 计算机应用 ,Computer Applications , 编辑部邮箱 ,2005年02期
  • 【分类号】TP302
  • 【被引频次】5
  • 【下载频次】72
节点文献中: 

本文链接的文献网络图示:

本文的引文网络