概率时段演算的模型检验概述  

作　　者：吴敏[1] 

机构地区：[1]同济大学,上海201804

出　　处：《电脑知识与技术》2014年第12期8171-8173,共3页Computer Knowledge and Technology

摘　　要：在实际工程应用中,越来越多的系统表现出具有概率性等特征。作为对于此类实时系统的建模,概率时间自动机因为其能同时表示概率性、随机性和不确定性而被广泛采用。在对此类带概率性质的实时系统进行描述时,作为时段演算的一种扩展,概率时段演算被用来计算此类系统满足需求的概率。该文主要概述基于概率时间自动机的概率时段演算的模型检验主要步骤及其核心算法,其中模型检验的核心算法通过分别将前两者转换为区域图和概率分支时间逻辑来达成。

关 键 词：实时系统 模型检验 概率时间自动机 概率时段演算 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]