2008 International Symposium on Industrial Embedded Systems最新文献

筛选
英文 中文
FPGA based embedded system for induction motor failure monitoring at the start-up transient vibrations with wavelets 基于FPGA的嵌入式感应电机启动瞬态振动监测系统
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577701
C. Rodriguez-Donate, R. Romero-Troncoso, A. García-Perez, Daniel A. Razo-Montes
{"title":"FPGA based embedded system for induction motor failure monitoring at the start-up transient vibrations with wavelets","authors":"C. Rodriguez-Donate, R. Romero-Troncoso, A. García-Perez, Daniel A. Razo-Montes","doi":"10.1109/SIES.2008.4577701","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577701","url":null,"abstract":"Accurate monitoring on induction motors is mandatory for modern industry in order to guarantee the overall process quality. The common practice for monitoring is performed by third party enterprises that test the electrical machines with general-purpose instrumentation equipment, which do not allow on-line operation with the subsequent increase in production costs. Several methodologies have been proposed in recent years for detection of failures in induction motors; however, these methodologies perform the analysis offline. The contribution of this work is the development of an online monitoring of induction motor failures by measuring the vibration transient signals at the start-up with discrete wavelet transform, and its implementation as an embedded system with FPGA for SOC approach. Experimentation is realized to test the system functionality. From results it is demonstrated that the proposed methodology accurately determinates the motor condition in the presence of broken rotor bars.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126078883","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}
引用次数: 31
Verifying programmable logic controllers with abstraction 用抽象验证可编程逻辑控制器
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577704
R. Wang, M. Gu, Xiaoyu Song, Hehua Zhang
{"title":"Verifying programmable logic controllers with abstraction","authors":"R. Wang, M. Gu, Xiaoyu Song, Hehua Zhang","doi":"10.1109/SIES.2008.4577704","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577704","url":null,"abstract":"Functional and nonfunctional validation is an important task in complex embedded system developments. This paper proposes a method of applying model checking techniques to validate programable logic controllers (PLCs). Abstraction is used to ameliorate the state explosion problem. The experiment results of an industry application demonstrate the effectiveness of our approach.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115690596","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
FPGA based multiple-channel vibration analyzer embedded system for industrial applications in automatic failure detection 基于FPGA的多通道振动分析仪嵌入式系统在工业故障自动检测中的应用
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577705
L. M. Contreras-Medina, R. Romero-Troncoso, J. R. Millán-Almaraz, C. Rodriguez-Donate
{"title":"FPGA based multiple-channel vibration analyzer embedded system for industrial applications in automatic failure detection","authors":"L. M. Contreras-Medina, R. Romero-Troncoso, J. R. Millán-Almaraz, C. Rodriguez-Donate","doi":"10.1109/SIES.2008.4577705","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577705","url":null,"abstract":"Machine monitoring is one of the major concerns in modern industry in order to guarantee the overall efficiency during the production process. Several monitoring techniques for machinery failure detection have been developed, being vibration analysis one of the most important techniques. The typical equipment used for vibration analysis is a general purpose single channel spectrum analyzer that most of the cases is not well suited for the specific task and lacks from the capability of simultaneous multiple channel analysis. The contribution of this work is to present the development of a low-cost FPGA based 3-axis simultaneous vibration analyzer for embedded machinery monitoring with the novelty of a post-processing stage that can be designed and implemented into the same FPGA for automatic online detection of specific machinery failures. Two cases of study are presented to show the development performance and capabilities of the system where specific post-processing units are designed. From the results it can be seen that several mechanical failures can be automatically detected by reconfiguring the postprocessing algorithm, embedded in the system.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"96 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125354126","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}
引用次数: 19
Application-level fault tolerance in real-time embedded systems 实时嵌入式系统的应用级容错
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577690
Francisco Afonso, C. Silva, A. Tavares, S. Montenegro
{"title":"Application-level fault tolerance in real-time embedded systems","authors":"Francisco Afonso, C. Silva, A. Tavares, S. Montenegro","doi":"10.1109/SIES.2008.4577690","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577690","url":null,"abstract":"Critical real-time embedded systems need to make use of fault tolerance techniques to cope with operation time errors, either in hardware or software. Fault tolerance is usually applied by means of redundancy and diversity. Redundant hardware implies the establishment of a distributed system executing a set of fault tolerance strategies by software, and may also employ some form of diversity, by using different variants or versions for the same processing. This work proposes and evaluates a fault tolerance framework for supporting the development of dependable applications. This framework is build upon basic operating system services and middleware communications and brings flexible and transparent support for application threads. A case study involving radar filtering is described and the framework advantages and drawbacks are discussed.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122550190","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}
引用次数: 22
NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems 基于nces的可重构基准生产系统建模和基于ctl的验证
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577674
M. Khalgui, H. Hanisch
{"title":"NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production Systems","authors":"M. Khalgui, H. Hanisch","doi":"10.1109/SIES.2008.4577674","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577674","url":null,"abstract":"This paper deals with the development of Safety Reconfigurable Embedded Systems following the International Industrial Component-based Standard IEC61499. To handle all possible reconfiguration forms, we propose at first time an Agent-based Architecture where the Agent applies automatic reconfigurations to adapt the system according to well defined conditions. We model this agent with nested state machines according to the formalism Net Condition Event Systems which is an extension of the Petri net formalism. In order to satisfy user requirements, we specify functional and temporal properties with the temporal logic CTL (as well as its extensions ECTL and TCTL) and we apply the Model Checker SESA to check the whole system correctness.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133834897","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
Performance evaluation of a java chip-multiprocessor 一个java芯片多处理器的性能评估
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577678
Christof Pitter, Martin Schoeberl
{"title":"Performance evaluation of a java chip-multiprocessor","authors":"Christof Pitter, Martin Schoeberl","doi":"10.1109/SIES.2008.4577678","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577678","url":null,"abstract":"Chip multiprocessing design is an emerging trend for embedded systems. In this paper, we introduce a Java multiprocessor system-on-chip called JopCMP. It is a symmetric shared-memory multiprocessor and consists of up to 8 Java Optimized Processor (JOP) cores, an arbitration control device, and a global shared memory. All components are interconnected with a system-on-chip bus. This paper focuses on the performance evaluation of different hardware configurations of the multicore system. Therefore, we vary the instruction cache sizes, the number of processors and the memory bandwidth. Within our experiments, we measure the performance by running three benchmarks on real hardware: an embedded application from industry, a computationally intensive matrix multiplication and a synthetic benchmark that continuously accesses a shared data structure. Two different field-programmable gate arrays are used for the presented experiments. Our results illustrate the promises and limits of the proposed multiprocessor architecture concerning synchronization, memory bandwidth and caching. Furthermore, we compare the performance and size of JopCMP with a complex Java processor.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131274746","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
Integrating software agents and IEC 61499 realtime control for reconfigurable distributed manufacturing systems 集成软件代理和IEC 61499实时控制的可重构分布式制造系统
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577710
I. Hegny, O. Hummer, Alois Zoitl, G. Koppensteiner, M. Merdan
{"title":"Integrating software agents and IEC 61499 realtime control for reconfigurable distributed manufacturing systems","authors":"I. Hegny, O. Hummer, Alois Zoitl, G. Koppensteiner, M. Merdan","doi":"10.1109/SIES.2008.4577710","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577710","url":null,"abstract":"The need for agility in manufacturing systems is continuously growing. This is caused by increasing complexity and decreasing life cycles of the produced goods. This paper proposes a modular, reconfigurable manufacturing system, based on a distributed three layer architecture, consisting of mechatronic components, an IEC 61499 based distributed low level control and on top a multi agent system as high level control. Adaptivity to new demands is added by the inclusion of knowledge in the top layer. Agents are able to understand the structure of the manufacturing system and the produced goods. This enables the high level control to reconfigure the underlying system. To gain most value of this combination, agents and the low level control have to work together in an integrated environment. An interface for connecting distributed low level control and the multi agent system is presented.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"139 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122841545","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}
引用次数: 48
Efficient implementation of eSTREAM ciphers on 8-bit AVR microcontrollers eSTREAM密码在8位AVR微控制器上的高效实现
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577681
Gordon Meiser, T. Eisenbarth, Kerstin Lemke-Rust, C. Paar
{"title":"Efficient implementation of eSTREAM ciphers on 8-bit AVR microcontrollers","authors":"Gordon Meiser, T. Eisenbarth, Kerstin Lemke-Rust, C. Paar","doi":"10.1109/SIES.2008.4577681","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577681","url":null,"abstract":"This work is motivated by the question of how efficient modern stream ciphers in the eSTREAM project (Profile I) can be implemented on small embedded microcontrollers that are also constrained in memory resources. In response to this question, we present the first implementation results for Dragon, HC-128, LEX, Salsa20, Salsa20/12, and Sosemanuk on 8-bit microcontrollers. These ciphers are definitively free for any use, i.e., their use is not covered by intellectual property rights. For the evaluation process, we follow a two-stage approach and compare with efficient implementations of the AES block cipher. First, the C code implementation provided by the cipherspsila designers was ported to an 8-bit AVR microcontroller and the suitability of these stream ciphers for the use in embedded systems was assessed. In the second stage we implemented Dragon, LEX, Salsa20, Salsa20/12, and Sosemanuk in assembler to tap the full potential of an embedded implementation. Our efficiency metrics are memory usage in flash and SRAM and performance of keystream generation, key setup, and IV setup. Regarding encryption speed, all stream ciphers except for Salsa20 turned out to outperform AES. In terms of memory needs, Salsa20, Salsa20/12, and LEX are almost as compact as AES. In view of the final eSTREAM portfolio (Profile I), Salsa20/12 is the only promising alternative for the AES cipher on memory constrained 8-bit embedded microcontrollers. For embedded applications with high throughput requirements, Sosemanuk is the most suitable cipher if its considerable higher memory needs can be tolerated.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115334480","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}
引用次数: 52
Inter-task WCET computation for a-way instruction caches 单向指令缓存的任务间WCET计算
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577696
Fadia Nemer, H. Cassé, P. Sainrat, J. Bahsoun
{"title":"Inter-task WCET computation for a-way instruction caches","authors":"Fadia Nemer, H. Cassé, P. Sainrat, J. Bahsoun","doi":"10.1109/SIES.2008.4577696","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577696","url":null,"abstract":"In hard real-time applications, Worst Case Execution Time (WCET) is used to check time constraints of the whole system but is only computed at the task level. As most WCET computation methods assume a conservative approach to handle the processor state before the execution of a task, the inter-task analysis of long effect hardware features should improve the accuracy of the result. As an example, we propose to analyze the behavior of an A-way associative instruction cache, by combining inter-and intra-task instruction cache analysis. The aim is to estimate more accurately the number of cache misses due to task chaining by considering task Entry and Exit states along the inter-task analysis. The initial tasks WCETs can be computed by any existing single-task approach that models the instruction cache behavior. A second method is also introduced in this paper which consists in injecting the inter-task cache states in the intra-task WCET analysis, to get more precise numbers.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131214872","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
A model-driven validation & verification environment for embedded systems 用于嵌入式系统的模型驱动验证和验证环境
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577708
A. Gargantini, E. Riccobene, P. Scandurra
{"title":"A model-driven validation & verification environment for embedded systems","authors":"A. Gargantini, E. Riccobene, P. Scandurra","doi":"10.1109/SIES.2008.4577708","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577708","url":null,"abstract":"This paper presents a validation and verification tool component, based on the abstract state machine formal method, that we are developing to support high level formal analysis of embedded system model-driven design. This component is integrated into a model-driven environment for HW/SW co-design that provides a graphical high-level representation of HW and SW components by means of UML profiles for SystemC/multi-thread C, and allows C/C++/SystemC code generation/back-annotation from/to graphical UML models.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-06-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130766590","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}
引用次数: 8
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学术官方微信