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

Specification and verification environment for embedded system over CDM

作　　者：吕钊[1] 赵敏媛[2] 顾君忠[1] 

机构地区：[1]华东师范大学计算机系,上海200062 [2]上海工程技术大学计算机系,上海200065

出　　处：《计算机应用》2005年第2期426-429,共4页journal of Computer Applications

基　　金：上海市科学技术发展基金资助项目(3506)

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

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]