{"title":"Experimental Reliability Analysis of Multi-UAV Simulation with TMO-Based Distributed Architecture and Global Time Synchronization","authors":"Seung-Hwa Song, Doohyun Kim, Chun-Hyon Chang","doi":"10.1109/ISORCW.2010.23","DOIUrl":"https://doi.org/10.1109/ISORCW.2010.23","url":null,"abstract":"In developing multi-UAV (Unmanned Aerial Vehicle) system, a simulation environment is essential to verify the functionalities of the whole system with higher productivity and reduced risks of accidents. Simulations of multi-UAV systems are usually accomplished by using distributed systems where multiple standalone simulators are connected via a network. Thus, in order to achieve an improved reality in such distributed simulation environments, the whole multi-UAV simulator should be guaranteed real-time and synchronized behaviors among the connected systems. In this paper, we discuss about the necessity of two important real-time features, i.e., the periodicity of computations and the clock synchronization among standalone simulators. We also propose an architecture based on TMO(Time-triggered and Message-triggered Object) model as a multi-UAV simulation platform with our preliminary experimental results showing its potential feasibilities.","PeriodicalId":174806,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122140825","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":"Consistency Challenges in Self-Organizing Distributed Hard Real-Time Systems","authors":"S. Stein, M. Neukirchner, H. Schrom, R. Ernst","doi":"10.1109/ISORCW.2010.17","DOIUrl":"https://doi.org/10.1109/ISORCW.2010.17","url":null,"abstract":"Allowing real-time systems to autonomously evolve or self-organize during their life-time poses challenges on guidance of such a process. Hard real-time systems must never break their timing constraints even if undergoing a change in configuration. We propose to enhance future real-time systems with an in-system model-based timing analysis engine capable of deciding whether a configuration is feasible to be executed. This engine is complemented by a formal procedure guiding system evolution. The distributed implementation of a runtime environment (RTE) implementing this procedure imposes two key questions of consistency: How do we ensure model consistency across the distributed system and how do we ensure consistency of the actual system behavior with the model? We present a synchronization protocol solving the model consistency issues and provide a discussion on implications of different mode-change protocols on consistency of the system with its model.","PeriodicalId":174806,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"53 30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122892213","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":"Adaptive Distributed Service Discovery for Dependable Service Integration","authors":"Lu Liu, Jie Xu, Kaigui Wu","doi":"10.1109/ISORCW.2010.24","DOIUrl":"https://doi.org/10.1109/ISORCW.2010.24","url":null,"abstract":"For the provision of dependable search and rescue capability in dynamic and unpredictable disaster areas, each networked node should have ability to (1) autonomously support and co-operate with each other in a peer-to-peer (P2P) manner to quickly discover and dependably self-configure services available on the disaster area to deliver a real-time capability; (2) modify their behaviours to deliver a sustainable capability according to environmental changes; (3) self-organise themselves to generate higher flexibility and adaptability for disaster management systems; and (4) share information and generate access throughout the network. In this paper, we propose an Adaptive and Efficient Peer-to-peer Search (AEPS) approach for dependable service integration on service-oriented architecture based on a number of social behaviour patterns. AEPS is capable to efficiently discover desirable services for disaster monitoring and relief by interacting with connected nodes and to support dependable dynamic service integration in real time through coping with rapid and significant changes in the disaster area. AEPS has no single point of failure, providing greater dependability in provision of capability even in the worst case of failure of service registry.","PeriodicalId":174806,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"22 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125207285","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}
Y. Nakamoto, Kenji Yabuuchi, Tatsunori Osaki, T. Kishida, T. Hara, I. Abe, A. Kitamura
{"title":"Proposing a Hybrid Software Execution Environment for Distributed Embedded Systems","authors":"Y. Nakamoto, Kenji Yabuuchi, Tatsunori Osaki, T. Kishida, T. Hara, I. Abe, A. Kitamura","doi":"10.1109/ISORCW.2010.19","DOIUrl":"https://doi.org/10.1109/ISORCW.2010.19","url":null,"abstract":"The size and complexity of large-scale distributed embedded systems such as automotive and process controls have increased recently. Sophisticated systems that are safe and environmentally friendly require numerous types of sensor data, which are collected from various devices and sent to computers through networks. To develop such large-scale distributed embedded systems with high quality and productivity, we have developed a virtual execution environment platform. This platform integrates numerous CPU simulators and various device simulators through the network and provides network-wide simulation functionalities. In this paper, we propose a hybrid software execution environment and describe the development and evaluation of the technology element required in its implementation. The hybrid software execution environment integrates virtual and real software execution environments in order to chg{check functional behavior of} distributed embedded software in a more realistic environment. In the environment, CPU simulators and device simulators are implemented as Common Object Request Broker Architecture (CORBA) objects, and messages in the simulation objects are transferred at the actual rate in the target setting.","PeriodicalId":174806,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130738582","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":"Towards a Time-Predictable Hierarchical Memory Architecture - Prefetching Options to be Explored","authors":"Bekim Cilku, P. Puschner","doi":"10.1109/ISORCW.2010.22","DOIUrl":"https://doi.org/10.1109/ISORCW.2010.22","url":null,"abstract":"In this paper we explore a hierarchical memory architecture that simplifies the WCET prediction of tasks. Instead of using cache memories for speeding up code execution, we propose to use hierarchical memories that are similar to scratchpad memories. These memories are filled by explicit prefetch operations that are executed in synchrony with program execution. The instructions respectively the data that determine both the content and the timing of the operations that perform the memory transfers between the different memory levels are computed at code-generation time. The paper describes the overall system and memory architecture, and design choices for explicitly controlled time-predictable hierarchical memory architectures.","PeriodicalId":174806,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114553583","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":"Real-Time Self-Organizing Autonomous Clustering for Mobile Ad Hoc Networks","authors":"Y. Kakuda, T. Ohta, Ryotaro Oda","doi":"10.1109/ISORCW.2010.14","DOIUrl":"https://doi.org/10.1109/ISORCW.2010.14","url":null,"abstract":"In order to realize hierarchical routings that should be executed in large-scaled mobile ad hoc networks that vary their topologies considerably with time, we have developed autonomous clustering with high scalability and adaptability. In autonomous clustering, an entire network is divided into disjoint subnetworks (called clusters), and they are maintained by periodically sending messages within the clusters. This paper proposes real-time self-organizing autonomous clustering, in which interval and power for transmitting such messages are dynamically changed depending on variation of mobility and density of the clusters. Since their mobility and density can be estimated by local information obtained in the clusters and according to their respective change the clusters are self-organized in real-time way, the proposed real-time self-organizing autonomous clustering can contribute to enhancement of its scalability and adaptability.","PeriodicalId":174806,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134040767","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":"An Industrial Case Study Using an MBE Approach: From Architecture to Safety Analysis","authors":"S. Dalpez, R. Passerone, D. Cancila, F. Terrier","doi":"10.1109/ISORCW.2010.11","DOIUrl":"https://doi.org/10.1109/ISORCW.2010.11","url":null,"abstract":"We discuss the initial phases of software development of a real industrial safety-related device in the railway application domain. In particular, to achieve greater confidence in the system, we illustrate the development of the system architecture (using a standard model domain-specific language), the computation of the safety integrity level and the calculation of the reliability of the whole system. We reiterate the safety analysis on the sub-systems. The proposed methodology has found immediate industrial applications.","PeriodicalId":174806,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124641842","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":"Real-Time Distribution of Time-Dependant Tasks in Heterogeneous Environments","authors":"Mathias Pacher, U. Brinkschulte","doi":"10.1109/ISORCW.2010.9","DOIUrl":"https://doi.org/10.1109/ISORCW.2010.9","url":null,"abstract":"In this paper we present a new approach to distribute tasks connected by causal dependencies within a heterogeneous environment, e.g. several resources communicating with each other or a processor grid. Our approach uses an artificial hormone system for task distribution which is able to meet real-time constraints. Several enhancements of the artificial hormone system are made such as partial suppressing of tasks and distributed task termination.","PeriodicalId":174806,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121461287","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":"Developing Self-Managing Embedded Systems with ASSL","authors":"Emil Vassev, M. Hinchey","doi":"10.1109/ISORCW.2010.38","DOIUrl":"https://doi.org/10.1109/ISORCW.2010.38","url":null,"abstract":"This research targets formal modeling of embedded systems capable of self-management. In our approach, we use the ASSL (Autonomic System Specification Language) framework as a development environment, where self-management features of embedded systems are formally specified and an implementation is automatically generated. ASSL exposes a rich set of specification constructs that help developers specify event-driven embedded systems. Hardware is sensed via special metrics intended to drive events and self-management policies that help the system handle critical situations in an autonomous reactive manner. We present this approach along with a simulation case study where ASSL is used to develop control software for the wide-angle camera carried on board NASA’s Voyager II spacecraft.","PeriodicalId":174806,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134570884","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}
Sang Hoon Lee, L. Choi, Yunmook Nah, Seungki Hong, J. Jun
{"title":"Policy-Based Reprogramming for Wireless Sensor Networks","authors":"Sang Hoon Lee, L. Choi, Yunmook Nah, Seungki Hong, J. Jun","doi":"10.1109/ISORCW.2010.34","DOIUrl":"https://doi.org/10.1109/ISORCW.2010.34","url":null,"abstract":"Program codes running on the sensor nodes need to be updated from time to time to fix bugs, tune the parameters, insert new functions, or delete useless codes. In this paper, we propose a policy-based reprogramming framework that can optimize the reprogramming process based on the execution characteristics of modules that constitute the WSN applications. To accomplish this we model the characteristics of a module as a tuple of the following four criteria; region, residence, synchronization and real-time properties of the module. According to the class of a module and the type of a reprogramming operation, we adaptively use 3 different reprogramming techniques; efficient code dissemination using connected dominating set, selective code dissemination, and code acquisition. Experimentation results confirm that this policy-based reprogramming can achieve substantial improvement in both the energy consumption and the reprogramming latency compared to existing solutions for various reprogramming scenarios.","PeriodicalId":174806,"journal":{"name":"2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"540 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133557404","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}