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

• 作者: 吴敏
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 实时系统 模型检验 概率时间自动机 概率时段演算
• 年，卷（期）: 2014,（12）
• 页码范围: 8171-8173
• 页数: 3页
• 分类号: TP311

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴敏		83	830	18.0	26.0