收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

PLC软件构件化建模方法研究

王瑞  
【摘要】:嵌入式系统在关系国计民生的众多行业中应用广泛。确保嵌入式系统正确可靠对经济发展、人身安全和社会稳定有着重要影响,是当今计算机和控制领域的重要研究课题。形式化方法是确保系统正确性和可靠性的重要手段。然而,形式化方法以数学理论为基础,对用户有较高要求,限制了形式化方法在工业界的应用。 本文以PLC软件为研究对象,针对其固有特性和现实问题,分别从语言层、检查层和实现层三个方面研究了构件化建模方法。论文主要工作包括: 1.语言层,开发了领域建模语言PLC-BIP。PLC-BIP以形式化语言BIP为基础,在领域知识表达和模型语义标注两方面分别进行了扩展。实现了PLC周期工作方式、定时器、函数调用和中断调度机制等特征的建模,方便用户建立系统级模型。给出了自顶向下的嵌入式系统一般分解原则和自底向上的构件与系统映射关系。定义IL指令的操作语义,并给出基于转换的方法为已有代码建立形式化模型。 2.检查层,针对构件化建模过程中可能违反领域潜在约束的问题,提出一种基于领域语义的静态检查框架。给出了领域约束的形式化表达,将领域约束是否满足的问题转化为领域概念格上的约束求解问题。可在建模过程中自动检查模型相对于领域约束的满足情况,尽早发现建模错误。 3.实现层,提出基于形式化模型自动生成PLC代码的方法。该方法综合考虑了实现平台的硬件特征以及时间和资源约束,确保生成代码可运行。实现了PLC代码自动生成算法并结合双门控制案例展示了自动生成PLC代码的步骤。 4.实现了构件化建模工具原型系统。它提供图形化的模型编辑界面;提供PLC装置控制领域构件类型和操作算子;实现了模型语法检查和一致性检查;支持模型的语义标注以及领域约束的实时检查。给出了该方法在无锡灵山梵宫门仓控制系统上的典型应用。案例通过PLC-BIP语言提供的领域操作算子和构件类型,建立了系统模型,体现了建模方法的易用性。在建模过程中,工具自动检查模型是否满足领域约束。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 代保华,欧阳萱;PLC 在定位控制系统中的应用[J];武汉交通科技大学学报;1998年03期
2 陈学;变频调速恒压供水系统的设计[J];电脑与信息技术;1998年04期
3 龙晓波;如何提高单片机PLC的抗干扰性能[J];电子与自动化;1998年02期
4 陈敏健;加速PLC开发应用 提高建陶行业自动化水平[J];中国建材科技;1998年02期
5 谭定忠,张立勋,王立权,孟庆鑫;PLC 在船舶柴油机主机遥控系统中的应用[J];机械与电子;1998年02期
6 刘洲峰,赵立银,杜俊俐;乳化沥青生产线自动控制系统的研制[J];郑州纺织工学院学报;1998年03期
7 林来信;二套催化1~#主风机自控系统问题分析及改进[J];化工自动化及仪表;1999年04期
8 何伟怡;西门子SIMATIC S5可编程控制器实现FSSS的工作特点及存在问题[J];山西电力技术;1999年04期
9 张高煜;基于个人PC机的PLC计算机辅助设计及仿真系统的研究[J];湖北汽车工业学院学报;1999年02期
10 谢云敏;PLC在水电厂快速闸门控制中的应用[J];南昌水专学报;1999年02期
11 王兴立;承钢连轧生产线的电气自动化系统改造[J];中国设备工程;1999年02期
12 穆效江;PLC在多功能护理床控制系统中的应用[J];潍坊高等专科学校学报;1999年02期
13 姚灵 ,姚静 ,于喜麟;计算机2000年问题[J];辽宁省交通高等专科学校学报;1999年03期
14 蒋方炎;PLC在工业集散控制系统中的应用[J];电子计算机与外部设备;2000年03期
15 赵金宪,王秀琴;PVC配混自动控制系统的研究[J];黑龙江矿业学院学报;2000年04期
16 蒋方炎,徐海明;PLC在工业集散控制系统中的应用[J];机电工程;2000年03期
17 孙宗文;PLC编程中计时器的使用技巧[J];石油化工自动化;2000年05期
18 张鲁国;PLC在机械手控制系统中的应用[J];微计算机信息;2000年01期
19 卢建华;使用WinCC实现过程监控[J];武汉科技大学学报(自然科学版);2000年01期
20 林琼斌,杨富文;西门子PLC在油料定量灌装控制中的应用[J];厦门大学学报(自然科学版);2001年S1期
中国重要会议论文全文数据库 前10条
1 卢小辉;童伟;;基于PLC控制气动实验台的设计[A];2010年西南三省一市自动化与仪器仪表学术年会论文集[C];2010年
2 马秀坤;史运涛;王捷;郑勇;杨立永;;PLC实践教学在应用型人才培养中的探索与创新[A];北京高教学会实验室工作研究会2010年学术研讨会论文集(上册)[C];2010年
3 邹六省;王占儒;刘绪洪;;变频器对PLC干扰常见故障的分析与处理[A];水泥工业节电和变频技术研讨会论文集[C];2011年
4 张小宾;;基于PLC的多机驱动带式输送机控制系统的硬件设计[A];河南省金属学会2010年学术年会论文集[C];2010年
5 王永杰;李彦勇;陈淑媛;陈启卫;刘波;;PLC及其在应急发电机组中的应用[A];2009年度海洋工程学术会议论文集(下册)[C];2009年
6 谢文明;;烧结运料PLC控制系统改造[A];中国计量协会冶金分会2011年会论文集[C];2011年
7 周杰;王振;;基于PLC的面向对象编程在焦输送系统控制中的应用[A];全国冶金自动化信息网2012年年会论文集[C];2012年
8 吴亮;韩端阳;王忠华;祖孝奎;方晓达;;西门子OLM在PLC远程通信中的应用[A];2011年河北省冶金信息化自动化年会论文集[C];2011年
9 杜碧华;余愚;;基于PLC的往复式抓棉机控制设计[A];“技术提升产业 创新成就未来”——2006“苏拉杯”全国现代纺纱技术研讨会论文集[C];2006年
10 张跃华;吴迎春;;ABB DCS系统与LG PLC通信[A];中国计量协会冶金分会2010年会论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 王瑞;PLC软件构件化建模方法研究[D];清华大学;2012年
2 肖江;单板层积材弹性模量在线检测系统研究[D];北京林业大学;2008年
3 余玫;Bc110和PLCγ1在B细胞发育和功能中的作用[D];南京大学;2011年
4 宋晓峰;高精度卷绕真空镀膜设备张力控制技术研究[D];上海大学;2007年
5 王东林;中密度纤维板热压智能控制系统的研究[D];北京林业大学;2008年
6 胡天翔;智能对靶喷雾机软件系统设计与集成研究[D];南京林业大学;2009年
7 董国日;序批式活性污泥工艺(SBR)自动化控制及工艺性能研究[D];中南大学;2007年
8 卢雷;基于OOCPN的软件可执行模型建模方法的研究[D];山东大学;2011年
9 王静;大流量液压源恒温恒压控制及油液弹性模量研究[D];浙江大学;2009年
10 安宝林;高频射弹撞击系统设计与试验研究[D];南京理工大学;2010年
中国硕士学位论文全文数据库 前10条
1 李子昀;基于PLC的自动生产线实验平台的研究[D];中南大学;2010年
2 徐永兴;矿渣粉磨生产线PLC控制系统研究与设计[D];江西理工大学;2010年
3 刘其亮;基于PLC窑炉模糊控制系统的研究与设计[D];山东理工大学;2010年
4 杨磊;基于PLC的柔性自动化生产线系统研究与设计[D];曲阜师范大学;2010年
5 公维强;基于PLC的高温灭菌隧道风压与温度控制研究[D];东北林业大学;2010年
6 王艳美;变频器和PLC在传送带多种速度控制中的应用[D];苏州大学;2010年
7 亓英莲;基于西门子PLC的网络化控制实验装置设计[D];北方工业大学;2011年
8 周建香;基于ARM的嵌入式软PLC运行系统设计[D];华南理工大学;2010年
9 臧华东;基于PLC和CC-LINK现场总线的MPS的研制[D];苏州大学;2010年
10 王艳春;基于PLC的变频器调速系统设计[D];东北石油大学;2010年
中国重要报纸全文数据库 前10条
1 四川 张星;如何选购、选型恰当的PLC[N];电子报;2009年
2 四川 熊波;PLC程序快速转换成单片机语言初探[N];电子报;2009年
3 记者 王再雄;科威:黄石PLC“叫板”进口品牌[N];黄石日报;2011年
4 广州 杨光电;PLC程序的模块化设计[N];电子报;2009年
5 王宝剑 岳文峰;小型PLC在水泥厂现场防干扰的措施[N];中国建材报;2010年
6 赵毅锋;浅析PLC在热泵技术领域的应用[N];中国建设报;2009年
7 广西 麦少迪;PLC电源模块的维修[N];电子报;2009年
8 成都 张奉节;西门子S7-200PLC的RS485通信口易损坏的原因和解决办法[N];电子报;2009年
9 王雯;SIEMA PLC在气流纺纱上的应用[N];中国纺织报;2009年
10 四川 曾慧;三菱PLC编程软件GX Deve Loper 应用(下)[N];电子报;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978