发布求助
文献互助 智能选刊 最新文献

Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97最新文献

筛选
英文 中文
Integration of Time Petri Nets and TE-LOTOS in the design and evaluation of factory communication systems 时间Petri网与TE-LOTOS在工厂通讯系统设计与评估中的整合
Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI: 10.1109/WFCS.1997.634358
L. Durante, R. Sisto, A. Valenzano
{"title":"Integration of Time Petri Nets and TE-LOTOS in the design and evaluation of factory communication systems","authors":"L. Durante, R. Sisto, A. Valenzano","doi":"10.1109/WFCS.1997.634358","DOIUrl":"https://doi.org/10.1109/WFCS.1997.634358","url":null,"abstract":"Time Petri Nets (TPN) and TE-LOTOS are timed extensions of two commonly used specification formalisms, that can be used in the design of real time concurrent and distributed systems. The paper reviews the differences between the two extended formal description techniques (FDTs), and shows how they can be used jointly in the design and evaluation of real time communication systems such as those used in the factory environments. The joint use of the two formalisms that are considered, is supported by a mapping from Time Petri Nets to TE-LOTOS specifications which enables both embedding building blocks specified as TPNs into TE-LOTOS specifications, and applying the verification techniques and tools based on the algebraic structure of TE-LOTOS to TPNs. The mapping and the methodology are illustrated through an example: a PROFIBUS like system composed of three master stations is modelled by exploiting the features of both FDTs, thus obtaining a hybrid model which is then converted to a TE-LOTOS model of the whole system.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116916575","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
TOGO-generating communication protocol implementations from formal specifications 从正式规范生成通信协议实现
Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI: 10.1109/WFCS.1997.634311
F. Naumann, R. Simon, T. Szczepanski, A. Ulrich
{"title":"TOGO-generating communication protocol implementations from formal specifications","authors":"F. Naumann, R. Simon, T. Szczepanski, A. Ulrich","doi":"10.1109/WFCS.1997.634311","DOIUrl":"https://doi.org/10.1109/WFCS.1997.634311","url":null,"abstract":"Formal specification techniques (FDTs) are a very important means for system design. The main drawback of such specifications however is the gap between the design of the specification and the development of the implementation. Our aim was to close this gap by providing a tool which transforms a specification written in the FDT LOTOS automatically into an implementation. To ensure a maximum of safety, the transformations must be correct. For our purposes we chose OCCAM as our target language. Because of its closeness to LOTOS we were able to derive a set of provable rules for the implementation generation, which formed the basis of the development of the TOPO compiler. The paper presents a concise overview of the transformation rules as well as the resulting compiler. The more sophisticated rules are discussed in a comprehensive way. The generation of an OCCAM implementation of the branch PROFIBUS of the European fieldbus standard from a formal LOTOS specification, demonstrates the fitness of our solution.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120947399","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Modelling and analysis of the ARINC specification 629 CP MAC layer protocol ARINC规范629 CP MAC层协议的建模与分析
Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI: 10.1109/WFCS.1997.634288
L. Gallon, G. Juanole, I. Blum
{"title":"Modelling and analysis of the ARINC specification 629 CP MAC layer protocol","authors":"L. Gallon, G. Juanole, I. Blum","doi":"10.1109/WFCS.1997.634288","DOIUrl":"https://doi.org/10.1109/WFCS.1997.634288","url":null,"abstract":"The main concepts and the architecture of the 629 CP ARINC protocol are presented. The emphasis is put on the transmitter scheduler with its two main parts: the timers and the transmitter control. The protocol (which includes a lot of time constraints) is modelled with stochastic timed Petri nets. Its real time and fault tolerance properties are demonstrated.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130868376","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Interconnecting field-buses through ATM 通过ATM互连现场总线
Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI: 10.1109/WFCS.1997.634302
O. Kunert
{"title":"Interconnecting field-buses through ATM","authors":"O. Kunert","doi":"10.1109/WFCS.1997.634302","DOIUrl":"https://doi.org/10.1109/WFCS.1997.634302","url":null,"abstract":"Networks in the area of factory automation, named field buses, have been developed to fulfill real time requirements. However, they can only cover areas such as factory halls or buildings. The paper describes a model for an internetworking unit connecting field buses via ATM networks, in order to break these limits. A remote bridge is used to span longer distances between field bus components in a separated field bus. The second version of a bridge acts like a multiport bridge connecting several independent field buses. The emphasis is laid on the investigation of the quality of service requirements the transport channel provided by the ATM network has to meet. By means of the widespread field bus PROFIBUS, standardized by the German standardization office, the implications for real time applications and system behavior are considered.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":" 25","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132012563","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Dependability evaluation of fault tolerant architectures in distributed industrial control systems 分布式工业控制系统容错体系结构的可靠性评估
Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI: 10.1109/WFCS.1997.634299
J. Campelo, F. Rodríguez, J. J. Serrano, P. Gil
{"title":"Dependability evaluation of fault tolerant architectures in distributed industrial control systems","authors":"J. Campelo, F. Rodríguez, J. J. Serrano, P. Gil","doi":"10.1109/WFCS.1997.634299","DOIUrl":"https://doi.org/10.1109/WFCS.1997.634299","url":null,"abstract":"Modern distributed industrial control systems need improvements in their dependability. We study different fault tolerant architectures for the nodes of these systems and present three different alternatives in order to develop fault tolerant nodes. Moreover, in order to evaluate their dependability we present theoretical models of each one, based on Markov chains, and the results obtained (reliability and safety). With the results obtained we can choose the most appropriate node architecture for one particular distributed industrial control system as a function of the reliability and safety constraints, and the complexity and cost of each alternative.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132111357","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Applying quality of service architectures to the field-bus domain 将服务质量体系结构应用于现场总线领域
Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI: 10.1109/WFCS.1997.634283
Frank RoBler, B. Geppert
{"title":"Applying quality of service architectures to the field-bus domain","authors":"Frank RoBler, B. Geppert","doi":"10.1109/WFCS.1997.634283","DOIUrl":"https://doi.org/10.1109/WFCS.1997.634283","url":null,"abstract":"Communication between intelligent sensors, actuators and controller components imposes stringent requirements on timeliness and predictability. Thus, field bus standards such as PROFIBUS, EIB, or CAN support deterministic, priority driven media access. These mechanisms are sufficient for static settings where communicating peers as well as traffic loads are known in advance and priorities can be assigned prior to system operation. In environments where, e.g., communicating devices may change dynamically we need to provide additional mechanisms for admission control and traffic policing, which operate during system activity. Local and wide area networks have to meet similar requirements, which led to the development of so called quality of service architectures. We argue that many of these concepts are also adequate for the field bus domain and adapt them to the CAN protocols. As a basic means to achieve timeliness and predictability we employ rate monotonic analysis.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121925711","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Integrating control devices following different network architectures 集成不同网络架构下的控制设备
Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI: 10.1109/WFCS.1997.634308
M. Marcos, D. Orive
{"title":"Integrating control devices following different network architectures","authors":"M. Marcos, D. Orive","doi":"10.1109/WFCS.1997.634308","DOIUrl":"https://doi.org/10.1109/WFCS.1997.634308","url":null,"abstract":"The paper deals with some of the problems which can appear when automation technologies are applied in the manufacturing sector. In particular, communication via a network of control equipment such as PLC's, CNC's or robot controllers is established. A novel solution is described which allows the cell controller (represented by a PC under the Unix OS) to communicate with all of them, assuming that they follow the IEEE 802.3 standard at the lower level of its communication architecture. The solution presented, is based on using finite automata theory for formalising the particular protocol used by each device as well as information exchange during each operation, e.g., changing a set point on a PLC or sending a file to the CNC. Once this information is formalised as a finite state automaton, and making use of the software developed, the user is easily driven through the necessary steps in order to generate the complete application. Thus, the so called cell controller can not only be used for monitoring the processes controlled by the devices involved in the plant, but it can also be used as a central supervisor of single loop controllers sending for instance stop orders, new set points, etc.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125856842","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On the performances of two popular fieldbuses 关于两种流行现场总线的性能
Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI: 10.1109/WFCS.1997.634297
G. Cena, C. Demartini, A. Valenzano
{"title":"On the performances of two popular fieldbuses","authors":"G. Cena, C. Demartini, A. Valenzano","doi":"10.1109/WFCS.1997.634297","DOIUrl":"https://doi.org/10.1109/WFCS.1997.634297","url":null,"abstract":"CAN and PROFIBUS-DP are two very popular fieldbuses, which can also be profitably also as control networks for distributed systems where a controller is connected to a number of simple devices. The use of CAN and PROFIBUS-DP as a communication support for event driven systems is considered and their performances are evaluated from this point of view. Only those aspects of these two networks which are relevant in the scenario of event driven automation systems are taken into account and formulas are derived to evaluate the responsiveness and throughput which can be achieved in a number of situations. The results obtained with our analysis show that even though the performances of the two kinds of fieldbuses are very similar, it is convenient to use CAN in small size systems while PROFIBUS-DP is more suited to poll based applications.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124061158","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 39
Interaction between Java/sup TM/ and LonWorks/sup R/ Java/sup TM/与LonWorks/sup R/的交互
Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI: 10.1109/WFCS.1997.634317
H. Reiter, C. Kral
{"title":"Interaction between Java/sup TM/ and LonWorks/sup R/","authors":"H. Reiter, C. Kral","doi":"10.1109/WFCS.1997.634317","DOIUrl":"https://doi.org/10.1109/WFCS.1997.634317","url":null,"abstract":"The article presents a solution for remote control of Local Operating Networks with Java. The main objective is easy access to such networks via a Java enabled Web Browser. It is shown how to implement a Java applet that connects to a Java servlet which in turn activates a Win32 program that has access to LonWorks. The task of this applet is to provide the user with a comfortable and flexible interface. This solution shows that, on one hand, the methods for an interaction between Java and LonWorks are easy to learn and, on the other hand, they are very powerful for future developments of remote control and visualization software.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129803744","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Coverage simulator for wireless networks 无线网络覆盖模拟器
Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI: 10.1109/WFCS.1997.634294
J. Espinosa, M. Montero, J. M. Hernando, F. Perez, J. A. Milanés, I. Hidalgo, M. Gallardo
{"title":"Coverage simulator for wireless networks","authors":"J. Espinosa, M. Montero, J. M. Hernando, F. Perez, J. A. Milanés, I. Hidalgo, M. Gallardo","doi":"10.1109/WFCS.1997.634294","DOIUrl":"https://doi.org/10.1109/WFCS.1997.634294","url":null,"abstract":"Wireless communication is a necessity for today's industrial networking. There are important reasons supporting this affirmation. In flexible manufacturing there are a large number of mobile devices which need wireless control such as mobile robots, portables, autonomous vehicles. Also, enterprises like the idea of having the possibility of a fast and cheap network reconfiguration that can be provided thanks to wireless nodes. For the design of these systems in a particular factory or industrial plant, it is necessary to have measurement campaigns for different transmitter and receiver locations in order to determine coverage. The paper presents a simulator which computes these calculations automatically, providing money and time savings.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127211315","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信