首页 > 最新文献

16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)最新文献

英文 中文
Object representation model for a cache memory in a real-time Java environment 实时Java环境中缓存内存的对象表示模型
M. T. Higuera-Toledano
Conventional cache memories act to bridge the gap in speeds between the processor and main memory. However, typical cache memories do not take into account of the specific characteristics of objects-oriented programs. As result it may incur in a performance penalty. In this paper, we discuss how an objects-based cache device can support Java objects. This feature is especially useful in the field of real-time programming, where the determinism for memory cache accesses is a limiting factor. In order to do that, we propose an object layout which splits objects into the same sized blocks; in this way, each cache memory line supports a block. This memory model avoids external fragmentation, while minimizing internal fragmentation.
传统的高速缓存存储器的作用是弥补处理器和主存储器之间的速度差距。然而,典型的缓存存储器并没有考虑到面向对象程序的具体特征。因此,它可能会导致性能损失。在本文中,我们讨论了基于对象的缓存设备如何支持Java对象。这个特性在实时编程领域特别有用,在实时编程领域,内存缓存访问的确定性是一个限制因素。为了做到这一点,我们提出了一个对象布局,将对象分成相同大小的块;这样,每条高速缓存线支持一个块。这种内存模型避免了外部碎片,同时最大限度地减少了内部碎片。
{"title":"Object representation model for a cache memory in a real-time Java environment","authors":"M. T. Higuera-Toledano","doi":"10.1109/ISORC.2013.6913204","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913204","url":null,"abstract":"Conventional cache memories act to bridge the gap in speeds between the processor and main memory. However, typical cache memories do not take into account of the specific characteristics of objects-oriented programs. As result it may incur in a performance penalty. In this paper, we discuss how an objects-based cache device can support Java objects. This feature is especially useful in the field of real-time programming, where the determinism for memory cache accesses is a limiting factor. In order to do that, we propose an object layout which splits objects into the same sized blocks; in this way, each cache memory line supports a block. This memory model avoids external fragmentation, while minimizing internal fragmentation.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130630722","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
Increasing the stability of an Artificial Hormone System for task allocation by accelerator bounds 利用加速器边界提高人工激素系统任务分配的稳定性
U. Brinkschulte
The Artificial Hormone System (AHS) is a completely decentralized operation principle for a middleware which can be used to allocate tasks in a system of heterogeneous processing elements (PEs) or cores. Tasks are scheduled according to their suitability for the heterogeneous PEs, the current PE load and task relationships. The AHS also provides properties like self-configuration, self-optimization and self-healing by task allocation. The AHS is able to guarantee real-time bounds for such self-X-properties. Clustering of related tasks is done by the AHS through the emission of accelerator hormones, which attract related tasks to neighboring PEs. However, accelerators may increase the task load of PEs and even cause instability. In this paper we present two new approaches to eliminate the destabilizing effect of accelerators but keeping their property to attract related tasks. The accelerator threshold approach and the accelerator saturation approach introduce two different kinds of accelerator bounds. A theoretical analysis and a practical evaluation show the effectiveness and the different properties of both approaches.
人工激素系统(AHS)是一种完全分散的中间件操作原理,可用于在异构处理元素或核心系统中分配任务。任务根据其对异构PE的适用性、当前PE负载和任务关系进行调度。AHS还通过任务分配提供自配置、自优化和自修复等属性。AHS能够保证这种自x属性的实时边界。相关任务的聚类是由AHS通过释放促进激素将相关任务吸引到邻近的pe上完成的。然而,加速器可能会增加pe的任务负载,甚至导致不稳定。本文提出了两种新的方法来消除加速器的不稳定效应,同时保持加速器吸引相关任务的特性。加速器阈值法和加速器饱和法引入了两种不同的加速器边界。理论分析和实际评价表明了两种方法的有效性和不同的特性。
{"title":"Increasing the stability of an Artificial Hormone System for task allocation by accelerator bounds","authors":"U. Brinkschulte","doi":"10.1109/ISORC.2013.6913238","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913238","url":null,"abstract":"The Artificial Hormone System (AHS) is a completely decentralized operation principle for a middleware which can be used to allocate tasks in a system of heterogeneous processing elements (PEs) or cores. Tasks are scheduled according to their suitability for the heterogeneous PEs, the current PE load and task relationships. The AHS also provides properties like self-configuration, self-optimization and self-healing by task allocation. The AHS is able to guarantee real-time bounds for such self-X-properties. Clustering of related tasks is done by the AHS through the emission of accelerator hormones, which attract related tasks to neighboring PEs. However, accelerators may increase the task load of PEs and even cause instability. In this paper we present two new approaches to eliminate the destabilizing effect of accelerators but keeping their property to attract related tasks. The accelerator threshold approach and the accelerator saturation approach introduce two different kinds of accelerator bounds. A theoretical analysis and a practical evaluation show the effectiveness and the different properties of both approaches.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"1277 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125571033","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
An auto-tuning approach for optimizing base operators for non-destructive testing applications on heterogeneous multi-core architectures 一种基于异构多核架构的无损检测应用的基算子优化自动调优方法
T. Heller, D. Fey, M. Rehak
The field of non-destructive testing imposes rising performance requirements related to the compute resources necessary to satisfy application needs. The creation of scalable applications in that field, which efficiently utilize today's mostly heterogeneous compute resources has proven to be complicated. In order to allow domain experts coming from a materials science background, to exploit modern heterogenous computing architectures, new classes of frameworks for efficient applications need to be developed. This paper proposes a new framework to develop efficient operators and operator chains for applications in the field of non-destructive testing, based on a self-organizing autotuning approach. The framework provides a C++ Interface to define base operators and implements an Embedded Domain Specific Language (EDSL) using C++ Expression Templates (ETs) which allows a succinct definition of an Operator Chain. The framework applies various kinds of optimizations by utilizing C++ Template Metaprogramming techniques. These optimizations include feedback based auto-tuning and auto-parallelization of the resulting Pipeline based on the advanced dataflow and future's techniques provided by the High Performance ParalleX (HPX), a general purpose parallel C++ runtime system.
非破坏性测试领域对满足应用程序需要的计算资源提出了越来越高的性能要求。在该领域创建可伸缩的应用程序(有效地利用当今大多数异构计算资源)被证明是非常复杂的。为了使具有材料科学背景的领域专家能够利用现代异构计算体系结构,需要开发用于高效应用的新型框架。本文提出了一种基于自组织自调谐方法的新框架,用于开发用于无损检测领域的高效算子和算子链。该框架提供了一个c++接口来定义基本操作符,并使用c++表达式模板(ETs)实现了一个嵌入式领域特定语言(EDSL),它允许对操作符链进行简洁的定义。该框架通过利用c++模板元编程技术应用各种优化。这些优化包括基于反馈的自动调优和基于高级数据流的自动并行化生成的管道,以及高性能并行(HPX)(一个通用的并行c++运行时系统)提供的未来技术。
{"title":"An auto-tuning approach for optimizing base operators for non-destructive testing applications on heterogeneous multi-core architectures","authors":"T. Heller, D. Fey, M. Rehak","doi":"10.1109/ISORC.2013.6913243","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913243","url":null,"abstract":"The field of non-destructive testing imposes rising performance requirements related to the compute resources necessary to satisfy application needs. The creation of scalable applications in that field, which efficiently utilize today's mostly heterogeneous compute resources has proven to be complicated. In order to allow domain experts coming from a materials science background, to exploit modern heterogenous computing architectures, new classes of frameworks for efficient applications need to be developed. This paper proposes a new framework to develop efficient operators and operator chains for applications in the field of non-destructive testing, based on a self-organizing autotuning approach. The framework provides a C++ Interface to define base operators and implements an Embedded Domain Specific Language (EDSL) using C++ Expression Templates (ETs) which allows a succinct definition of an Operator Chain. The framework applies various kinds of optimizations by utilizing C++ Template Metaprogramming techniques. These optimizations include feedback based auto-tuning and auto-parallelization of the resulting Pipeline based on the advanced dataflow and future's techniques provided by the High Performance ParalleX (HPX), a general purpose parallel C++ runtime system.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"406 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126682928","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
Evaluation and superiority analysis of a decentralized task control mechanism for dependable real-time SoC architectures 一种用于可靠实时SoC架构的分散任务控制机制的评估与优势分析
Benjamin Betting, U. Brinkschulte, Mathias Pacher
This article presents our concept of an artificial hormone system for realizing a completely decentralized self-organizing and real-time capable task control mechanism using self-X properties. Besides the fundamentals of the prior hormone concept and the implementation model, we present latest results of our research: evaluation and superiority analysis of a AHS-controlled SoC towards other approaches in centralized or partly decentralized manner like feedback controllers and complex multi-agents. Furthermore we validate and compare the overheads for size, communication and computation in relation to the improvement in system reliability.
本文提出了一个人工激素系统的概念,该系统利用self-X特性实现了一个完全分散的自组织和实时的任务控制机制。除了先验激素概念和实现模型的基本原理外,我们还介绍了我们的最新研究成果:ahs控制的SoC相对于其他集中或部分分散的方法(如反馈控制器和复杂多智能体)的评估和优势分析。此外,我们验证并比较了与系统可靠性改进有关的大小,通信和计算开销。
{"title":"Evaluation and superiority analysis of a decentralized task control mechanism for dependable real-time SoC architectures","authors":"Benjamin Betting, U. Brinkschulte, Mathias Pacher","doi":"10.1109/ISORC.2013.6913207","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913207","url":null,"abstract":"This article presents our concept of an artificial hormone system for realizing a completely decentralized self-organizing and real-time capable task control mechanism using self-X properties. Besides the fundamentals of the prior hormone concept and the implementation model, we present latest results of our research: evaluation and superiority analysis of a AHS-controlled SoC towards other approaches in centralized or partly decentralized manner like feedback controllers and complex multi-agents. Furthermore we validate and compare the overheads for size, communication and computation in relation to the improvement in system reliability.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129555387","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
Integration methods of main memory and file system management for non-volatile main memory and implications of file system structures 非易失性主存与文件系统管理的集成方法及文件系统结构的含义
S. Oikawa
Byte addressable non-volatile (NV) memory, such as STT-RAM, MRAM, and PCM, is the next generation memory that can be used as both main memory and secondary storage. While it can persistently store data without power supply, its access speed is comparable to DRAM. While there have been the active researches on its use for either main memory or secondary storage, these researches were conducted independently. This paper presents the integration methods of the main memory and file system management for NV memory, so that it can be used as both main memory and storage. The presented methods use a file system as their basis for the NV memory management; thus, the internal data structures of a file system can have impacts upon the performance of the integration methods. We implemented the proposed methods in the Linux kernel, and performed the evaluation on a system emulator. The evaluation results show that 1) the proposed methods can perform comparably to the existing DRAM memory allocator and significantly better than the page swapping, 2) their performance is affected by the internal data structures of a file system, and 3) the data structures appropriate for traditional hard disk drives do not always work effectively for byte addressable NV memory.
字节可寻址非易失性(NV)存储器,如STT-RAM、MRAM和PCM,是下一代既可用作主存储器又可用作辅助存储器的存储器。虽然它可以在没有电源的情况下持续存储数据,但其访问速度与DRAM相当。虽然一直有关于其用于主存储器或辅助存储器的积极研究,但这些研究都是独立进行的。本文提出了NV内存的主存和文件系统管理的集成方法,使NV内存既能作主存又能作存储器。提出的方法使用文件系统作为NV内存管理的基础;因此,文件系统的内部数据结构可能会对集成方法的性能产生影响。我们在Linux内核中实现了所提出的方法,并在系统模拟器上进行了评估。评估结果表明:1)所提方法的性能可与现有的DRAM内存分配器相媲美,且明显优于页面交换;2)其性能受文件系统内部数据结构的影响;3)适用于传统硬盘驱动器的数据结构并不总是有效地适用于字节寻址的NV内存。
{"title":"Integration methods of main memory and file system management for non-volatile main memory and implications of file system structures","authors":"S. Oikawa","doi":"10.1109/ISORC.2013.6913226","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913226","url":null,"abstract":"Byte addressable non-volatile (NV) memory, such as STT-RAM, MRAM, and PCM, is the next generation memory that can be used as both main memory and secondary storage. While it can persistently store data without power supply, its access speed is comparable to DRAM. While there have been the active researches on its use for either main memory or secondary storage, these researches were conducted independently. This paper presents the integration methods of the main memory and file system management for NV memory, so that it can be used as both main memory and storage. The presented methods use a file system as their basis for the NV memory management; thus, the internal data structures of a file system can have impacts upon the performance of the integration methods. We implemented the proposed methods in the Linux kernel, and performed the evaluation on a system emulator. The evaluation results show that 1) the proposed methods can perform comparably to the existing DRAM memory allocator and significantly better than the page swapping, 2) their performance is affected by the internal data structures of a file system, and 3) the data structures appropriate for traditional hard disk drives do not always work effectively for byte addressable NV memory.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124503410","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
Achieving timing composability with measurement-based probabilistic timing analysis 利用基于测量的概率时序分析实现时序可组合性
Leonidas Kosmidis, E. Quiñones, J. Abella, T. Vardanega, F. Cazorla
Probabilistic Timing Analysis (PTA) allows complex hardware acceleration features, which defeat classic timing analysis, to be used in hard real-time systems. PTA can do that because it drastically reduces intrinsic dependence on execution history. This distinctive feature is a great facilitator to time composability, which is a must for industry needing incremental development and qualification. In this paper we show how time composability is achieved in PTA-conformant systems and how the pessimism of worst-case execution time bounds obtained from PTA is contained within a 5% to 25% range for representative application scenarios.
概率时序分析(PTA)允许在硬实时系统中使用复杂的硬件加速特性,这些特性击败了经典的时序分析。PTA可以做到这一点,因为它大大减少了对执行历史的内在依赖。这个独特的特性极大地促进了时间可组合性,这对于需要增量开发和资格认证的行业来说是必须的。在本文中,我们展示了如何在符合PTA的系统中实现时间可组合性,以及如何将PTA获得的最坏情况执行时间界限的悲观情绪包含在代表性应用场景的5%到25%范围内。
{"title":"Achieving timing composability with measurement-based probabilistic timing analysis","authors":"Leonidas Kosmidis, E. Quiñones, J. Abella, T. Vardanega, F. Cazorla","doi":"10.1109/ISORC.2013.6913193","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913193","url":null,"abstract":"Probabilistic Timing Analysis (PTA) allows complex hardware acceleration features, which defeat classic timing analysis, to be used in hard real-time systems. PTA can do that because it drastically reduces intrinsic dependence on execution history. This distinctive feature is a great facilitator to time composability, which is a must for industry needing incremental development and qualification. In this paper we show how time composability is achieved in PTA-conformant systems and how the pessimism of worst-case execution time bounds obtained from PTA is contained within a 5% to 25% range for representative application scenarios.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116731050","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
A LLVM based compiler for COFFEE 一个基于LLVM的COFFEE编译器
Guoqing Zhang, T. Ahonen
LLVM has gained its popularity from both industrial side and academic side due to its well-defined architecture and good support for parallel programming. The purpose of this paper is to explain essential concepts which must be understood by complier developers in order to carry on the implementation of LLVM based compiler and also share experiences that we've gained during the implementation of our own LLVM compiler. For developers who have a working GCC compiler at hand, we propose a methodology to help them verify the new LLVM compiler by using the output of existing GCC compiler as reference. The COFFEE core (A Core For FrEE) is the hardware we are targeting, which supports both integer operations and single precision floating point operations. The paper will illustrate how the LLVM based compiler for the COFFEE core is implemented in both front end and back end.
LLVM由于其定义良好的架构和对并行编程的良好支持,在工业和学术方面都获得了广泛的欢迎。本文的目的是解释编译器开发人员必须理解的基本概念,以便进行基于LLVM的编译器的实现,并分享我们在实现自己的LLVM编译器过程中获得的经验。对于手头有GCC编译器的开发人员,我们提出了一种方法,通过使用现有GCC编译器的输出作为参考来帮助他们验证新的LLVM编译器。COFFEE核心(A core For FrEE)是我们的目标硬件,它既支持整数运算,也支持单精度浮点运算。本文将说明基于LLVM的COFFEE核心编译器是如何在前端和后端实现的。
{"title":"A LLVM based compiler for COFFEE","authors":"Guoqing Zhang, T. Ahonen","doi":"10.1109/ISORC.2013.6913221","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913221","url":null,"abstract":"LLVM has gained its popularity from both industrial side and academic side due to its well-defined architecture and good support for parallel programming. The purpose of this paper is to explain essential concepts which must be understood by complier developers in order to carry on the implementation of LLVM based compiler and also share experiences that we've gained during the implementation of our own LLVM compiler. For developers who have a working GCC compiler at hand, we propose a methodology to help them verify the new LLVM compiler by using the output of existing GCC compiler as reference. The COFFEE core (A Core For FrEE) is the hardware we are targeting, which supports both integer operations and single precision floating point operations. The paper will illustrate how the LLVM based compiler for the COFFEE core is implemented in both front end and back end.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134106911","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 intelligent services in smart home environments 走向智能家居环境中的智能化服务
Can Basaran, Homin Park, Taejoon Park, S. Son
Smart home environments require tight coupling between different types of sensors, actuators, and computer algorithms. To address the challenges in building a robust and effective smart home environment, it is essential to develop a systematic approach to handling a large number of components and their interactions. We describe a wholistic, multi-layered, and service oriented approach to smart home environment design that will enable abstractions needed for deploying system applications and analyzing individual modules. This paper presents our approach and modules, sensors, and actuators that are required for intelligent services in smart home environments.
智能家居环境需要不同类型的传感器、执行器和计算机算法之间的紧密耦合。为了应对构建强大而有效的智能家居环境的挑战,必须开发一种系统的方法来处理大量组件及其相互作用。我们描述了一种整体的、多层的、面向服务的智能家居环境设计方法,它将使部署系统应用程序和分析单个模块所需的抽象成为可能。本文介绍了智能家居环境中智能服务所需的方法和模块、传感器和执行器。
{"title":"Towards intelligent services in smart home environments","authors":"Can Basaran, Homin Park, Taejoon Park, S. Son","doi":"10.1109/ISORC.2013.6913228","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913228","url":null,"abstract":"Smart home environments require tight coupling between different types of sensors, actuators, and computer algorithms. To address the challenges in building a robust and effective smart home environment, it is essential to develop a systematic approach to handling a large number of components and their interactions. We describe a wholistic, multi-layered, and service oriented approach to smart home environment design that will enable abstractions needed for deploying system applications and analyzing individual modules. This paper presents our approach and modules, sensors, and actuators that are required for intelligent services in smart home environments.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115862799","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
HeroeS: Virtual platform driven integration of heterogeneous software components for multi-core real-time architectures HeroeS:虚拟平台驱动的异构软件组件集成,用于多核实时架构
Markus Becker, U. Kiffmeier, W. Müller
This article presents the HeroeS virtual platform driven methodology for embedded multi-core and real-time SW design. The methodology's focus is on early integration, testing and performance estimation of heterogeneous SW stacks, i.e., SW components and layers at mixed abstraction levels and/or targeting different instruction sets. We take into account current system-level methodologies such as Transaction Level Modeling (TLM) and Real-Time Operating System (RTOS) modeling. For this, a SystemC virtual platform framework is presented combining state of the art simulation techniques according to the proposed methodology. This includes host-compiled target SW abstraction, abstract RTOS and Hardware Abstraction Layer (HAL) models in SystemC, extended QEMU user and system mode emulation and TLM 2.0 bus models. Efficient but yet accurate performance estimates can be provided through static and dynamic annotation. We apply binary mutation testing, i.e, a test assessment and improvement approach for instruction level SW testing. Our approach was investigated by prototypical integration into a commercial AUTOSAR environment. Experimental results were obtained by an automotive case study: a fault-tolerant fuel injection control system, which is part of an in-car network.
本文提出了一种基于HeroeS虚拟平台驱动的嵌入式多核实时软件设计方法。该方法的重点是异构软件栈的早期集成、测试和性能评估,例如,混合抽象级别和/或针对不同指令集的软件组件和层。我们考虑到当前的系统级方法,如事务级建模(TLM)和实时操作系统(RTOS)建模。为此,根据所提出的方法,结合当前最先进的仿真技术,提出了一个SystemC虚拟平台框架。这包括主机编译的目标软件抽象、SystemC中的抽象RTOS和硬件抽象层(HAL)模型、扩展的QEMU用户和系统模式仿真以及TLM 2.0总线模型。通过静态和动态注释可以提供高效而准确的性能估计。我们应用二进制突变测试,即一种测试评估和改进方法来进行指令级软件测试。我们的方法通过原型集成到商业AUTOSAR环境中进行了研究。以车载网络中的容错燃油喷射控制系统为例进行了实验研究。
{"title":"HeroeS: Virtual platform driven integration of heterogeneous software components for multi-core real-time architectures","authors":"Markus Becker, U. Kiffmeier, W. Müller","doi":"10.1109/ISORC.2013.6913192","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913192","url":null,"abstract":"This article presents the HeroeS virtual platform driven methodology for embedded multi-core and real-time SW design. The methodology's focus is on early integration, testing and performance estimation of heterogeneous SW stacks, i.e., SW components and layers at mixed abstraction levels and/or targeting different instruction sets. We take into account current system-level methodologies such as Transaction Level Modeling (TLM) and Real-Time Operating System (RTOS) modeling. For this, a SystemC virtual platform framework is presented combining state of the art simulation techniques according to the proposed methodology. This includes host-compiled target SW abstraction, abstract RTOS and Hardware Abstraction Layer (HAL) models in SystemC, extended QEMU user and system mode emulation and TLM 2.0 bus models. Efficient but yet accurate performance estimates can be provided through static and dynamic annotation. We apply binary mutation testing, i.e, a test assessment and improvement approach for instruction level SW testing. Our approach was investigated by prototypical integration into a commercial AUTOSAR environment. Experimental results were obtained by an automotive case study: a fault-tolerant fuel injection control system, which is part of an in-car network.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"200 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122975569","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
Alarm delivery to Unmanned Aerial Vehicles in wireless sensor networks using coordinators 在使用协调器的无线传感器网络中向无人机发送警报
T. Heimfarth, Hewerton Enes de Oliveira, E. P. Freitas
This work presents a method of coordinating static ground sensors with Unmanned Aerial Vehicles using coordinators. The ground wireless sensors are responsible for the primary detection of an event (e.g. intrusion in the monitored area). After the initial detection, a suitable UAV, equipped with high quality surveillance devices, should be designed inspect the event's area. A method combining a geographic routing with a UAV-CoordinatorPosition function that is responsible to deliver the initial alarm to the selected UAV is presented. In this method, each UAV has a coordinator node on the ground network. This coordinator receive periodic updates of the UAV actual position. When an alarm is issued by any ground sensor, it is forwarded to the appropriated coordinator, and it is then responsible to forward using the geo-routing to the selected UAV. The position of the coordinator is determined by the UAV-CoordinatorPosition function which receives the characteristics of the UAV as input and returns the position of the corresponding coordinator. Results showed the efficiency of the proposed method, reducing by 45.39% the number of hops needed to find the appropriate UAV in comparison with the strategy using a bio-inspired method presented in the literature. In most cases, the UAV could handle at least 65% of the alarms.
本文提出了一种利用协调器与无人机协调静态地面传感器的方法。地面无线传感器负责对事件进行初步探测(例如,入侵监控区域)。在初步发现后,应设计一架合适的无人机,配备高质量的监视设备,对事件区域进行检查。提出了一种将地理路由与UAV- coordinatorposition函数相结合的方法,该函数负责向选定的UAV发送初始警报。在该方法中,每架无人机在地面网络上都有一个协调节点。这个协调器接收无人机实际位置的定期更新。当警报由任何地面传感器发出时,它被转发到适当的协调器,然后它负责使用地理路由转发到选定的无人机。协调器的位置由UAV- coordinatorposition函数确定,该函数接收UAV的特征作为输入,并返回相应协调器的位置。结果表明,所提出的方法效率高,与文献中采用仿生方法的策略相比,找到合适无人机所需的跳数减少了45.39%。在大多数情况下,无人机可以处理至少65%的警报。
{"title":"Alarm delivery to Unmanned Aerial Vehicles in wireless sensor networks using coordinators","authors":"T. Heimfarth, Hewerton Enes de Oliveira, E. P. Freitas","doi":"10.1109/ISORC.2013.6913219","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913219","url":null,"abstract":"This work presents a method of coordinating static ground sensors with Unmanned Aerial Vehicles using coordinators. The ground wireless sensors are responsible for the primary detection of an event (e.g. intrusion in the monitored area). After the initial detection, a suitable UAV, equipped with high quality surveillance devices, should be designed inspect the event's area. A method combining a geographic routing with a UAV-CoordinatorPosition function that is responsible to deliver the initial alarm to the selected UAV is presented. In this method, each UAV has a coordinator node on the ground network. This coordinator receive periodic updates of the UAV actual position. When an alarm is issued by any ground sensor, it is forwarded to the appropriated coordinator, and it is then responsible to forward using the geo-routing to the selected UAV. The position of the coordinator is determined by the UAV-CoordinatorPosition function which receives the characteristics of the UAV as input and returns the position of the corresponding coordinator. Results showed the efficiency of the proposed method, reducing by 45.39% the number of hops needed to find the appropriate UAV in comparison with the strategy using a bio-inspired method presented in the literature. In most cases, the UAV could handle at least 65% of the alarms.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126086857","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
期刊
16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)
全部 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