PLCTOOLS：形式化环境设计和仿真可编程控制器，基于IEC FBD和HLTPN分析

网址：http://www.elsevier.nl/locate/entcs/volume72.html10页PLCT工具：图形转换满足PLC设计LucianoBaresi1，MarcoMauri2，andMauroPezz`e31Dipartimento di Elettronica e InformazionePolitecnico di Milanobaresi@elet.polimi.it2Dipartimento di MeccanicaPolitecnico di Milanomarco. polimi.it3Dipartimento di Informatica，Sistemi eComunicazioneUniversit`adegliStudiidiMilanopezze@disco.unimib.it摘要本文介绍了一个用于可编程控制器设计和仿真的形式化环境PLCTOOLS控 制 模型 用 IEC FBD （ 功 能 框 图 ） 指 定 ， 并 通 过 MetaEnv 转 换 为 功 能 等 效 的HLTPN （高级时间Petri 网）进行分析和仿真，并以FBD 块的适当动画形式呈现所获得的结果。FBD的特点是它没有固定的语法元素集;它允许用户添加尽可能多的新块。因此，每次用户想要使用PLCT工具添加新的FBD块时，他们必须提供具体的语法，以将其添加到可用块的库中，但也要提供相关的HLTPN，以允许MetaEnv构建正式表示。1引言PLCTOOLS是一个完整的环境，用于设计和验证软件控制器，也称为可编程逻辑控制器（PLC）1，基于IEC 1131-3 FBD（功能块图）[8]。它结合了SIMULINK [7]和MetaEnv[3]，为控制工程师提供了一个完整而正式的开发环境。它是完整的，因为PLC可以设计和模拟与他们控制的环境它是正式的，因为模型1如今，术语PLC已经超载，它不仅意味着可编程硬件组件，而且还意味着通常部署在专用CPU上的完全软件控制器。出版社：Elsevier Science B. 诉79在CC BY-NC-ND许可下开放访问。