结合组态软件与可编程逻辑器件(PLC)之间的通信实例,介绍了基于工业以太网及OPC技术的iFIX与PLC的通信原理及实现过程,以及相关技术的概念及特点。OPC全称是对象的链接和嵌入技术(OLE) for Process Control,该系统以KEPSe-rverEx作为OP...结合组态软件与可编程逻辑器件(PLC)之间的通信实例,介绍了基于工业以太网及OPC技术的iFIX与PLC的通信原理及实现过程,以及相关技术的概念及特点。OPC全称是对象的链接和嵌入技术(OLE) for Process Control,该系统以KEPSe-rverEx作为OPC服务器,在西门子S7-300系列PLC与iFIX软件(OPC客户端)之间建立通信。工业以太网及OPC技术的应用,提高了通信的速度及系统的扩展性。实际运行表明,基于工业以太网及OPC技术的iFIX与PLC之间通信的稳定性。展开更多
以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成...以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.展开更多
文摘结合组态软件与可编程逻辑器件(PLC)之间的通信实例,介绍了基于工业以太网及OPC技术的iFIX与PLC的通信原理及实现过程,以及相关技术的概念及特点。OPC全称是对象的链接和嵌入技术(OLE) for Process Control,该系统以KEPSe-rverEx作为OPC服务器,在西门子S7-300系列PLC与iFIX软件(OPC客户端)之间建立通信。工业以太网及OPC技术的应用,提高了通信的速度及系统的扩展性。实际运行表明,基于工业以太网及OPC技术的iFIX与PLC之间通信的稳定性。
文摘以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.
