嵌入式系统描述与验证环境的实现

• 作者: 彭澄 程国达
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 嵌入式系统 系统描述 模拟验证 核语言
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 电子设计自动化
• 页码范围: 109-115
• 页数: 7页
• 分类号: TP391
• 字数: 6724字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2004.01.019

摘要

首先,用统一建模语言(UML)中的状态图描述系统在整个活动周期中所处的不同的状态,活动图表示状态图中每个进程的功能,对象约束语言(OCL)描述系统中的约束条件;然后,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码,以完成系统的模拟验证;并介绍了该方法的一个应用实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程国达	南京财经大学信息工程学院	8	54	4.0	7.0
2	彭澄	复旦大学计算机与信息技术系	1	21	1.0	1.0