{"title":"Using Transactional Memory to Synchronize an Adaptive Garbage Collector in Real-Time Java","authors":"Teresa Higuera-Toledano","doi":"10.1109/ISORCW.2011.24","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.24","url":null,"abstract":"Currently multicore systems start to be used even in low-end devices such as embedded systems controllers requiring real-time guarantees. Hardware Transactional Memory (TM) is a new synchronization paradigm for this architecture, allowing problems of lock-based methods and making easer programming. We propose to use TM to synchronize the concurrent/parallel execution of the Garbage Collector (GC) and Java applications, within the context of an embedded real-time environment. GC gives robust programming, and performance advantages. Since in the context of real-time systems, a collector must guarantee a worst-case in it performance, the worst-case time for a committed transaction must be limited; we achieve this by limiting its size (i.e., the size of the explored object).","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123523382","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}
Florian Bartols, T. Steinbach, Franz Korf, T. Schmidt
{"title":"Performance Analysis of Time-Triggered Ether-Networks Using Off-the-Shelf-Components","authors":"Florian Bartols, T. Steinbach, Franz Korf, T. Schmidt","doi":"10.1109/ISORCW.2011.16","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.16","url":null,"abstract":"The performance analysis and validation of distributed real-time systems poses significant challenges due to high accuracy requirements at the measurement tools. A fully synchronized time-scale at ultrafine granularity is not easy to generate. Even though there are several analyzer tools for standard switched Ethernet, these tools cannot be applied in time-triggered networks, since they do not meet the requirements of synchronized packet generation. This paper introduces a low cost and lightweight approach to measure end-to-end latency of time-triggered Ethernet traffic with off-the-shelf components. By using standard computer hardware and a real-time Linux Kernel, it is shown that measurement can be achieved in a resolution of microseconds. Furthermore, a validation with an Ethernet performance analyzer and a mathematical framework is presented to check the given results.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130152505","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}
{"title":"Using a Local Prefetch Strategy to Obtain Temporal Time Predictability","authors":"Bekim Cilku, P. Puschner","doi":"10.1109/ISORCW.2011.41","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.41","url":null,"abstract":"Today's embedded systems are considering cache as inherent part of their design. Unfortunately, cache memory behavior heavily depends on the past references which model a large execution history and makes WCET analysis impractical. This paper presents a novel prefetch memory mechanism that simplifies the prediction of cache hits/misses because the memory access times are independent of the execution history. We use local prefetching into on-chip memory together with a custom-designed prefetch controller instead of cache memories to provide for time-predictable memory accesses. To be competitive in code execution time, our approach relies on a special organization of main memory and on a modified compiler that generates code layouts to allow for parallel prefetching from different memory banks. The proposed solution is still in a conceptual phase. The paper discusses design decisions and parameters to be explored.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128359542","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}
{"title":"Self-Organizing Real-Time Service Dissemination and Collection Using Mobile Agents for Mobile Ad Hoc Networks","authors":"T. Ohta, Takeshi Hashimoto, Y. Kakuda","doi":"10.1109/ISORCW.2011.29","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.29","url":null,"abstract":"A mobile ad hoc network consists of only mobile nodes without the access points and the center server. In the mobile ad hoc network environment, a set of nodes in the network and the network topology are frequently changing due to the node appearance, the node disappearance, and the node movement so that it is not easy for users in the network to obtain the services provided in the network. Therefore, without the service discovery scheme, it is impossible to inform the users in the network of the service information provided in the network. However, since there are no center servers in the mobile ad hoc network environment, the self-organized mechanism must be examined to collect the service information in the network and disseminate them to the users. Besides, since the changes of users or the services in the network occur many times with time, they should be reflected as short time as possible. Therefore, we propose a new scheme for self-organizing real-time service dissemination and collection using mobile agents in the mobile ad hoc network environment. Mobile agents migrate among nodes to collect the service information in the network and disseminate them to the users in the network. Finally, we conducted simulation experiments to show the performance of the proposed scheme with respect to the service dissemination time.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"158 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120891294","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}
{"title":"Intelligent Agent Software Development Using AUML and the Descartes Specification Language","authors":"V. Subburaj, J. E. Urban","doi":"10.1109/ISORCW.2011.43","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.43","url":null,"abstract":"Developing software systems that are complicated and critical gives challenges to software engineers and the software industry. Intelligent software agent design is one such application domain that imposes challenges. The application of formal methods in software engineering, specifically with executable software specification languages, can involve much learning among the users of the system. Although executable software specifications tend to be advantageous over the traditional software specification process, the passive growth inside industry remains open for research efforts to come up with the hidden myths. The application of formal methods during system development of intelligent software agents makes the design of the product reliable. This paper describes an approach that combines an extension to the widely used Unified Modeling Language (UML) for design with an executable specification language. Also, the paper describes an approach that transforms agent oriented specifications written using the extended Descartes specification language into a high level design representation using Agent UML (AUML).","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130423971","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}
Alexander Schacht, Robert Wierschke, Martin Wolf, M. V. Löwis, A. Polze
{"title":"Live Streaming of Medical Data - The Fontane Architecture for Remote Patient Monitoring and Its Experimental Evaluation","authors":"Alexander Schacht, Robert Wierschke, Martin Wolf, M. V. Löwis, A. Polze","doi":"10.1109/ISORCW.2011.36","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.36","url":null,"abstract":"Demographic transition and the decreasing number of medical experts in rural areas create a growing demand for tele-medicine systems that allow remote patient monitoring. Especially in the context of heart diseases, the possibility to transmit electrocardiograph (ECG) data in a streaming mode is of high interest. However, available cellular networks with protocols like GPRS, EDGE or UMTS are highly unreliable due to frequent connection interruptions and high bandwidth variations for data traffic. In this paper, we present a system suitable for live ECG-streaming over UMTS. We describe a usability experiment of the system within the context of the Berlin-Marathon, a huge event with 40.000 participants - 5 of them carrying devices with our software for live ECG streaming. The systems successfully demonstrated the use of near-field Bluetooth communication between electronic health care devices and a home broker in conjunction with mobile communication via UMTS. The forthcoming Fontane system builds upon experiences collected with the current prototype. We present these experiences and discusses some of the challenges of live streaming of medical data across unreliable heterogeneous networks.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133361547","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}
Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, M. Jan, M. Jacques
{"title":"Method and Tools for Mixed-Criticality Real-Time Applications within PharOS","authors":"Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, M. Jan, M. Jacques","doi":"10.1109/ISORCW.2011.15","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.15","url":null,"abstract":"This paper provides an overview of some principles and mechanisms to securely operate mixed-criticality real-time systems on embedded platforms. Those principles are illustrated with PharOS a complete set of tools to design, implement and execute real-time systems on automotive embedded platforms. The keystone of this approach is a dynamic time-triggered methodology that supports full temporal isolation without wasting CPU time. In addition, memory isolation is handled through automatic off-line generation of fine-grained memory protection tables used at runtime. These isolation mechanisms are building blocks for the support of mixed-criticality applications. Several extensions have been brought to this model to expand the support for mixed-criticality within the system. These extensions feature fault recovery, support for the cohabitation of event-triggered with time-triggered tasks and paravirtualization of other operating systems. The contribution of this paper is to provide a high-level description of these extensions, along with an analysis of their impact on the global system safety, in particular on the determinism property of the PharOS model.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125240879","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}
{"title":"Timely Virtual Machine Migration for Pro-active Fault Tolerance","authors":"A. Polze, Peter Tröger, Felix Salfner","doi":"10.1109/ISORCW.2011.42","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.42","url":null,"abstract":"Next generation processor and memory technologies will provide tremendously increasing computing and memory capacities for application scaling. However, this comes at a price: Due to the growing number of transistors and shrinking structural sizes, overall system reliability of future server systems is about to suffer significantly. This makes reactive fault tolerance schemes less appropriate for server applications under reliability and timeliness constraints. We propose an architectural blueprint for managing server system dependability in a pro-active fashion, in order to keep service-level promises for response times and availability even with increasing hardware failure rates. We introduce the concept of anticipatory virtual machine migration that proactively moves computation away from faulty or suspicious machines. The migration decision is based on health indicators at various system levels that are combined into a global probabilistic reliability measure. Based on this measure, live migration techniques can be triggered in order to move computation to healthy machines even before a failure brings the system down.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127425195","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}
{"title":"Middleware Support for a Self-Configurable Wireless Sensor Network","authors":"M. Götz, A. Rettberg, Ina Podolski","doi":"10.1109/ISORCW.2011.45","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.45","url":null,"abstract":"This paper describes a self-configurable middleware and a node execution platform to support autonomous sensor networks. We achieve self-configuration by scheduling and strategies similar to load balancing (mapping) that is integrated in our proposed middleware. On the node execution platform we decide on the fly between microprocessor and FPGA realization of hybrid tasks. We propose a combination of the middleware with the node execution platform to achieve a fully self-configurable system. If an error occurred in a self-configurable network it is able to overcome it that makes the network more reliable and stable. In the case a node fails all the tasks running on this node are mapped automatically by our middleware to other nodes inside the sensor network. To enable the migration and mapping it is important to identify the requirements of all nodes within the sensor network and their tasks.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130601000","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}
{"title":"Architectural Design Patterns for Flight Software","authors":"Julie S. Fant, H. Gomaa, IV RobertG.Pettit","doi":"10.1109/ISORCW.2011.39","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.39","url":null,"abstract":"Software design patterns are best practice solutions to common software design problems. When they are properly applied, software design patterns can greatly improve the quality of software architectures. However, applying design patterns in practice can be difficult since design pattern descriptions are domain and platform independent. Leveraging the benefits of design patterns is particularly important in the space flight software (FSW) domain because better designs are needed to help reduce the number of in flight software related anomalies. In order to address the aforementioned problems, this paper presents software architectural design patterns for space flight software. This paper describes how architectural design pattern templates can be used to build common features of FSW architectures. The FSW architectures produced can be validated for functional and performance correctness.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114258145","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}