首页 > 最新文献

2006 International Symposium on Industrial Embedded Systems最新文献

英文 中文
NoC Monitoring Hardware Support for Fast NoC Design Space Exploration and Potential NoC Partial Dynamic Reconfiguration NoC监测硬件支持快速NoC设计空间探索和潜在的NoC部分动态重构
Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357481
R. B. Mouhoub, O. Hammami
The Multiprocessor systems on chip are strongly emerging in various embedded systems to support dramatic growth of complex embedded applications performance requirements. Due to the increasing scale of embedded systems bus-based communication no longer meet bandwidth requirements and therefore networks-on-chip (NoC) are increasingly used to process communication in embedded parallel applications. So far, neither development environments and tools for embedded systems nor profiling and debugging techniques of embedded systems tackled the issue of network on chip monitoring. Due to the complexity of future multiprocessors systems on chip parallel programmers will unavoidably need to be able to get accurate profiles of communication patterns on various network on chip links and this in order to optimize their applications through timing analysis, timing predictability, and real-time scheduling analysis. We propose in this paper a scalable network on chip real time hardware monitoring feedback for multiprocessors systems on chip parallel programmers. Implementation of our scheme for a 2x2 mesh based multiprocessor systems on chip demonstrates the validity of our approach for an image processing application.
片上多处理器系统在各种嵌入式系统中蓬勃兴起,以支持复杂嵌入式应用程序性能需求的急剧增长。由于嵌入式系统规模的不断扩大,基于总线的通信已不能满足带宽要求,因此在嵌入式并行应用中越来越多地采用片上网络(NoC)来处理通信。目前,无论是嵌入式系统的开发环境和工具,还是嵌入式系统的分析和调试技术,都没有解决片上网络监控的问题。由于未来片上多处理器系统的复杂性,并行编程人员将不可避免地需要能够获得各种片上网络链路上通信模式的准确概要,从而通过时序分析、时序可预测性和实时调度分析来优化其应用程序。本文提出了一种可扩展的片上网络,用于多处理器系统的片上并行编程器的实时硬件监控反馈。我们的方案在基于2x2网格的片上多处理器系统上的实现证明了我们的方法在图像处理应用中的有效性。
{"title":"NoC Monitoring Hardware Support for Fast NoC Design Space Exploration and Potential NoC Partial Dynamic Reconfiguration","authors":"R. B. Mouhoub, O. Hammami","doi":"10.1109/IES.2006.357481","DOIUrl":"https://doi.org/10.1109/IES.2006.357481","url":null,"abstract":"The Multiprocessor systems on chip are strongly emerging in various embedded systems to support dramatic growth of complex embedded applications performance requirements. Due to the increasing scale of embedded systems bus-based communication no longer meet bandwidth requirements and therefore networks-on-chip (NoC) are increasingly used to process communication in embedded parallel applications. So far, neither development environments and tools for embedded systems nor profiling and debugging techniques of embedded systems tackled the issue of network on chip monitoring. Due to the complexity of future multiprocessors systems on chip parallel programmers will unavoidably need to be able to get accurate profiles of communication patterns on various network on chip links and this in order to optimize their applications through timing analysis, timing predictability, and real-time scheduling analysis. We propose in this paper a scalable network on chip real time hardware monitoring feedback for multiprocessors systems on chip parallel programmers. Implementation of our scheme for a 2x2 mesh based multiprocessor systems on chip demonstrates the validity of our approach for an image processing application.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122718817","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
Efficient Control Allocation for Fault Tolerant Embedded Systems on Small Autonomous Aircrafts 小型自主飞机容错嵌入式系统的有效控制分配
Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357465
G. Ducard, H. Geering, E. Dumitrescu
In this paper, a control allocation module with explicit laws has been designed for fast operation and low computational load, so that this algorithm can run in a small processor or microcontroller with limited floating point operation capability. The control allocation method is capable of compensating for actuator faults. Given the appropriate fault detection system, there is no need to redesign the controller, since the control allocator compensates for any fault occurring. A comparison shows that this method yields satisfactory results, provides optimal solutions in some cases, and is simpler and faster than conventional methods.
本文设计了一个具有显式规律的控制分配模块,实现了快速运算和低计算量,使得该算法可以在浮点运算能力有限的小型处理器或微控制器上运行。该控制分配方法能够补偿执行器故障。给定适当的故障检测系统,不需要重新设计控制器,因为控制分配器补偿任何发生的故障。比较表明,该方法具有较好的求解效果,在某些情况下能给出最优解,且比传统方法更简单、更快。
{"title":"Efficient Control Allocation for Fault Tolerant Embedded Systems on Small Autonomous Aircrafts","authors":"G. Ducard, H. Geering, E. Dumitrescu","doi":"10.1109/IES.2006.357465","DOIUrl":"https://doi.org/10.1109/IES.2006.357465","url":null,"abstract":"In this paper, a control allocation module with explicit laws has been designed for fast operation and low computational load, so that this algorithm can run in a small processor or microcontroller with limited floating point operation capability. The control allocation method is capable of compensating for actuator faults. Given the appropriate fault detection system, there is no need to redesign the controller, since the control allocator compensates for any fault occurring. A comparison shows that this method yields satisfactory results, provides optimal solutions in some cases, and is simpler and faster than conventional methods.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128672257","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}
引用次数: 10
Powerline Communication System for Monitoring and Supervision of Feeder Equipments for MV Substation Automation 中压变电站自动化馈线设备监控的电力线通信系统
Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357474
Liping Lu, Gangyan Li, Yeqiong Song
With the deregulation of power market and for providing better services to electric consumers, the current substation should be automated. In the past decade, new communications schemes have been designed and retrofitted into the substations by the utilities to integrate data from relays and intelligent electronic devices (lEDs) and capitalize on the protection, control, metering, fault recording, communication functions available in digital devices. Generally, using station bus to connect all equipments inside the substation, except some primary equipments which are outsider substations such as MV/LV transformer and switchgears. For those outsider equipments, we propose using the REMPLI powerline communication (PLC) technologies to communicate with the substation. The simulation results have shown that the REMPLI PLC network guarantees the substation automation requirements.
随着电力市场的放松管制,为了更好地为电力用户提供服务,现有变电站应实现自动化。在过去十年中,公用事业公司为变电站设计和改造了新的通信方案,以整合来自继电器和智能电子设备(led)的数据,并利用数字设备中的保护、控制、计量、故障记录和通信功能。除中压/低压变压器、开关柜等一次设备在变电站外,一般采用站内母线连接变电站内所有设备。对于外部设备,我们建议采用REMPLI电力线通信(PLC)技术与变电站通信。仿真结果表明,REMPLI PLC网络能够保证变电站自动化的要求。
{"title":"Powerline Communication System for Monitoring and Supervision of Feeder Equipments for MV Substation Automation","authors":"Liping Lu, Gangyan Li, Yeqiong Song","doi":"10.1109/IES.2006.357474","DOIUrl":"https://doi.org/10.1109/IES.2006.357474","url":null,"abstract":"With the deregulation of power market and for providing better services to electric consumers, the current substation should be automated. In the past decade, new communications schemes have been designed and retrofitted into the substations by the utilities to integrate data from relays and intelligent electronic devices (lEDs) and capitalize on the protection, control, metering, fault recording, communication functions available in digital devices. Generally, using station bus to connect all equipments inside the substation, except some primary equipments which are outsider substations such as MV/LV transformer and switchgears. For those outsider equipments, we propose using the REMPLI powerline communication (PLC) technologies to communicate with the substation. The simulation results have shown that the REMPLI PLC network guarantees the substation automation requirements.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130663170","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
Target Independent Thermal Modeling for Embedded Processors 嵌入式处理器的目标独立热建模
Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357459
Cándido Méndez, J. Ayala, M. López-Vallejo
This paper presents a complete modeling approach to analyze the thermal behavior of microprocessor-based systems. While most compact modeling approaches require a deep knowledge of the implementation details, our method defines a black box technique which can be applied to different target processors when this detailed information is unknown. The obtained results show high accuracy, applicability and can be easily automated. The proposed methodology has been used to study the impact of code transformations in the thermal behavior of the chip. Finally, the analysis of the thermal effect of the source code modifications can be included in a temperature-aware compiler which minimizes the total temperature of the chip, as well as the temperature gradients, according to these guidelines.
本文提出了一种完整的建模方法来分析基于微处理器的系统的热行为。虽然大多数紧凑的建模方法需要对实现细节有深入的了解,但我们的方法定义了一种黑盒技术,当这些细节信息未知时,可以将其应用于不同的目标处理器。所得结果精度高,适用性强,易于自动化。所提出的方法已被用于研究代码转换对芯片热行为的影响。最后,对源代码修改的热效应分析可以包含在一个温度感知编译器中,该编译器可以根据这些指南最小化芯片的总温度以及温度梯度。
{"title":"Target Independent Thermal Modeling for Embedded Processors","authors":"Cándido Méndez, J. Ayala, M. López-Vallejo","doi":"10.1109/IES.2006.357459","DOIUrl":"https://doi.org/10.1109/IES.2006.357459","url":null,"abstract":"This paper presents a complete modeling approach to analyze the thermal behavior of microprocessor-based systems. While most compact modeling approaches require a deep knowledge of the implementation details, our method defines a black box technique which can be applied to different target processors when this detailed information is unknown. The obtained results show high accuracy, applicability and can be easily automated. The proposed methodology has been used to study the impact of code transformations in the thermal behavior of the chip. Finally, the analysis of the thermal effect of the source code modifications can be included in a temperature-aware compiler which minimizes the total temperature of the chip, as well as the temperature gradients, according to these guidelines.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131049360","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
FPGA-based generic neural network architecture 基于fpga的通用神经网络架构
Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357476
Nicole Chalhoub, F. Muller, M. Auguin
In this paper, we defined a generic architecture for the extraction phase of a multi layer neural network algorithm to be implemented on a Virtex-4 FPGA. This architecture can be applied to any multi layer neural network composed of a given number of layers and a given number of neurons in each layer. In addition this architecture enhances the density of the FPGA by supporting the two concepts of time multiplexing and partial dynamic reconfiguration. Several networks with different sizes were implemented based on this generic architecture. Based on those implementations, we'll analyse the performances of a virtex-4 via a multi layer neural network by analyzing the variation of the minimum period and the number of occupied resources. This work was made in collaboration with the NodBox company (thierry.fargas@nodbox.biz) and Xilinx company (jean-louis.brelet@xilinx.com).
在本文中,我们为多层神经网络算法的提取阶段定义了一个通用架构,该算法将在Virtex-4 FPGA上实现。这种结构可以应用于任何由给定层数和每层中给定神经元数组成的多层神经网络。此外,该结构通过支持时间复用和部分动态重构两个概念来增强FPGA的密度。基于这种通用架构,实现了几个不同规模的网络。基于这些实现,我们将通过分析最小周期的变化和占用资源的数量,通过多层神经网络分析virtex-4的性能。这项工作是与NodBox公司(thierry.fargas@nodbox.biz)和Xilinx公司(jean-louis.brelet@xilinx.com)合作完成的。
{"title":"FPGA-based generic neural network architecture","authors":"Nicole Chalhoub, F. Muller, M. Auguin","doi":"10.1109/IES.2006.357476","DOIUrl":"https://doi.org/10.1109/IES.2006.357476","url":null,"abstract":"In this paper, we defined a generic architecture for the extraction phase of a multi layer neural network algorithm to be implemented on a Virtex-4 FPGA. This architecture can be applied to any multi layer neural network composed of a given number of layers and a given number of neurons in each layer. In addition this architecture enhances the density of the FPGA by supporting the two concepts of time multiplexing and partial dynamic reconfiguration. Several networks with different sizes were implemented based on this generic architecture. Based on those implementations, we'll analyse the performances of a virtex-4 via a multi layer neural network by analyzing the variation of the minimum period and the number of occupied resources. This work was made in collaboration with the NodBox company (thierry.fargas@nodbox.biz) and Xilinx company (jean-louis.brelet@xilinx.com).","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"138 8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125822535","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
Transient Error Detection in Embedded Systems Using Reconfigurable Components 基于可重构组件的嵌入式系统瞬态错误检测
Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357485
A. Vahdatpour, M. Fazeli, S. Miremadi
In this paper, a hardware control flow checking technique is presented and evaluated. This technique uses re configurable of the shelf FPGA in order to concurrently check the execution flow of the target micro processor. The technique assigns signatures to the main program in the compile time and verifies the signatures using a FPGA as a watchdog processor to detect possible violation caused by the transient faults. The main characteristic of this technique is its ability to be applied to any kind of processor architecture and platforms. The low imposed hardware and performance overhead by this technique makes it suitable for those applications in which cost is a major concern, such as industrial applications. The proposed technique is experimentally evaluated on an 8051 microcontroller using software implemented fault injection (SWIFI). The results show that this technique detects about 90% of the injected control flow errors. The watchdog processor occupied 26% of an Altera Max-7000 FPGA chip logic cells. The performance overhead varies between 42% and 82% depending on the workload used.
本文提出并评价了一种硬件控制流检测技术。该技术利用FPGA的可重构性来并行检测目标微处理器的执行流程。该技术在编译时为主程序分配签名,并使用FPGA作为看门狗处理器对签名进行验证,以检测由瞬态故障引起的可能的违规。这种技术的主要特点是它能够应用于任何类型的处理器体系结构和平台。这种技术的低硬件和性能开销使得它适合那些主要关注成本的应用程序,例如工业应用程序。采用软件实现故障注入(SWIFI)技术在8051单片机上进行了实验验证。结果表明,该技术可检测出约90%的注入控制流量误差。看门狗处理器占Altera Max-7000 FPGA芯片逻辑单元的26%。根据所使用的工作负载,性能开销在42%到82%之间变化。
{"title":"Transient Error Detection in Embedded Systems Using Reconfigurable Components","authors":"A. Vahdatpour, M. Fazeli, S. Miremadi","doi":"10.1109/IES.2006.357485","DOIUrl":"https://doi.org/10.1109/IES.2006.357485","url":null,"abstract":"In this paper, a hardware control flow checking technique is presented and evaluated. This technique uses re configurable of the shelf FPGA in order to concurrently check the execution flow of the target micro processor. The technique assigns signatures to the main program in the compile time and verifies the signatures using a FPGA as a watchdog processor to detect possible violation caused by the transient faults. The main characteristic of this technique is its ability to be applied to any kind of processor architecture and platforms. The low imposed hardware and performance overhead by this technique makes it suitable for those applications in which cost is a major concern, such as industrial applications. The proposed technique is experimentally evaluated on an 8051 microcontroller using software implemented fault injection (SWIFI). The results show that this technique detects about 90% of the injected control flow errors. The watchdog processor occupied 26% of an Altera Max-7000 FPGA chip logic cells. The performance overhead varies between 42% and 82% depending on the workload used.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"134 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116341126","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
Holistic Modelling of an Integrated Renewable Energy System Controller, Enabling Rapid Hardware Prototyping 集成可再生能源系统控制器的整体建模,实现快速硬件原型
Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357479
A. Parera-Ruiz, M. Cirstea
The efficient control of a distributed energy resource (DER) hybrid systems is the key for the optimization of renewable sources used in stand alone generators. The system proposed in this paper is based on a wind/photovoltaic hybrid system with the possibility to integrate a fuel cell as energy backup. The research will result in the production and testing of the hardware prototype of an FPGA based controller for the integrated renewable power generation system. The system proposed uses DK4 (Celoxica) design and modelling software environment based on Handel-C/VHDL programming languages for the rapid prototyping of an FPGA controller.
分布式能源混合系统的有效控制是单机发电机组可再生能源优化的关键。本文提出的系统是基于风能/光伏混合系统,并有可能集成燃料电池作为备用能源。该研究将导致基于FPGA的集成可再生能源发电系统控制器的硬件原型的生产和测试。本系统提出采用基于Handel-C/VHDL编程语言的DK4 (Celoxica)设计和建模软件环境对FPGA控制器进行快速原型设计。
{"title":"Holistic Modelling of an Integrated Renewable Energy System Controller, Enabling Rapid Hardware Prototyping","authors":"A. Parera-Ruiz, M. Cirstea","doi":"10.1109/IES.2006.357479","DOIUrl":"https://doi.org/10.1109/IES.2006.357479","url":null,"abstract":"The efficient control of a distributed energy resource (DER) hybrid systems is the key for the optimization of renewable sources used in stand alone generators. The system proposed in this paper is based on a wind/photovoltaic hybrid system with the possibility to integrate a fuel cell as energy backup. The research will result in the production and testing of the hardware prototype of an FPGA based controller for the integrated renewable power generation system. The system proposed uses DK4 (Celoxica) design and modelling software environment based on Handel-C/VHDL programming languages for the rapid prototyping of an FPGA controller.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115268574","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
Exploring the Differences of FPGAs and Microcontrollers for their Use in Safety-Critical Embedded Applications 探讨fpga和微控制器在安全关键嵌入式应用中的差异
Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357483
F. Salewski, S. Kowalewski
Nowadays industrial embedded systems are increasingly used in safety-critical applications. These embedded systems are based on different hardware platforms, reaching from microcontrollers to programmable logic devices. These different hardware platforms lead to fundamental differences in design. Major differences result from the different hardware architectures and their robustness and reliability as well as on the according differences in the software design process. In this paper, our current work dealing with different hardware platforms used in embedded systems and their influence on the safety and reliability of the overall system is presented.
如今,工业嵌入式系统越来越多地用于安全关键应用。这些嵌入式系统基于不同的硬件平台,从微控制器到可编程逻辑设备。这些不同的硬件平台导致了设计上的根本差异。主要的差异来自于不同的硬件体系结构及其鲁棒性和可靠性,以及软件设计过程中的相应差异。本文介绍了嵌入式系统中使用的不同硬件平台以及它们对整个系统的安全性和可靠性的影响。
{"title":"Exploring the Differences of FPGAs and Microcontrollers for their Use in Safety-Critical Embedded Applications","authors":"F. Salewski, S. Kowalewski","doi":"10.1109/IES.2006.357483","DOIUrl":"https://doi.org/10.1109/IES.2006.357483","url":null,"abstract":"Nowadays industrial embedded systems are increasingly used in safety-critical applications. These embedded systems are based on different hardware platforms, reaching from microcontrollers to programmable logic devices. These different hardware platforms lead to fundamental differences in design. Major differences result from the different hardware architectures and their robustness and reliability as well as on the according differences in the software design process. In this paper, our current work dealing with different hardware platforms used in embedded systems and their influence on the safety and reliability of the overall system is presented.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122761690","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
Could UML and Contract tackle heterogeneity? UML和契约能解决异构性吗?
Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357473
F. Lagarde, F. Terrier, C. André
Embedded systems integrate more and more heterogeneous subsystems. This situation leads to consider on the one hand heterogeneity owing to different formalisms and on the other hand heterogeneity created by platforms in charge of realizing the system. To deal with formalism heterogeneity some modeling frameworks handle different formalisms or project them onto a pivot. Nevertheless these solutions are often not sufficient. This paper presents ongoing works on a development process using Unified Modeling Language (UML) enhanced by a contract approach borrowed from the Interface Automata modeling. The objectives are twofold: (a) provide coherent views of a component along its refinements, (b) specify their interactions.
嵌入式系统集成了越来越多的异构子系统。这种情况导致我们一方面要考虑由于不同形式而产生的异质性,另一方面要考虑由负责实现系统的平台所产生的异质性。为了处理形式异构性,一些建模框架处理不同的形式或将它们投射到一个枢轴上。然而,这些解决方案往往是不够的。本文介绍了使用统一建模语言(UML)的开发过程中正在进行的工作,该语言通过借用接口自动机建模的契约方法得到增强。目标是双重的:(a)提供一个组件沿着其细化的连贯视图,(b)指定它们的相互作用。
{"title":"Could UML and Contract tackle heterogeneity?","authors":"F. Lagarde, F. Terrier, C. André","doi":"10.1109/IES.2006.357473","DOIUrl":"https://doi.org/10.1109/IES.2006.357473","url":null,"abstract":"Embedded systems integrate more and more heterogeneous subsystems. This situation leads to consider on the one hand heterogeneity owing to different formalisms and on the other hand heterogeneity created by platforms in charge of realizing the system. To deal with formalism heterogeneity some modeling frameworks handle different formalisms or project them onto a pivot. Nevertheless these solutions are often not sufficient. This paper presents ongoing works on a development process using Unified Modeling Language (UML) enhanced by a contract approach borrowed from the Interface Automata modeling. The objectives are twofold: (a) provide coherent views of a component along its refinements, (b) specify their interactions.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128493334","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
Towards an Energy Efficient Protocol for Active RFID 有源射频识别的节能协议研究
Pub Date : 2006-10-01 DOI: 10.1109/IES.2006.357477
B. Nilsson, L. Bengtsson, U. Bilstrup, P. Wiberg, B. Svensson
The use of radio frequency identification systems (RFID) is growing rapidly. Today, mostly "passive" RFID systems are used because no onboard energy source is needed on the transponders. However, "active " RFID with onboard power source gives a new range of opportunities not possible with passive systems. To obtain energy efficiency in an active RFID system a protocol should be designed that is optimized with energy in mind. This paper describes the on-going work of defining and evaluating such a protocol. The protocol's performance in terms of energy efficiency, aggregated throughput, delay, and number of air collisions is evaluated and compared to that of the medium-access layer in 802.15.4 Zigbee, and also to a commercially available protocol from Free2move.
无线射频识别系统(RFID)的使用正在迅速增长。今天,大多数“被动”RFID系统被使用,因为在应答器上不需要机载能源。然而,带有机载电源的“有源”RFID为无源系统提供了一系列新的机会。为了在有源RFID系统中获得能源效率,应该设计一个考虑到能源优化的协议。本文描述了正在进行的定义和评估这种协议的工作。该协议在能效、聚合吞吐量、延迟和空中碰撞次数方面的性能进行了评估,并与802.15.4 Zigbee中的介质接入层以及Free2move的商用协议进行了比较。
{"title":"Towards an Energy Efficient Protocol for Active RFID","authors":"B. Nilsson, L. Bengtsson, U. Bilstrup, P. Wiberg, B. Svensson","doi":"10.1109/IES.2006.357477","DOIUrl":"https://doi.org/10.1109/IES.2006.357477","url":null,"abstract":"The use of radio frequency identification systems (RFID) is growing rapidly. Today, mostly \"passive\" RFID systems are used because no onboard energy source is needed on the transponders. However, \"active \" RFID with onboard power source gives a new range of opportunities not possible with passive systems. To obtain energy efficiency in an active RFID system a protocol should be designed that is optimized with energy in mind. This paper describes the on-going work of defining and evaluating such a protocol. The protocol's performance in terms of energy efficiency, aggregated throughput, delay, and number of air collisions is evaluated and compared to that of the medium-access layer in 802.15.4 Zigbee, and also to a commercially available protocol from Free2move.","PeriodicalId":412676,"journal":{"name":"2006 International Symposium on Industrial Embedded Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132827677","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
期刊
2006 International Symposium on Industrial Embedded Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1