|
题名:
|
PLC程序组合检测理论与方法 / 肖力田，肖楠，李孟源著 , |
|
ISBN:
|
978-7-302-61758-7 价格： CNY139.00 |
|
语种:
|
chi |
|
载体形态:
|
15,262页 彩照 24cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2022 |
|
内容提要:
|
本书主要内容包括软件检测验证需求背景和研究现状；阐述了组合检测体系架构、方法学和相关机理：按照IEC61131-3标准，形式化定义PLC程序指令的指称语义及其函数，形成统一语义和约束；分别从代码层、模型层、规约层和运行层组合检测验证PLC程序，提供了PLC程序对应的符号迁移系统的变元集合、谓词和迁移函数，以及定理证明验证技术框架；在计算资源有限的PLC上实现可信计算验证；相关性驱动优化检测流程方法等。 |
|
主题词:
|
PLC技术 程序设计 |
|
中图分类法:
|
TM571.61 版次： 5 |
|
主要责任者:
|
肖力田 著 |
|
主要责任者:
|
肖楠 著 |
|
主要责任者:
|
李孟源 著 |
|
附注:
|
中国航天科技前沿出版工程 |