简介
本书针对控制系统PLC程序的正确性和可信性检测验证问题,介绍了以形式化理论方法综合运用形成组合检测验证体系,从多个层次检测验证PLC程序动态、静态和运行的正确性
编辑推荐
工业控制系统广泛应用于航空航天、国防工程、电力、水利、交通运输、核电站和石油化工等安全攸关行业,是国家安全的重要组成部分。可编程逻辑控制器(Programming Logic Controler,PLC)是一种嵌入式系统和自动控制系统的核心部件,其复杂性及规模也愈加庞大,PLC运行所依赖的PLC程序正确性、可信性保障变得愈加紧迫。国际上,虽经测试的软件由于软件可信性问题所导致的重大灾难、事故和严重损失屡见不鲜,如何保证PLC程序正确性得到可信验证已经成为工业控制领域的重大现实问题。本书旨在总结在PLC程序正确性和可信安全验证方面的研究工作,体系化构建集程序测试、模型检测、定理证明、可信验证和检测优化为一体的组合检测理论与方法,解决PLC程序运行可信性、安全与正确属性检测验证等问题。
更多出版物信息
- 版权: 清华大学出版社
- 出版: 2022-11-01
- 更新: 2023-06-19
- 书号:9787302617587
- 中图:TM571.61
- 学科:工学电气工程