| SMV在开发数字电视硬盘机顶盒中的应用 |
| |
| 引用本文： | 杨莹,王永滨,闫坚,于宁. SMV在开发数字电视硬盘机顶盒中的应用[J]. 系统仿真学报, 2005, 17(Z1): 190-192 |
| |
| 作者姓名： | 杨莹 王永滨 闫坚 于宁 |
| |
| 作者单位： | 中国传媒大学,计算机与软件学院,北京,100024 |
| |
| 摘 要： | 数字电视硬盘机顶盒是一个逻辑复杂软件系统,因此,在逻辑模型设计阶段引入SMV工具分析其有限状态,就会从理论上保证了软件逻辑结构的正确.本文介绍了如何使用SMV方法及其软件对数字电视硬盘机顶盒的系统进行建模和分析,如何验证软件中各个线程的逻辑状态配置的正确和合理性.这种方法对软件开发中的有限状态分析有较大帮助.
|
| 关 键 词： | 机顶盒 数据广播 模型检验 SMV 数据轮 状态机 |
| 文章编号： | 1004-731X(2005)S-190-03 |
| 修稿时间： | 2005-08-16 |
Develop the Digital Hard-disk Using SMV |
| |
| YANG Ying,WANG Yong-bin,YAN Jian,YU Ning. Develop the Digital Hard-disk Using SMV[J]. Journal of System Simulation, 2005, 17(Z1): 190-192 |
| |
| Authors: | YANG Ying WANG Yong-bin YAN Jian YU Ning |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
