模拟流程图组态软件动态部件显示开发

模拟流程图功能是核电DCS控制系统的重要组成部分,而流程图的组态则是该功能实现的基础。模拟流程图组态由静态元素和动态元素图元组成,针对模拟流程图中动态元素的实现进行分析讨论,设计模板实现动态元素图元的动态显示,并采用C语言脚本设计实现动态元素图元的显示更新和事件操作响应。最后验证模拟流程图组态软件完成的流程图在核电DCS系统二层人机显示软件运行稳定。     

一种集成监控组态功能的软PLC的设计

集成控制策略组态和监控组态功能的新型软PLC必然是工控组态软件的发展趋势。本文在分析现有工控组态软件的基础上．提出了新型软PLC的体系结构设计和实现流程，论述了控制策略组态软件模块与监控画面组态软件模块的功能结构以及控制策略组态和监控画面组态之间的数据连接模型。基于这个数据连接模型和功能结构，开发了基于软PLC体系的兼具控制策略组态功能和监控画面组态功能的工控组态软件。     

工业组态软件基本图形库的实现

组态软件可以根据工业生产现场的具体描述直接生成面向特定工业生产对象的过程监控系统.介绍了一种基于Visual C 作为开发工具和矢量制图的方式,设计和实现了组态软件中基本简单图元模块的开发,包括图元的绘制、拖动、对齐、等大、撤消恢复,通过右键弹出菜单设置图元的具体属性.     

自动生成测试用例的方法设计及实现

为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,目前很多方法都是针对有限状态机自动生成测试用例进行介绍,而在本文中根据扩展有限状态机对象状态迁移的特点,利用扩展有限状态机模型,提出了扩展有限状态机自动生成测试用例的测试方法,并应用于自动售货机Coinbox类软件测试中。     

基于SysML的机载软件分层精化建模与验证方法

机载软件被广泛应用于航空航天领域, 大幅提升了机载设备的性能.但随着机载软件规模逐渐增大、功能逐渐增多, 给软件的开发带来了难度, 如何保障机载软件的正确性和安全性也成为一个难题.基于模型的开发可以有效提升开发效率, 而形式化方法能够有效保障软件的正确性.为了降低开发难度, 同时保障机载软件的正确性、安全性, 本文提出一种基于SysML状态机图子集的机载软件分层精化建模与验证方法.首先使用SysML状态机图对机载软件的动态行为进行建模, 根据提出的精化规则, 对初始模型进行手动逐层精化得到精化设计模型.然后针对软件模型动态变化的特性, 将SysML状态机模型自动转换为时间自动机网络, 并从软件需求中手动提取形式化TCTL性质进行模型检验.其次, 为了实现编码自动化, 将SysML模型自动转换至Simulink, 利用Simulink Coder生成源代码.最后, 以一个自动飞行控制软件为例进行了开发和验证, 实验结果表明了该方法的有效性.     

多点温度监测系统与组态软件的数据通信

为了实现多点温度监测系统功能,针对智能仪表与监控界面的设计,需要实现单片机系统与组态软件的数据通信。采用单片机设计了菜单显示画面,描述了多点温度监测系统构成和测温程序设计思想,以及力控组态软件读数据命令格式和写数据命令格式。阐述了单片机和力控组态软件通信的原理、实现方法及设备组态与数据组态方法,力控与单片机通信协议的制定,描述了单片机和力控组态软件数据通信流程图。通过力控I/O设备监视器,概述了单片机与力控组态软件之间数据传输的全过程。     

有限状态机在触摸屏驱动程序开发中的应用

有限状态机作为计算机理论的基石,为嵌入式软件设计提供了较好的设计方法.简述了有限状态机的原理和触摸屏系统的工作原理,通过对触摸屏驱动过程的细致分析,建立触摸屏状态机的模型.针对其状态机模型.选择适合的软件实现方法,并给出部分实现代码.     

Honeywell R—150模块自动化系统和它的应用软件设计

本文介绍了Ｒ－１５０模块自动化系统的结构和基于它的工业控制组态软件的应用软件设计方法。这种组态软件应用于Ｗｉｎｄｏｗｓ环境,可编辑任意流程图并实现动态显示与动态数据交换（ＤＤＥ）,可进行各种控制算法组态,生成的应用软件可下装到控制器中,它具有功能强大,组态灵活与使用方便等特点。     

基于Linux的嵌入式组态软件中控制策略的设计与实现

基于Linux的嵌入式组态软件是嵌入式系统在工控领域中发展的要求。简要的阐述了组态软件中的控制策略,重点介绍了组态软件控制策略模块在开发环境和运行环境中的设计和实现,并给出了一种方便用户使用和扩充PID算法的函数调用接口。控制策略在组态软件中的实现使得用户对工业过程的控制和管理更加精确和方便。     

WorldFIP总线控制系统组态软件的开发

为了让WorldFIP用户对总线控制系统的网络配置与控制策略的组态更加方便快捷,本文开发了这种图形化的组态软件.在对总线协议和系统特点分析之后,本文采用了基于COM组件技术的三层客户/服务器结构对组态软件进行了整体设计.组态软件的中间件FipServer采用COM技术来设计和实现,文中给出了FipServer中的几个关键的接口函数.本文为功能块应用进程组态设计了良好图形界面,给出了主要类的UML静态类图.实验表明,该软件运行效果良好,并在开放性、连通性、稳定性上具有良好的性能.