我目前正在开发一种用于符号执行和测试 IEC 61131-3 应用程序的方法。为了评估我的方法,我需要使用标准中定义的任何语言编写的重要程序。
我可以为此使用任何可公开访问的代码库吗?
我目前正在开发一种用于符号执行和测试 IEC 61131-3 应用程序的方法。为了评估我的方法,我需要使用标准中定义的任何语言编写的重要程序。
我可以为此使用任何可公开访问的代码库吗?
OSCAT库是用 IEC61131-3 afaik 编写的最大的开放代码库。它们为不同的用例和不同的 plc 供应商提供不同的库
此外, Beckhoff Infosys还提供了一些示例程序。他们几乎为每个图书馆提供了一个示例部分。最大的示例之一是 OOP 扩展示例(OOP 扩展包含在新版本的 IEC61131-3 中,不确定您是否对此感兴趣)。
另一个示例来源是Codesys Store。他们有一些免费的和一些付费的例子。
还有一个我喜欢的(但它只有德语)。M. Seitz是一本优秀的 plc 编程书籍的作者,提供了一些附带的示例,其中一个更大一些(咖啡机)。还有一个模拟和控制库可用。