机构名称：
¥ 36.0
自动化是工程领域，涉及开发无需人工干预的工业流程、铁路、机械或飞机等操作系统的控制系统。在大多数情况下，这些控制系统的故障会造成经济损失、环境损害或人员伤亡。因此，提供安全、可靠和强大的控制系统是控制工程师的首要目标。理想情况下，控制工程师应该能够保证软件和硬件都满足设计要求。这是一个巨大的挑战，过去几十年来，工业界和学术界一直在努力应对并取得进展。本论文重点介绍一种操作工业流程的特定类型的控制系统，即基于 PLC（可编程逻辑控制器）的控制系统。此外，它还针对这些系统的主要挑战之一，即保证 PLC 程序符合其规范。传统上，在工业中，PLC 程序是使用测试技术检查的。测试包括检查实际系统的要求。虽然这些测试技术在不同类型的系统中取得了良好的效果，但它们也存在一些众所周知的缺点，例如难以检查安全性和活性特性（例如，确保永远不会发生禁止的输出值组合）。本文提出了一种检查 PLC 程序的替代方法。一种基于
将自动形式验证引入 PLC 程序...
主要关键词
相关文件推荐
