机读格式显示(MARC)
- 000 00911nam0 2200145 450
- 010 __ |a 978-7-302-61758-7 |b 精装 |d CNY139.00
- 200 1_ |a PLC程序组合检测理论与方法 |A PLC cheng xu zu he jian ce li lun yu fang fa |b 专著 |d Theory and method of PLC program combination checking |f 肖力田,肖楠,李孟源著 |z eng
- 210 __ |a 北京 |c 清华大学出版社 |d 2022.11
- 215 __ |a 15,262页 |c 图 |d 25cm
- 300 __ |a 中国航天科技前沿出版工程·中国航天空间信息技术系列
- 330 __ |a 本书主要内容包括了软件检测验证需求背景和研究现状;阐述了组合检测体系架构、方法学和相关机理;按照IEC61131-3标准,形式化定义PLC程序指令的指称语义及其函数,形成统一语义和约束,分别从代码层、模型层、规约层和运行层组合检测验证PLC程序,提供了PLC程序对应的符号迁移系统的变元集合、谓词和迁移函数,以及定理证明验证技术框架;在计算资源有限的PLC上实现可信计算验证;相关性驱动优化检测流程方法等。