教授
招生学科专业：
计算机科学与技术 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
网络空间安全 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收博士、硕士研究生】 -- 计算机科学与技术学院
毕业院校：南京航空航天大学
学历：南京航空航天大学
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院/软件学院
联系方式：025-84892400
电子邮箱：
最后更新时间：..
点击次数：
所属单位：计算机科学与技术学院/人工智能学院/软件学院
发表刊物：工程科学与技术
关键字：随机系统;安全性;运行时验证;隐马尔科夫模型;
摘要：随机系统运行时验证中,由于可靠地传感系统运行状态的成本非常高以及一些事件的监控严重影响系统时间相关的行为,因此,复杂随机系统在运行时其状态是难以观测的。为了对该类系统进行运行时验证,提出了状态不可观测的随机系统运行时安全性验证方法。首先,给出了随机系统安全性验证框架,框架使用隐马尔科夫模型建模运行时系统,使用确定性有限自动机规约系统安全属性,使用两者的乘积自动机作为属性验证器。然后,提出了属性验证器的构造算法,该算法消除了从初始状态不可达的状态以及与验证属性无关的组合状态,约简了验证器的规模。最后,基于验证器,提出增量迭代安全性验证算法,该算法接收到一个新的观测值,立即计算已观测到的整个有穷序列的监控结论,不需要保存当前观测值之前的有穷观测序列。实验仿真结果表明该方法能有效性地在线验证状态不可观测的随机系统安全性。
是否译文：否
发表时间：2018-10-23
合写作者：房丙午,李勇,王勇
通讯作者：黄志球
