带数据约束的概率实时系统的验证

张春燕; 孙俊

首页> 中文期刊> 《计算机科学》 >带数据约束的概率实时系统的验证

带数据约束的概率实时系统的验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

带数据约束的概率实时系统是指一种既带有概率时间约束又带有数据变量约束的计算系统。目前将离散数据约束和连续时间约束统一在一个概率模型中的规范及验证研究较少。提出了一种既带有连续数据约束又带有离散数据约束的规范——基于连续时间的概率ZIA规范,并给出了它的时序逻辑。对于CTL和PCTL而言,尽管这些逻辑很强大,但是只能反映时序性质,因此提出一个新的形式化语言CTML来表达度量性质查询,同时保留表达时序性质的能力并给出概率ZIA规范的验证算法。

著录项

来源
《计算机科学》 |2017年第s1期|571-574|共5页
作者
张春燕; 孙俊;
展开▼
作者单位

无锡科技职业学院;

江南大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动机理论;
关键词
数据约束; 概率实时系统; 连续时间; ZIA;

相似文献

中文文献
外文文献
专利

1. 基于带数据约束实时系统的互模拟检测方法 [J] . 李国拯 ,高正 . 计算机技术与发展 . 2016,第001期
2. 带数据约束实时系统的模型检测 [J] . 倪水妹 ,曹子宁 ,李心磊 . 计算机科学 . 2014,第005期
3. 基于SMT求解器的微处理器指令验证数据约束生成技术 [J] . 谭坚 ,罗巧玲 ,王丽一 . 计算机研究与发展 . 2020,第012期
4. GIS数据约束的海岸带SAR图像多尺度分割 [J] . 朱俊杰 ,杜小平 ,范湘涛 . 应用科学学报 . 2013,第001期
5. 内容计费实时系统中一种提供比例时延区分的概率调度算法 [J] . 黄海 ,廖建新 ,朱晓民 . 通信学报 . 2009,第001期
6. 一个实时系统的组件模型及其可信性验证 [C] . 王丹 ,常建生 ,赵晶 . 2010年第四届中国可信计算与信息安全学术会议 . 2010
7. TMSVL语言及其在实时系统验证上的应用 [A] . 崔进 . 2018

带数据约束的概率实时系统的验证

摘要

著录项

相似文献

相关主题

期刊订阅