Büchi自动机模型检测及其安全性分析应用研究_王曦欧阳城添著.pdf

江西理工大学优秀博士论文文库Buchi自动机模型检测及其安全性分析应用研究王骏欧阳城添著Biichi Zidongji Moxing JianceJiqi Anquanxing FenxiYingvong Yanjiu本幻大些出版社图书在版编目(CIP)数据Bchi自动机模型检测及其安全性分析应用研究/王曦，欧阳城添著.-长沙：中南大学出版社，2019.2ISBN978-7-5487-3563-2I.B.王欧.自动检测系统研究V.TP274中国版本图书馆CIP数据核字(2019)第032136号Buchi自动机模型检测及其安全性分析应用研究王曦欧阳城添著口责任编辑刘小沛口责任印制易红卫口出版发行中南大学出版社社址：长沙市麓山南路邮编：410083发行科电话：0731-88876770传真：0731-88710482口印装长沙鸿和印务有限公司口开本71010001/16口印张10口字数199千字口版次2019年2月第1版2019年2月第1次印刷口书号ISBN978-7-5487-3563-2口定价40.00元图书出现印装问题，请与经销商调换内容简介在航空航天、交通运输、核电能源和医疗卫生等安全苛求领域，系统的安全性尤为重要，为了确保系统安全，防止灾难性事故的发生，科技人员提出了诸多理论和方法，其中模型检测以其简洁明了和自动化程度高的优点而引人注目，其算法和应用研究成了学术界和工业界研究的热点话题之一。本书在讲解模型检测基础理论与基本方法的基础上，主要介绍笔者以广义Bci自动机为研究对象，在模型检测算法及其安全性分析应用研究方面所取得的独创性研究成果，主要包括基于启发式NDFS的模型检测算法、基于启发式SCCs的广义Buchi自动机判空检测算法、基于启发式on-the-fly的扩展TGBA模型检测算法、基于场景分析的系统形式化模型生成方法、基于模型检测的系统安全性验证方法、基于故障注入的模型检测分析、铁路车站联锁系统的安全性分析研究。本书可以作为计算机软件与理论、计算机应用、软件工程、自动化控制、信息安全、网络空间安全等专业类研究生课程教材，也可以作为相关领域科技人员的参考用书。