PLC程序组合测试理论与方法

作者: 肖力田 肖 楠 李孟源

出版社: 清华大学出版社

出版日期: 2022-11-01

电子书 ¥90.35 定价:139.0
  • 收藏

  • 加书架

  • 引用

简介

本书针对控制系统PLC程序的正确性和可信性检测验证问题,介绍了以形式化理论方法综合运用形成组合检测验证体系,从多个层次检测验证PLC程序动态、静态和运行的正确性

编辑推荐

工业控制系统广泛应用于航空航天、国防工程、电力、水利、交通运输、核电站和石油化工等安全攸关行业,是国家安全的重要组成部分。可编程逻辑控制器(Programming Logic Controler,PLC)是一种嵌入式系统和自动控制系统的核心部件,其复杂性及规模也愈加庞大,PLC运行所依赖的PLC程序正确性、可信性保障变得愈加紧迫。国际上,虽经测试的软件由于软件可信性问题所导致的重大灾难、事故和严重损失屡见不鲜,如何保证PLC程序正确性得到可信验证已经成为工业控制领域的重大现实问题。本书旨在总结在PLC程序正确性和可信安全验证方面的研究工作,体系化构建集程序测试、模型检测、定理证明、可信验证和检测优化为一体的组合检测理论与方法,解决PLC程序运行可信性、安全与正确属性检测验证等问题。

更多出版物信息
  • 版权: 清华大学出版社
  • 出版: 2022-11-01
  • 作者:肖力田 肖 楠 李孟源
  • 更新: 2023-06-19
  • 书号:9787302617587
  • 中图:TM571.61
  • 学科:
    工学
    电气工程

作者信息

肖力田 肖 楠 李孟源

肖力田,清华大学计算机科学与技术博士,北京特种工程设计研究院首席专家兼航天发射场建设责任总师、研究员;多个中央与国家专家咨询委员会委员。 作为我国航天测试发射与控制技术领域专家,长期从事航天发射场总体论证、规划、发展战略和试验技术等研究工作,是我国新型航天发射场建设的体系设计者和重要开拓者之一。先后担任项目负责人、总师和第一技术责任人,出色主持完成了一系列国家重大工程研究设计与建设任务;担任指挥部成员和测试发射总体技术专家,遂行保障了200余次重大发射任务,为我国航天发射领域建设跨越式发展做出了卓越贡献。 先后获国家科技进步特等奖1项、二等奖1项,国家勘察设计金奖1项等;军队及省部级科技进步奖等44项(一等奖4项、二等奖10项);发明专利与软件著作权47项,发表学术论文120余篇、著作5部,编制航天发射场类国军标3项。享受国务院政府特殊津贴;荣获中国航天基金会奖、信息化突出贡献人物奖,荣立个人二等功1次;原国防科学技术工业委员会授予“十大标兵”称号与英模等荣誉。

相关图书