2009 IEEE International Symposium on Industrial Embedded Systems最新文献_第3页

SPINE2: developing BSN applications on heterogeneous sensor nodes SPINE2:在异构传感器节点上开发BSN应用

2009 IEEE International Symposium on Industrial Embedded Systems Pub Date : 2009-07-08 DOI: 10.1109/SIES.2009.5196205

G. Fortino, A. Guerrieri, F. Bellifemine, Roberta Giannantonio

引用次数: 54

Fault isolation with intermediate checks of end-to-end checksums in the Time-Triggered System-on-Chip Architecture 在时间触发的片上系统架构中使用端到端校验和的中间检查进行故障隔离

2009 IEEE International Symposium on Industrial Embedded Systems Pub Date : 2009-07-08 DOI: 10.1109/SIES.2009.5196200

H. Paulitsch, C. Paukovits, C. E. Salloum

引用次数: 3

SoC-level risk assessment using FMEA approach in system design with SystemC 在系统设计中使用FMEA方法进行soc级风险评估

2009 IEEE International Symposium on Industrial Embedded Systems Pub Date : 2009-07-08 DOI: 10.1109/SIES.2009.5196199

Yung-Yuan Chen, Chung-Hsien Hsu, K. Leu

{"title":"SoC-level risk assessment using FMEA approach in system design with SystemC","authors":"Yung-Yuan Chen, Chung-Hsien Hsu, K. Leu","doi":"10.1109/SIES.2009.5196199","DOIUrl":"https://doi.org/10.1109/SIES.2009.5196199","url":null,"abstract":"As system-on-chip (SoC) becomes prevalent in the intelligent system applications, the reliability issue of SoC is getting more attention in the design industry due to the rapid increasing rate of radiation-induced soft errors while the SoC fabrication enters the very deep submicron technology. Therefore, the SoC dependability becomes a critical issue in safety-critical applications. Validating such systems is imperative to guarantee the dependability of the systems before they are being put to use. Moreover, it is beneficial to assess the SoC robustness in early design phase in order to significantly reduce the cost and time of re-design. To fill such needs, in this study, we propose a useful IP-based SoC-level risk model using failure mode and effects analysis (FMEA) method to assess the robustness of a SoC in SystemC transaction-level modeling (TLM) design level. The proposed risk model is able to facilitate the measure of the robustness and scales of failure-induced risks in a system, which can be used to identify the critical components and major failure modes for protection so as to effectively reduce the impact of failures to the system. A case study is used to demonstrate our risk model under CoWare Platform Architect environment. A system verification tool was created to assist us in measuring the robustness of the system, in locating the weaknesses of the system, and in understanding the effect of faults on system failure behavior during the SoC design phase. The contribution of this work is to promote the dependability verification to TLM abstraction level that can significantly enhance the simulation performance, and provide the comprehensive results to validate the system dependability in early design phase for safety-critical applications.","PeriodicalId":133325,"journal":{"name":"2009 IEEE International Symposium on Industrial Embedded Systems","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115804939","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}

引用次数: 16

Generative programming with support for formal verification 支持形式验证的生成式编程

2009 IEEE International Symposium on Industrial Embedded Systems Pub Date : 2009-07-08 DOI: 10.1109/SIES.2009.5196194

M. Paska

引用次数: 2

Robustness investigation of the FlexRay system FlexRay系统的鲁棒性研究

2009 IEEE International Symposium on Industrial Embedded Systems Pub Date : 2009-07-08 DOI: 10.1109/SIES.2009.5196210

K. Leu, C. Wey, Jwu-E Chen, Yung-Yuan Chen

引用次数: 4

A wait-free queue for multiple enqueuers and multiple dequeuers using local preferences and pragmatic extensions 使用本地首选项和实用扩展的多个进入队列和多个退出队列的无等待队列

2009 IEEE International Symposium on Industrial Embedded Systems Pub Date : 2009-07-08 DOI: 10.1109/SIES.2009.5196220

P. Stellwag, Alexander Ditter, Wolfgang Schröder-Preikschat

{"title":"A wait-free queue for multiple enqueuers and multiple dequeuers using local preferences and pragmatic extensions","authors":"P. Stellwag, Alexander Ditter, Wolfgang Schröder-Preikschat","doi":"10.1109/SIES.2009.5196220","DOIUrl":"https://doi.org/10.1109/SIES.2009.5196220","url":null,"abstract":"Queues are one of the most commonly used data structures in applications and operating systems [1]. Up-and-coming multi-core processors force software developers to consider data structures in order to make them thread-safe. But, in real-time systems, e.g., robotic controls, parallelization is even more complicated as such systems must guarantee to meet their mostly hard deadlines. A considerable amount of research has been carried out on wait-free objects [2] to achieve this. Wait-freedom can guarantee that each potentially concurrent thread completes its operation within a bounded number of steps. But applicable wait-free queues, which supports multiple enqueue, dequeue and read operations, do not exist yet. Therefore, we present a statically allocated and statically linked queue, which supports arbitrary concurrent operations. Our approach is also applicable in other scenarios, where unsorted queues with statically allocated elements are used. Moreover, we introduce ‘local preferences’ to minimize contention. But, as the response times of our enqueue operation directly depends on the fill level, the response times of a nearly filled queue still remain an issue. Moreover, our approach is jitter-prone with a varying fill level. In this paper, we also address all of these issues with an approach using a helping queue. The results show that we can decrease the worst case execution time by approximately factor twenty. Additionally, we reduce the average response times of potentially concurrent enqueue operations in our queue. To the best of our knowledge, our wait-free queue is the best known and practical solution for an unsorted thread-safe queue for multiple enqueuers, multiple dequeuers and mulitple readers.","PeriodicalId":133325,"journal":{"name":"2009 IEEE International Symposium on Industrial Embedded Systems","volume":"224 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120896506","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

RoboArch: A component-based tool proposal for developing hardware architecture for mobile robots RoboArch:一个基于组件的工具提案，用于开发移动机器人的硬件架构

2009 IEEE International Symposium on Industrial Embedded Systems Pub Date : 2009-07-08 DOI: 10.1109/SIES.2009.5196221

Vanderlei Bonato, E. Marques

引用次数: 5

A wireless body sensor network for the prevention and management of asthma 用于预防和管理哮喘的无线身体传感器网络

2009 IEEE International Symposium on Industrial Embedded Systems Pub Date : 2009-07-08 DOI: 10.1109/SIES.2009.5196203

E. Seto, A. Giani, Victor Shia, Curtis Wang, Posu Yan, A. Yang, M. Jerrett, R. Bajcsy

{"title":"A wireless body sensor network for the prevention and management of asthma","authors":"E. Seto, A. Giani, Victor Shia, Curtis Wang, Posu Yan, A. Yang, M. Jerrett, R. Bajcsy","doi":"10.1109/SIES.2009.5196203","DOIUrl":"https://doi.org/10.1109/SIES.2009.5196203","url":null,"abstract":"We present an application of an open source platform for wireless body sensor network called DexterNet to the problem of children's asthma. The architecture of the system consists of three layers. At the body sensor layer (BSL), the integrated monitoring of a child's activities, geographic location, and air pollution exposures occurs. At the personal network layer (PNL), a wireless mobile device worn by the child summarizes the sensed data, and provides information feedback. The mobile device communicates wirelessly over the Internet with the third global network layer (GNL), in which a web server provides the following four information services: a clinical module that supports the healthcare management of asthma cases, a personal health module that supports individual prevention of asthma attacks, a community module that supports participatory sensing, and a health research module that supports the collection of anonymous sensor data for research into the risk factors associated with asthma. We illustrate the potential for the system to serve as a comprehensive strategy to manage asthma cases and prevent asthma attacks.","PeriodicalId":133325,"journal":{"name":"2009 IEEE International Symposium on Industrial Embedded Systems","volume":"772 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123888475","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}

引用次数: 55

A method of computation for worst-case delay analysis on SpaceWire networks SpaceWire网络最坏情况时延分析的计算方法

2009 IEEE International Symposium on Industrial Embedded Systems Pub Date : 2009-07-08 DOI: 10.1109/SIES.2009.5196187

Thomas Ferrandiz, F. Frances, C. Fraboul

引用次数: 51

Evaluation of an Esterel-based hardware/software co-design flow 基于esterel的硬件/软件协同设计流程的评估

2009 IEEE International Symposium on Industrial Embedded Systems Pub Date : 2009-07-08 DOI: 10.1109/SIES.2009.5196190

P. Roessler, M. Zauner

引用次数: 2