实时系统状态空间分析的一种算法  

作　　者：杜慧敏[1] 杨红丽[1] 韩俊刚[1] 

机构地区：[1]西安邮电学院计算机系,陕西西安710061

出　　处：《计算机应用》2000年第S1期62-65,共4页journal of Computer Applications

基　　金：自然科学基金!(694730 1 7)

摘　　要：提出了一种生成实时系统可达状态的算法 ,该算法生成一个较小的状态空间 ,但仍然保留了足够的时间信息用于分析。同时给出一个实例来说明算法的有效性 ,并与其它方法进行了比较。

关 键 词：形式化验证 互模拟 实时自动机 区域图 可达图 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]