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

2008 International Symposium on Industrial Embedded Systems最新文献

筛选
英文 中文
Infrastructure for web-based administration of embedded systems 用于基于web的嵌入式系统管理的基础设施
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577682
C. Hochberger, Christian Meusel
{"title":"Infrastructure for web-based administration of embedded systems","authors":"C. Hochberger, Christian Meusel","doi":"10.1109/SIES.2008.4577682","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577682","url":null,"abstract":"Today, many embedded systems are equipped with network interfaces. Thus, web based management and administration are often required in such embedded systems. General approaches, which are widely available, fail to work on those resource constrained devices. Yet, there exists a necessity to support rapid development for dynamically generated pages. In this contribution we present a framework that will be usable on many embedded systems and also helps the web developer to simplify the document structure.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"16 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":"115624189","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
A digital receiver architecture for RFID readers RFID阅读器的数字接收器架构
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577685
C. Angerer
{"title":"A digital receiver architecture for RFID readers","authors":"C. Angerer","doi":"10.1109/SIES.2008.4577685","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577685","url":null,"abstract":"This paper presents a digital receiver architecture for an RFID reader. The main challenge in RFID reader design is the detection of the backscattered signals from the tags, which can be severely complicated due to the largely varying scale of possible receive powers. Furthermore noise, which power depends on the environment can degrade the detection performance. The detection of the signals of the tags is additionally impeded by the very strong self interference at the reader with the carrier it needs to send in order to supply the tags with energy. To fight these various disturbances, a new RFID receiver algorithm is proposed, that sets its decision threshold adaptively, depending on the strength of the input signal, the noise power at the receiver and the extent of the carrier interference. This is the first algorithm for signal detection in RFID, setting its threshold accordingly to the environmental conditions, and thus leading to near optimum performance. Details of the implementation of the digital receiver architecture on an FPGA are introduced. Bit error ratio measurements have been carried out to rate the receivers performance, which have never been shown before for RFID receivers. Presented measurement results substantiate the performance of the suggested algorithm.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"37 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":"126755793","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}
引用次数: 28
Transactional consistency in the automotive environment 汽车环境中的事务一致性
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577707
P. Schmidt, S. Frenz, S. Gerhold, P. Schulthess
{"title":"Transactional consistency in the automotive environment","authors":"P. Schmidt, S. Frenz, S. Gerhold, P. Schulthess","doi":"10.1109/SIES.2008.4577707","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577707","url":null,"abstract":"This paper examines the feasibility of a distributed shared memory in an automotive environment with respect to communication and resource consumption. We briefly present the Plurix cluster operating system and its compiler demonstrating the advantages of a distributed shared memory concept for medium scale computation scenarios. We then apply the DSM concept to a specific use-case from the area of automotive embedded systems. A prototype system was implemented and shown to offer higher bandwidth and lower resource utilisation than conventionally layered designs.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"328 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":"122827686","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}
引用次数: 4
TEODACS : A new vision for testing dependable automotive communication systems TEODACS:测试可靠的汽车通信系统的新愿景
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577712
E. Armengaud, D. Watzenig, C. Steger, H. Berger, Harald Gall, F. Pfister, M. Pistauer
{"title":"TEODACS : A new vision for testing dependable automotive communication systems","authors":"E. Armengaud, D. Watzenig, C. Steger, H. Berger, Harald Gall, F. Pfister, M. Pistauer","doi":"10.1109/SIES.2008.4577712","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577712","url":null,"abstract":"Cars are forming complex distributed architectures implementing optimized networks. Evidently, the communication plays a central role for the dependability and the performance of the system. This document presents the challenges and vision of the newly started TEODACS research project. Our aim is to consider the communication services as a whole and to study the internal (e.g. configuration) and external (e.g. EMC) effects that influence the network and further the system performances. We discuss how our consortium ideally supports this approach and we introduce the projectpsilas vision based on the close development of a laboratory setup as well as a simulation framework.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"66 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":"123683542","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
Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems 实时嵌入式系统一致性诊断协议的正式规范和验证
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577699
R. Barbosa, J. Karlsson
{"title":"Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems","authors":"R. Barbosa, J. Karlsson","doi":"10.1109/SIES.2008.4577699","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577699","url":null,"abstract":"This paper proposes a membership protocol for fault-tolerant distributed systems and describes the usage of formal verification methods to ascertain its correctness. The protocol allows nodes in a synchronous system to maintain consensus on the set of operational nodes, i.e., the membership, in the presence of omission failures and node restarts. It relies on nodes observing the transmissions of other nodes to detect failures. Consensus is maintained by exchanging a configurable number of acknowledgements for each nodepsilas message. Increasing this number makes the protocol resilient to a greater number of simultaneous or near-coincident failures.We used the SPIN model checker to formally verify the correctness of the membership protocol. This paper describes how we modeled the protocol and presents the results of the exhaustively verified model instances.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"72 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":"121800748","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}
引用次数: 4
Modeling and analysis of stage machinery control systems by timed colored Petri nets 舞台机械控制系统的定时彩色Petri网建模与分析
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577687
Hehua Zhang, M. Gu, Xiaoyu Song
{"title":"Modeling and analysis of stage machinery control systems by timed colored Petri nets","authors":"Hehua Zhang, M. Gu, Xiaoyu Song","doi":"10.1109/SIES.2008.4577687","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577687","url":null,"abstract":"This paper presents an approach and successful experience of applying timed colored Petri nets on modeling and analyzing a stage machinery control system. The programmable logic controllers (PLCs) based system is modeled with timing constraints. The compositionality is incorporated in the modeling process of the entire design. The PLC synchronization problem with the interactions of environment is analyzed by the state space analysis method. The case studies demonstrate the effectiveness of the approach.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"43 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":"124725401","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
Selecting back off algorithm in active RFID CSMA/CA based medium-access protocols 基于有源RFID CSMA/CA介质访问协议的后退算法选择
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577714
B. Nilsson, L. Bengtsson, B. Svensson
{"title":"Selecting back off algorithm in active RFID CSMA/CA based medium-access protocols","authors":"B. Nilsson, L. Bengtsson, B. Svensson","doi":"10.1109/SIES.2008.4577714","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577714","url":null,"abstract":"Active radio frequency identification (A-RFID) is a technology where the tags (transponders) carry an on board energy source for powering the radio, processor circuits, and sensors. Besides offering longer working distance between RFID-reader and tag than passive RFID, this also enables the tags to do sensor measurements, calculations and storage even when no RFID-reader is in the vicinity of the tags. In this paper we study the effect on tag energy cost and read out delay incurred by some typical back-off algorithms (constant, linear, and exponential) used in a contention based CSMA/CA (carrier sense multiple access/collision avoidance) protocol for A-RFID communication.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"65 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":"121927376","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
Implementation of dynamic loop scheduling in reconfigurable platforms 可重构平台中动态循环调度的实现
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577675
Ioannis Riakiotakis, G. Papakonstantinou, Anthony T. Chronopoulos
{"title":"Implementation of dynamic loop scheduling in reconfigurable platforms","authors":"Ioannis Riakiotakis, G. Papakonstantinou, Anthony T. Chronopoulos","doi":"10.1109/SIES.2008.4577675","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577675","url":null,"abstract":"Dynamic scheduling algorithms have been successfully used for parallel computations of nested loops in traditional parallel computers and clusters. In this paper we propose a new architecture, implementing a coarse grain dynamic loop scheduling, suitable for reconfigurable hardware platforms. We use an analytical model and a case study to evaluate the performance of the proposed architecture. This approach makes efficient memory and processing elements use and thus gives better results than previous approaches.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"7 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":"123155433","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}
引用次数: 4
A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling 一种使用系统级设计语言和快速架构分析进行架构探索和性能分析的方法
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577686
Alena Simalatsar, R. Passerone, D. Densmore
{"title":"A methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling","authors":"Alena Simalatsar, R. Passerone, D. Densmore","doi":"10.1109/SIES.2008.4577686","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577686","url":null,"abstract":"The implementation of service-rich, highly interconnected applications and the increasing demand for performance, requires the development of highly optimized and flexible computing platforms. However, the tight real-time requirements of such systems, together with constraints on cost and physical size of the devices, results in increased design complexity and system heterogeneity. This creates a large design space. In this paper, we propose a structured approach based on system level specification languages that supports the rapid exploration and performance evaluation of computing platforms, including their middleware components, through simulation of abstract models. Accuracy is achieved through an off-line rapid architecture profiling procedure. We focus on a process network model, which is more suitable to the description of concurrent functions and data-dominated applications than a traditional sequential programming model. We describe the structure of our simulation framework, and use it to evaluate the performance of the lower layers of the UMTS protocol when mapped on software defined radio oriented architectures.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"18 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":"128854782","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
The Rubus component model for resource constrained real-time systems 资源受限实时系统的Rubus组件模型
2008 International Symposium on Industrial Embedded Systems Pub Date : 2008-06-11 DOI: 10.1109/SIES.2008.4577697
Kaj Hänninen, Jukka Mäki-Turja, Mikael Nolin, M. Lindberg, John Lundbäck, Kurt-Lennart Lundbäck
{"title":"The Rubus component model for resource constrained real-time systems","authors":"Kaj Hänninen, Jukka Mäki-Turja, Mikael Nolin, M. Lindberg, John Lundbäck, Kurt-Lennart Lundbäck","doi":"10.1109/SIES.2008.4577697","DOIUrl":"https://doi.org/10.1109/SIES.2008.4577697","url":null,"abstract":"In this paper we present a component model for development of distributed real-time systems. The model is developed to support development of embedded control systems for ground vehicles. The model aims at supporting three important activities in real-time development, (i) design, (ii) analysis and (iii) synthesis. These activities emphasise different and sometimes conflicting requirements that need to be balanced. For example, developers desire freedom in designing to solve complex tasks, analysis tools require the design to be formal enough for analysis and synthesis need to be efficient for low run-time footprint. We have considered industrial requirements for these activities and developed the RubusCMv3 component model. The model has been developed in close cooperation with industrial partners and it is currently being evaluated on real systems.","PeriodicalId":438401,"journal":{"name":"2008 International Symposium on Industrial Embedded Systems","volume":"11 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":"125547306","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}
引用次数: 165
首页 上一页 下一页 尾页
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学术官方微信