基于SCADE和梯形图的可视化联锁逻辑实现方法

建立一套基于高安全性应用开发环境(SCADE)的梯形图模型库,并基于该模型库提出一种基于SCADE和梯形图的可视化联锁逻辑实现方法。该方法一方面可以使软件开发人员在开发联锁逻辑功能时,以绘制梯形图的方式代替既有的编写代码的方式进行图形化开发。工程技术人员和业主可以直接通过梯形图了解软件实现的联锁逻辑功能,减少人为转换的环节。另一方面在程序开发过程中,还可以直接利用成熟的继电电路设计经验指导程序开发,进一步提高系统功能的正确性和安全性。