| 嵌入式系统描述与验证环境的实现 |
| |
| 引用本文： | 程国达,彭澄.嵌入式系统描述与验证环境的实现[J].计算机辅助设计与图形学学报,2004,16(1):109-115. |
| |
| 作者姓名： | 程国达 彭澄 |
| |
| 作者单位： | 1. 南京财经大学信息工程学院,南京,210003
2. 复旦大学计算机与信息技术系,上海,200433 |
| |
| 基金项目： | 国家自然科学基金 (69873 0 10 )，国防预研项目 (4 13 160 2 0 3 )资助 |
| |
| 摘 要： | 首先，用统一建模语言(UML)中的状态图描述系统在整个活动周期中所处的不同的状态，活动图表示状态图中每个进程的功能，对象约束语言(OCL)描述系统中的约束条件；然后，用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码，以完成系统的模拟验证；并介绍了该方法的一个应用实例。
|
| 关 键 词： | 嵌入式系统 统一建模语言 UML 状态图 对象约束语言 OCL 系统描述 系统验证 |
Implementation of Specification and Verification Environment for Embedded System |
| |
| Cheng Guoda,Peng Chenglian.Implementation of Specification and Verification Environment for Embedded System[J].Journal of Computer-Aided Design & Computer Graphics,2004,16(1):109-115. |
| |
| Authors: | Cheng Guoda Peng Chenglian |
| |
| Affiliation: | Cheng Guoda 1) Peng Chenglian 2) 1) |
| |
| Abstract: | Design environment is introduced to specify and verify the functionality and performance of embedded system. First, the state charts diagram of Unified Modeling Language (UML) is used to specify the states of a system in a full active period, and the active diagram is used to depict the functions of every process in one state, the constraint conditions of system are also expressed by Object Constraint Language. Second, in order to execute simulation and verification of a specified system, the UML2SC is developed to convert the system specification of UML into SystemC. Finally, an application example using the above approach is illustrated. |
| |
| Keywords: | embedded systems system specification simulation and verification kernel language |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
