2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops最新文献_第2页

Analytical Model for the Optimization of Self-Organizing Image Processing Systems Utilizing Cellular Automata 基于元胞自动机的自组织图像处理系统优化分析模型

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2011-03-28 DOI: 10.1109/ISORCW.2011.25

M. Reichenbach, Michael Schmidt, D. Fey

引用次数: 9

Model-Based Hardware Generation and Programming - The MADES Approach 基于模型的硬件生成和编程——MADES方法

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2011-03-28 DOI: 10.1109/ISORCW.2011.20

Ian Gray, N. Matragkas, N. Audsley, L. Indrusiak, D. Kolovos, R. Paige

{"title":"Model-Based Hardware Generation and Programming - The MADES Approach","authors":"Ian Gray, N. Matragkas, N. Audsley, L. Indrusiak, D. Kolovos, R. Paige","doi":"10.1109/ISORCW.2011.20","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.20","url":null,"abstract":"This paper gives an overview of the model-based hardware generation and programming approach proposed within the MADES project. MADES aims to develop a model-driven development process for safety-critical, real-time embedded systems. MADES defines a systems modelling language based on subsets of MARTE and SysML that allows iterative refinement from high-level specification down to final implementation. The MADES project specifically focusses on three unique features which differentiate it from existing model-driven development frameworks. First, model transformations in the Epsilon modelling framework are used to move between system models and provide traceability. Second, the Zot verification tool is employed to allow early and frequent verification of the system being developed. Third, Compile-Time Virtualisation is used to automatically retarget architecturally-neutral software for execution on complex embedded architectures. This paper concentrates on MADES's approach to the specification of hardware and the way in which software is refactored by Compile-Time Virtualisation.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"31 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":"115976811","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}

引用次数: 18

Component-Based Hazard Analysis for Mechatronic Systems 基于部件的机电系统危害分析

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2011-03-28 DOI: 10.1109/ISORCW.2011.19

Claudia Priesterjahn, Christoph Sondermann-Wölke, M. Tichy, C. Hölscher

{"title":"Component-Based Hazard Analysis for Mechatronic Systems","authors":"Claudia Priesterjahn, Christoph Sondermann-Wölke, M. Tichy, C. Hölscher","doi":"10.1109/ISORCW.2011.19","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.19","url":null,"abstract":"One cannot image today's life without mechatronic systems, which have to be developed in a joint effort by teams of mechanical engineers, electrical engineers, control engineers and software engineers. Often these systems are applied in safety critical environments like in cars or aircrafts. This requires systems that function correctly and do not cause hazardous situations. However, random errors due to wear or external influences cannot be completely excluded. Consequently, we have to perform a hazard analysis for the system. Further, the union of four disciplines in one system requires the development and analysis of the system as a whole. We present a component-based hazard analysis that considers the entire mechatronic system including hardware, i.e. mechanical and electrical components, and software components. Our approach considers the physical properties of different types of flow in mechatronic systems. We have identified reusable patterns for the failure behavior which can be generated automatically. This reduces the effort for the developer. As cycles, e.g. control cycles, are an internal part of every mechatronic system our approach is able to handle cycles. The presented approach has been applied to a real-life case study.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"56 6 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":"116313855","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}

引用次数: 11

Ordering of Time-Dependent Tasks for Self-Organized Resource Scheduling 自组织资源调度中时间相关任务的排序

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2011-03-28 DOI: 10.1109/ISORCW.2011.26

Mathias Pacher, U. Brinkschulte

引用次数: 2

Suitability of Hypervisor and MPSoC Architectures for the Execution Environment of an Integrated Embedded System 集成嵌入式系统执行环境中Hypervisor和MPSoC架构的适用性

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2011-03-28 DOI: 10.1109/ISORCW.2011.13

M. Azkarate-askasua, I. Martinez, X. Iturbe, R. Obermaisser

引用次数: 2

Self-Reconfiguration for Fault-Tolerant FlexRay Networks FlexRay容错网络的自重构

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2011-03-28 DOI: 10.1109/ISORCW.2011.38

Kay Klobedanz, Andreas König, W. Müller, A. Rettberg

