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

2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)最新文献

筛选
英文 中文
Towards a new exhaustive simulation technique for P-time Petri nets 一种新的p时间Petri网穷举仿真技术
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) Pub Date : 2010-11-18 DOI: 10.1109/ETFA.2010.5641196
P. Bonhomme
{"title":"Towards a new exhaustive simulation technique for P-time Petri nets","authors":"P. Bonhomme","doi":"10.1109/ETFA.2010.5641196","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641196","url":null,"abstract":"Petri nets are a powerful formalism for the specification and verification of concurrent systems, such as sequential systems and manufacturing systems where many processes can compete for limited and constrained ressources. To deal with systems whose time issues become essential, different extensions of Petri nets with time have been proposed in the literature, each one being dependent on the application considered. In this paper, a new analysis technique for P-time Petri nets is proposed. It consists of simple operations on time intervals to determine a superset of behaviors of the modelled system. Then, once a desired behavior is extracted, thanks to a linear programming problem, its feasibility is verified via the existence of a solution.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128605986","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}
引用次数: 2
System requirements for industrial wireless sensor networks 工业无线传感器网络的系统要求
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) Pub Date : 2010-11-18 DOI: 10.1109/ETFA.2010.5641163
L. Hou, N. Bergmann
{"title":"System requirements for industrial wireless sensor networks","authors":"L. Hou, N. Bergmann","doi":"10.1109/ETFA.2010.5641163","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641163","url":null,"abstract":"The employment of device monitoring, diagnosis and condition-based maintenance is one of the potential approaches for enhancing operational efficiency and reducing energy consumption of industrial machines. Industrial wireless sensor networks (IWSNs) for device monitoring are appealing to industry due to their inherent advantages compared with traditional wired systems, such as low cost, convenience of installation and re-location. In this paper, firstly the design requirements of IWSNs are outlined based on surveying application examples and commercial systems. Secondly the wireless protocol standards, current off-the-shelf wireless sensor platforms and prototypes developed by individual researchers for IWSNs are listed and compared. The paper then describes two techniques for improving the efficiency and effectiveness of industrial wireless sensors systems - on-sensor data processing, and a modified MAC protocol for improved real-time performance. Finally possible solutions to deal with particular requirement of IWSNs, including a system architecture and a novel protocol stack for a monitoring system are discussed.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128677657","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}
引用次数: 40
Design and implementation of an automatic on-line diagnosis with TiDiaM and TiDE 基于TiDiaM和TiDE的自动在线诊断系统的设计与实现
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) Pub Date : 2010-11-18 DOI: 10.1109/ETFA.2010.5641355
L. Ferrarini, M. Allevi, A. Dede
{"title":"Design and implementation of an automatic on-line diagnosis with TiDiaM and TiDE","authors":"L. Ferrarini, M. Allevi, A. Dede","doi":"10.1109/ETFA.2010.5641355","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641355","url":null,"abstract":"The paper deals with the diagnostics of industrial automation devices and in particular with the real-time fault isolation. A diagnostic model-based method is proposed with the aim to isolate the occurrences of faults in automatic machinery simplifying the synthesis of the diagnostic models and the application of the developed technique to real cases. The theoretical foundation lays on the diagnoser automaton, which is suitably extended with time and with special modeling techniques that make it suitable for real-time execution rather than off-line test of the diagnosability. The model here adopted is called TiDiaM (Timed Diagnostic Model) for which automatic synthesis algorithms and a Java real-time executor (TiDE, Timed Diagnosis Executor) are proposed. The approach has been applied to a test case (the subsystem of an automatic machining centre called Pallet changer) in order to demonstrate its real-time applicability to an industrial example.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130216138","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
On hierarchical server-based communication with switched Ethernet 基于交换以太网的分层服务器通信
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) Pub Date : 2010-11-18 DOI: 10.1109/ETFA.2010.5641073
Rui Santos, P. Pedreiras, Farahnaz Yekeh, Thomas Nolte, L. Almeida
{"title":"On hierarchical server-based communication with switched Ethernet","authors":"Rui Santos, P. Pedreiras, Farahnaz Yekeh, Thomas Nolte, L. Almeida","doi":"10.1109/ETFA.2010.5641073","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641073","url":null,"abstract":"Ethernet is becoming a common network technology for industrial and factory automation systems and, in recent years, a big effort has been made in enabling real-time communications using Ethernet technology. Many of these systems are complex, extend over relatively large places and/or integrate a significant number of nodes, thus requiring the use of multiple switches (hop). In this paper we look into the usage of Flexible Time-Triggered (FTT) enabled Ethernet switches in this class of systems, more specifically using the recently proposed server-based scheduling mechanism supported by this protocol. The paper proposes and validates a resource reservation protocol, presents a method for computing the end-to-end deadlines and discusses possible strategies for the deadline partitioning. 1","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130288937","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}
引用次数: 5
A real-time reconfiguration infrastructure for distributed embedded control systems 分布式嵌入式控制系统的实时重构基础设施
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) Pub Date : 2010-11-18 DOI: 10.1109/ETFA.2010.5641259
Alois Zoitl, W. Lepuschitz, M. Merdan, Mathieu Vallée
{"title":"A real-time reconfiguration infrastructure for distributed embedded control systems","authors":"Alois Zoitl, W. Lepuschitz, M. Merdan, Mathieu Vallée","doi":"10.1109/ETFA.2010.5641259","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641259","url":null,"abstract":"During the last decades production automation research has been focused on improving the flexibility and adaptability in order to cope with the arising challenges of mass customization. Much work was devoted to the higher—planning and scheduling—levels of automation systems. However, the lower level real-time control infrastructure was widely neglected. Therefore, we are currently faced with an adaptive flexible high level control connected to a rigid low level control. This work presents a dynamic reconfiguration architecture for the low level control of industrial automation systems. This architecture allows to reconfigure real-time control applications during full operation of the controlled plant. In an example implementation we prove that this is also possible on small embedded control devices as they are typically used as field devices in industrial automation systems.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127910170","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}
引用次数: 15
Analysis of control and multimedia real-time traffic over SIP and RTP on 802.11n wireless links for utilities networks 公用事业网络802.11n无线链路上的SIP和RTP控制和多媒体实时流量分析
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) Pub Date : 2010-11-18 DOI: 10.1109/ETFA.2010.5640996
S. Santonja-Climent, David Todolí Ferrandis, Teresa Albero-Albero, V. Sempere-Payá, J. Silvestre-Blanes, Jesus Alcober i Segura
{"title":"Analysis of control and multimedia real-time traffic over SIP and RTP on 802.11n wireless links for utilities networks","authors":"S. Santonja-Climent, David Todolí Ferrandis, Teresa Albero-Albero, V. Sempere-Payá, J. Silvestre-Blanes, Jesus Alcober i Segura","doi":"10.1109/ETFA.2010.5640996","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5640996","url":null,"abstract":"Urban facility interconnection networks require a robustness and reliability usually found in public networks or private cable and radio networks in licensed bands. Both factors mean an increase in costs, which also increase as the size of the network increases. The recent rise in use of wireless technologies in open wavebands has attracted the interest of the industry in the spread of these types of links, even though they have a lower level of robustness and reliability, which must be improved using communication mechanisms and protocols. This aspect directly affects real time applications, such as VoIP and video-streaming, and determines the viability of these systems in real installations. This paper evaluates the performance of control and real time multimedia traffic in the 5 GHz band through the use of the SIP (Session Initiation Protocol) and RTP (Real-Time Transport Protocol) protocols, in a laboratory testbed.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127962694","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
Logic Device Agents: Smart and highly reusable components in industrial automation systems 逻辑设备代理:工业自动化系统中智能且高度可重用的组件
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) Pub Date : 2010-11-18 DOI: 10.1109/ETFA.2010.5641316
E. Faldella, A. Tilli, Primiano Tucci
{"title":"Logic Device Agents: Smart and highly reusable components in industrial automation systems","authors":"E. Faldella, A. Tilli, Primiano Tucci","doi":"10.1109/ETFA.2010.5641316","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641316","url":null,"abstract":"Control system design is a crucial point in modern automation systems, involving an increasingly broader set of activities being performed by software. Despite the availability of several domain-specific facilities, designers daily face kindred issues which actually lack reference patterns, in particular as regards the architectural organization of the control logic. In this paper we present an approach that, focusing on cross-cutting domain problems and suitably abstracting from application-specific details, leads to an effective decoupling of high-level control policies from low-level actuation and sensing mechanisms. Logic Device Agents emerge as generally applicable active components modeling the behavior of commonly used field devices, which can be profitably exploited to enhance software design quality and productivity.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131700574","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
An automatic robot software design tool: An Open Platform for Robotics Services 自动机器人软件设计工具:机器人服务的开放平台
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) Pub Date : 2010-11-18 DOI: 10.1109/ETFA.2010.5641210
Mi-sook Kim, S. Han, H. Park
{"title":"An automatic robot software design tool: An Open Platform for Robotics Services","authors":"Mi-sook Kim, S. Han, H. Park","doi":"10.1109/ETFA.2010.5641210","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641210","url":null,"abstract":"Open Platform for Robotics Services (OPRoS) is a project funded by the South Korea government. Its first released results including executables and source codes with their document, are on its homepage. OPRoS is designed based on component modeling. It covers defined templates of the component, a framework that has component execution engines and several managers, GUI based editors, a simulator as tools for evaluation of robot tasks, and a server that has global repository function for OPRoS components and supports distributed component computation load. Real-time scheduling, multi-board performance, and integration with editors for different level of users are features currently under development. The open source codes are expected to reduce development loads and support fast robot software development.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"149 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129171792","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
The Distributed Deadline Synchronization Protocol for real-time systems scheduled by EDF EDF调度实时系统的分布式截止时间同步协议
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) Pub Date : 2010-11-18 DOI: 10.1109/ETFA.2010.5641357
Nicola Serreli, G. Lipari, Enrico Bini
{"title":"The Distributed Deadline Synchronization Protocol for real-time systems scheduled by EDF","authors":"Nicola Serreli, G. Lipari, Enrico Bini","doi":"10.1109/ETFA.2010.5641357","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641357","url":null,"abstract":"Many distributed and multiprocessor real-time applications consist of pipelines of tasks that must complete before their end-to-end deadlines. Different schedulability analyses have been proposed for both Fixed Priority and Earliest Deadline First scheduling. All the schedulability analyses proposed so far assume that a global clock synchronization protocol is used to synchronize the deadlines of jobs allocated on different processors. This assumption may limit the applicability of EDF to such systems. In this paper, we propose the Distributed Deadline Synchronization Protocol (DDSP) for computing the absolute deadlines of jobs. The protocol is a non-trivial extension of the Release Guard Protocol proposed for fixed priority systems. DDSP does not require a global clock synchronization, yet existing schedulability analyses are valid for schedules generated by DDSP.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"86 13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126286764","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}
引用次数: 9
Simulation of power plant superheater by Simulink S-functions 利用Simulink S-functions对电厂过热器进行仿真
2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) Pub Date : 2010-11-18 DOI: 10.1109/ETFA.2010.5641222
S. Ozana, M. Pies
{"title":"Simulation of power plant superheater by Simulink S-functions","authors":"S. Ozana, M. Pies","doi":"10.1109/ETFA.2010.5641222","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641222","url":null,"abstract":"The paper deals with simulation of both dynamics and control of power plant superheaters by means of Simulink S-functions. Superheaters are heat exchangers that transfer energy from flue gas to superheated steam. A composition of superheater, its input and output pipelines, and fittings is called a superheater assembly. Inertias of superheater assembly are often decisive for design of a steam temperature control system. Mathematical model of a superheater assemble is described by sets of nonlinear partial differential equations. To analyze accuracy of the mathematical model, the system was agitated by test signals. Experiments carried out at the power plant were simulated mathematically. Data obtained by the measurement was compared with simulation results.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126076669","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信