【发布时间】：2017-12-27 13:13:00
【问题描述】：
我目前正在开发一种用于符号执行和测试 IEC 61131-3 应用程序的方法。 为了评估我的方法，我需要使用标准中定义的任何语言编写的重要程序。
我可以使用任何可公开访问的代码库吗？
【问题讨论】：
标签： embedded plc industrial iec61131-3
【发布时间】：2017-12-27 13:13:00
【问题描述】：
OSCAT libraries 是用 IEC61131-3 afaik 编写的最大的开放代码库。它们为不同的用例和不同的 plc 供应商提供不同的库
此外，Beckhoff Infosys 上还有一些示例程序。他们几乎为每个图书馆提供了一个示例部分。最大的示例之一是 OOP 扩展示例（OOP 扩展包含在新版本的 IEC61131-3 中，不知道您是否感兴趣）。
另一个示例来源是Codesys Store。他们有一些免费和一些付费示例。
还有一个我喜欢的（但它只有德语）。 M. Seitz 一本优秀的 plc 编程书的作者提供了一些附带的示例，其中一个更大一些（咖啡机）。还有一个模拟和控制库可用。
【讨论】：
一个很好的示例来源是 Beckhoff 的信息系统，该系统也可供下载。
您可以在不同的库中找到不同方法的良好示例。
一些链接：
- Programming Reference（好来源）
- OOP Sample
- Standard library（包含 IEC 标准函数的库）
【讨论】：