{"title":"Self-Reconfiguration for Fault-Tolerant FlexRay Networks","authors":"Kay Klobedanz, Andreas König, W. Müller, A. Rettberg","doi":"10.1109/ISORCW.2011.38","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.38","url":null,"abstract":"In this paper we present an approach for the self-reconfiguration of FlexRay networks to increase their fault tolerance. We propose a self-organized distributed coordinator concept which performs the self-reconfiguration in case of a node failure using redundant slots in the FlexRay schedule and combination of messages in existing frames and slots to avoid a complete bus restart. Therefore, the self-reconfiguration is realized by means of predetermined information about resulting changes in the communication dependencies and (re-)assignments from a introduced heuristic, which determines initial configurations and, based on that, calculates valid reconfigurations for the remaining nodes of the FlexRay network. The distributed coordinator concept, which is implemented by lightweight tasks not consuming any significant resources, uses these information and performs the reconfiguration of the FlexRay network at run time to increase the fault tolerance of the system. An evaluation by means of realistic safety-critical automotive real-time systems revealed that this reconfiguration approach determines valid reconfigurations for up to 80% of possible individual node failures and thereby offers applicable information for the self-reconfiguration approach. Furthermore, in an iterative design process these results can be improved to optimize the reconfigurations. The evaluation of our self-organized distributed coordinator concept and the comparison to a centrally organzied solution with a dedicated coordinator proves its benefits regarding the additional hardware and communication overhead and the resulting reconfiguration time, which has an great impact on the fault tolerance of the FlexRay network.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"21 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":"126195946","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

Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art 自主服务组件集成中的知识表示和意识——最新进展

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2011-03-28 DOI: 10.1109/ISORCW.2011.21

Emil Vassev, M. Hinchey

引用次数: 28

Self-Organized Cooperation in Swarm Robotics 群机器人中的自组织合作

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2011-03-28 DOI: 10.1109/ISORCW.2011.30

Yara Khaluf, Emi Mathews, F. Rammig

{"title":"Self-Organized Cooperation in Swarm Robotics","authors":"Yara Khaluf, Emi Mathews, F. Rammig","doi":"10.1109/ISORCW.2011.30","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.30","url":null,"abstract":"Cooperation is a key concept used in multi-robot systems for performing complex tasks. In swarm robotics, a self-organized cooperation is applied, where robots with limited intelligence cooperate and interact locally to build up the desired global behavior. In this paper, we are studying a mobile object tracking scenario performed by a swarm of robots. The robustness, scalability and flexibility of swarm robots make it an attractive approach for missions like object tracking in complex and dynamic environments. As the individual robot capabilities are limited in swarm systems, the robots may not be able to track the mobile object continuously. This limitation is overcome using the robots communication capability. In order to increase the probability of object detection, we propose a greedy self-deployment strategy, where the robots are spread uniformly in the environment to be monitored. For detecting a moving target, the robots use a biologically inspired algorithm for collecting robots currently located in other regions to track the target. In such cooperative tasks the robots normally need to be time synchronized for simultaneous activation. A new proposal for time synchronization in swarm robots is introduced which exploits the mobility of the robots for handling possible disconnections in the network and synchronize them at the beginning of tracking time slots.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"12 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":"131119807","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

Product Model Derivation by Model Transformation in Software Product Lines 软件产品线中基于模型转换的产品模型派生

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2011-03-28 DOI: 10.1109/ISORCW.2011.18

Rasha Tawhid, D. Petriu

{"title":"Product Model Derivation by Model Transformation in Software Product Lines","authors":"Rasha Tawhid, D. Petriu","doi":"10.1109/ISORCW.2011.18","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.18","url":null,"abstract":"Product derivation is an essential part of the Software Product Line (SPL) development process. The paperproposes a model transformation for deriving automatically a UML model of a specific product from the UML model of a product line. This work is a part of a larger project aiming to integrate performance analysis in the SPL model-driven development. The SPL source model is expressed in UML extended with two separate profiles: a \"product line\" profile from literature for specifying the commonality and variability between products, and the MARTE profile recently standardized by OMG for performance annotations. The automatic derivation of a concrete product model based on a given feature configuration is enabled through the mapping between features from the feature model and their realizations in the design model. The paper proposes an efficient mapping technique that aims to minimize the amount of explicit feature annotations in the UML design model of SPL. Implicit feature mapping is inferred during product derivation from the relationships between annotated and non-annotated model elements as defined in the UML metamodel and well formedness rules. The transformation is realized in the Atlas Transformation Language (ATL) and illustrated with an ecommerce case study that models structural and behavioural SPL views.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"167 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":"131153448","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}

引用次数: 13

Virtual Software Execution Environments for Distributed Embedded Control Systems 分布式嵌入式控制系统的虚拟软件执行环境

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2011-03-28 DOI: 10.1109/ISORCW.2011.35

Y. Nakamoto, Kenji Yabuuchi, Tatsunori Osaki

{"title":"Virtual Software Execution Environments for Distributed Embedded Control Systems","authors":"Y. Nakamoto, Kenji Yabuuchi, Tatsunori Osaki","doi":"10.1109/ISORCW.2011.35","DOIUrl":"https://doi.org/10.1109/ISORCW.2011.35","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 dependability 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 describe a fast CPU simulator and controlled object simulation for testing control software in a virtual software execution environment. The virtual environment integrates a CPU simulator and a controlled object simulator in order to test functional behaviors of embedded control software. The environment enables the developer to test control software at the same execution rate as a real system without the source codes. This is very helpful because in this industry, not all of the source codes are provided.","PeriodicalId":126022,"journal":{"name":"2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"7 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":"125393564","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