Hierarchical and functional architecture for control systems

C. Verlinde, E. Georgel, J. Thomesse
{"title":"Hierarchical and functional architecture for control systems","authors":"C. Verlinde, E. Georgel, J. Thomesse","doi":"10.1109/IECON.1989.69677","DOIUrl":null,"url":null,"abstract":"An approach to automated system specification is described. It is shown that the introduction of general concepts, including typical constraints of automated systems (e.g. operating modes, topology, and coordination), helps the designer to understand the user requirements, giving a global view of them. The refinement of this first model, with the use of an elementary notion, allows the designer to organize user functions and information precisely and helps the verification of completeness and consistency. To build up this model, the use of criteria adapted to automated system constraints is the key to a successful and well-suited specification model. The internal specification of an elementary notion in terms of generic functions and information introduces a way of specification validation and generalizes the proposed model, which is then adapted to any type of system.<<ETX>>","PeriodicalId":384081,"journal":{"name":"15th Annual Conference of IEEE Industrial Electronics Society","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"15th Annual Conference of IEEE Industrial Electronics Society","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IECON.1989.69677","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 9

Abstract

An approach to automated system specification is described. It is shown that the introduction of general concepts, including typical constraints of automated systems (e.g. operating modes, topology, and coordination), helps the designer to understand the user requirements, giving a global view of them. The refinement of this first model, with the use of an elementary notion, allows the designer to organize user functions and information precisely and helps the verification of completeness and consistency. To build up this model, the use of criteria adapted to automated system constraints is the key to a successful and well-suited specification model. The internal specification of an elementary notion in terms of generic functions and information introduces a way of specification validation and generalizes the proposed model, which is then adapted to any type of system.<>
描述了一种自动化系统规范的方法。它表明,一般概念的引入,包括自动化系统的典型约束(例如,操作模式,拓扑结构和协调),有助于设计者理解用户需求,给出他们的全局视图。通过使用基本概念对第一个模型进行细化,设计师可以精确地组织用户功能和信息,并有助于验证完整性和一致性。为了建立这个模型,使用适应自动化系统约束的标准是成功的和非常适合的规范模型的关键。基于一般功能和信息的基本概念的内部规范引入了一种规范验证的方法,并推广了所提出的模型,然后将其适应于任何类型的系统
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
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学术文献互助群
群 号:481959085
Book学术官方微信