SMV在开发数字电视硬盘机顶盒中的应用

作     者：杨莹 王永滨 闫坚 于宁 YANG Ying;WANG Yong-bin;YAN Jian;YU Ning

作者机构：中国传媒大学计算机与软件学院北京100024 中国传媒大学计算机与软件学院北京100024 中国传媒大学计算机与软件学院北京100024 中国传媒大学计算机与软件学院北京100024 

出 版 物：《系统仿真学报》 (Journal of System Simulation)

年 卷 期：2005年第17卷第z1期

页      码：190-192,203页

摘      要：数字电视硬盘机顶盒是一个逻辑复杂软件系统,因此,在逻辑模型设计阶段引入SMV工具分析其有限状态,就会从理论上保证了软件逻辑结构的正确.本文介绍了如何使用SMV方法及其软件对数字电视硬盘机顶盒的系统进行建模和分析,如何验证软件中各个线程的逻辑状态配置的正确和合理性.这种方法对软件开发中的有限状态分析有较大帮助.

主 题 词：机顶盒 数据广播 模型检验 SMV 数据轮 状态机 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1004-731X.2005.z1.045

馆 藏 号：203117683...