一种设计高适应性过程控制系统的方法

Dongfeng Wang, F. Bastani, I. Yen, R. Paul
{"title":"一种设计高适应性过程控制系统的方法","authors":"Dongfeng Wang, F. Bastani, I. Yen, R. Paul","doi":"10.1109/ISORC.2005.10","DOIUrl":null,"url":null,"abstract":"Process-control systems usually deal with changeable environments so that high adaptability of these systems is required. After a process-control system has been implemented and deployed, it is not an easy task to adapt the system to satisfy new requirements. Considering this problem, we propose the use of relational program architectures to design process-control systems for high adaptability. With the relational program architecture, a process-control system is designed to be the composition of several Independently Developable End-user Assessable Logical (IDEAL) components through pre-defined composition patterns. Each IDEAL component is associated with several end-user visible properties and can be solved and validated in its restricted \"view\" of the system, i.e., it can be designed and implemented independently, and can be tested or verified by the end-user independently. In addition, the system level properties (safety, stability, and reliability) can be inferred from the individual IDEAL components mathematically. The relational program architecture can provide not only the ultra-high dependability assurance of a process-control system, but can also make the system highly adaptable. We propose several principles, by which we can accurately determine which components of the system need to be adapted and how to adapt them after the system's requirement has changed. These principles can be evolved to automated tool support.","PeriodicalId":377002,"journal":{"name":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"An approach for designing highly adaptable process-control systems\",\"authors\":\"Dongfeng Wang, F. Bastani, I. Yen, R. Paul\",\"doi\":\"10.1109/ISORC.2005.10\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Process-control systems usually deal with changeable environments so that high adaptability of these systems is required. After a process-control system has been implemented and deployed, it is not an easy task to adapt the system to satisfy new requirements. Considering this problem, we propose the use of relational program architectures to design process-control systems for high adaptability. With the relational program architecture, a process-control system is designed to be the composition of several Independently Developable End-user Assessable Logical (IDEAL) components through pre-defined composition patterns. Each IDEAL component is associated with several end-user visible properties and can be solved and validated in its restricted \\\"view\\\" of the system, i.e., it can be designed and implemented independently, and can be tested or verified by the end-user independently. In addition, the system level properties (safety, stability, and reliability) can be inferred from the individual IDEAL components mathematically. The relational program architecture can provide not only the ultra-high dependability assurance of a process-control system, but can also make the system highly adaptable. We propose several principles, by which we can accurately determine which components of the system need to be adapted and how to adapt them after the system's requirement has changed. These principles can be evolved to automated tool support.\",\"PeriodicalId\":377002,\"journal\":{\"name\":\"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-05-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISORC.2005.10\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISORC.2005.10","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

摘要

过程控制系统通常要处理多变的环境,因此对系统的适应性要求很高。在实施和部署过程控制系统之后,对系统进行调整以满足新的需求并不是一件容易的事情。考虑到这一问题,我们提出使用关系程序体系结构来设计具有高适应性的过程控制系统。使用关系程序体系结构,过程控制系统通过预定义的组合模式被设计成几个独立可开发的最终用户可评估的逻辑组件的组合。每个IDEAL组件都与几个终端用户可见的属性相关联,并且可以在其系统的受限“视图”中解决和验证,也就是说,它可以独立地设计和实现,并且可以由终端用户独立地测试或验证。此外,系统级属性(安全性、稳定性和可靠性)可以从单个IDEAL组件中以数学方式推断出来。关系型程序体系结构不仅可以为过程控制系统提供超高的可靠性保证,而且可以使系统具有很高的适应性。我们提出了几个原则,通过这些原则,我们可以准确地确定系统的哪些组件需要调整,以及在系统需求发生变化后如何调整它们。这些原则可以演化为自动化工具支持。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
An approach for designing highly adaptable process-control systems
Process-control systems usually deal with changeable environments so that high adaptability of these systems is required. After a process-control system has been implemented and deployed, it is not an easy task to adapt the system to satisfy new requirements. Considering this problem, we propose the use of relational program architectures to design process-control systems for high adaptability. With the relational program architecture, a process-control system is designed to be the composition of several Independently Developable End-user Assessable Logical (IDEAL) components through pre-defined composition patterns. Each IDEAL component is associated with several end-user visible properties and can be solved and validated in its restricted "view" of the system, i.e., it can be designed and implemented independently, and can be tested or verified by the end-user independently. In addition, the system level properties (safety, stability, and reliability) can be inferred from the individual IDEAL components mathematically. The relational program architecture can provide not only the ultra-high dependability assurance of a process-control system, but can also make the system highly adaptable. We propose several principles, by which we can accurately determine which components of the system need to be adapted and how to adapt them after the system's requirement has changed. These principles can be evolved to automated tool support.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信