IEC61131-3国际标准是第一个工业控制系统的编程指导规范,极大地推动了工业控制系统软件设计的发展。使用工业控制编程平台进行PLC编程时,图形化编程语言一般使用控件的形式表达其图形元素,可见图编程控件对PLC编程是至关重要的。为了增加图编程控件在工程中使用的安全性,需要对控件安全属性的设计进行研究,但目前相关研究较少。因此,为开发更好的、符合IEC61131-3标准的PLC编程平台,本文提出了具有安全属性的PLC图编程控件。本文所做工作为:1)介绍了 IEC61131-3标准和约束PLC工程存储格式的TC6 XML Schema结构,提供了控件设计研究的基本模型依据和属性约束规范;2)针对图编程控件在PLC编程平台中的常用性和重要性,着重研究了控件的安全属性,在对控件自身安全属性和控件对于系统安全属性需求分析之后,提出了控件的四种安全属性:控件数字指纹、控件病毒检测、控件存储、控件监测;3)对控件安全属性进行了形式化定义,并在此基础上给出了具有安全属性的图编程控件模型,即控件设计理论依据;4)依据控件模型,从控件自身安全属性和控件对与系统安全属性两方面对控件安全属性进行了设计。最后通过错误注入方式和编程试验方式分别对控件自身安全属性和控件监测属性进行相关验证,证明了具有安全属性图编程控件设计研究的实用性。