我目前正在开发一种符号执行和测试IEC 61131-3应用程序的方法。 为了评估我的方法，我需要用标准中定义的任何语言编写的非平凡程序。
我可以使用任何可以公开访问的代码库吗？
答案 0 :(得分：3)
OSCAT libraries是用IEC61131-3 afaik编写的最大的开放代码库。它们为不同的用例和不同的plc供应商提供不同的库
此外，Beckhoff Infosys还提供了一些示例程序。几乎每个图书馆都提供样本部分。最大的样本之一是OOP扩展示例（OOP扩展包含在IEC61131-3的新版本中，不确定您是否对它感兴趣）。
另一个例子来源是Codesys Store。他们有一些免费和一些付费的例子。
还有一个我喜欢（但它只用德语）。 M. Seitz一本好的plc编程书的作者提供了一些随附的样本，其中一个更大（咖啡机）。还有一个模拟和控制库。
答案 1 :(得分：0)
Beckhoff的信息系统是一个非常好的示例来源，也可以下载。
您可以在不同的库中找到不同方法的好例子。
一些链接：