2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops最新文献_第3页

DVCE: The Virtual Computing Environment Supported by Distributed VM Images DVCE:分布式虚拟机镜像支持的虚拟计算环境

2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2012-04-11 DOI: 10.1109/ISORCW.2012.25

Tianyu Wo, Hanwen Wang, Chunming Hu, Yabing Cui

{"title":"DVCE: The Virtual Computing Environment Supported by Distributed VM Images","authors":"Tianyu Wo, Hanwen Wang, Chunming Hu, Yabing Cui","doi":"10.1109/ISORCW.2012.25","DOIUrl":"https://doi.org/10.1109/ISORCW.2012.25","url":null,"abstract":"Compared to the conventional physical cluster, the virtual cluster technology has features such as flexible configuration, easy management and high system security, which provides users with an easily customized computing environment. Virtual machine image files as the most important stored objects in the virtual computing environment include all the information about the whole life cycle of virtual machine. The storage of the virtual machine images is an important part of virtual computing. There are mainly two ways to store the images, which include local storage and networking storage. This paper proposes a mechanism to manage the distributed image files to support the virtual computing environment. It uses the computing nodes` local storage as a chunk server in a distributed file system, and regards the distribution of the image files as a primary factor to choose the computing node to deploy virtual machine and to implement a backup mechanism of distributed images based on historical records of image files. Functional test and performance test results show that it can effectively support the virtual computing environment and has great values of applications and research.","PeriodicalId":408357,"journal":{"name":"2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131937860","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

Overbooking-Based Resource Allocation in Virtualized Data Center 虚拟化数据中心基于超预定的资源分配

2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2012-04-11 DOI: 10.1109/ISORCW.2012.34

Tianyu Wo, Qian Sun, B. Li, Chunming Hu

引用次数: 14

Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata 基于混合自动机的CTCS 3级功能安全分析方法

2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2012-04-11 DOI: 10.1109/ISORCW.2012.12

Jintao Liu, T. Tang, Lin Zhao, Tianhua Xu, Wei Zheng

引用次数: 6

Component Based Design of Fault Tolerant Devices in Cyber Physical System 基于组件的网络物理系统容错器件设计

2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2012-04-11 DOI: 10.1109/ISORCW.2012.17

Tianhua Xu, Zhiming Liu, T. Tang, Wei Zheng, Lin Zhao

{"title":"Component Based Design of Fault Tolerant Devices in Cyber Physical System","authors":"Tianhua Xu, Zhiming Liu, T. Tang, Wei Zheng, Lin Zhao","doi":"10.1109/ISORCW.2012.17","DOIUrl":"https://doi.org/10.1109/ISORCW.2012.17","url":null,"abstract":"The complexity of software in safety critical systems has increased significantly over the last ten years so that how to tackle the complexity and gain high dependable software plays an important roles in ensuring the overall product quality. In this context, component based development (CBD) has been successfully applied to large scale software system in the fields of Software Engineering. Similarly, System Safety Analysis (SSA) has also gained wide used in critical systems in the fields of System Safety Engineering. But they often used their methodology in isolation. Furthermore, shortage of unified formal framework to bridge the gap between the CBD and SSA make it hard to integrate them into a unified rigorous development process for safety critical systems. This paper describes a new approach called Component Fault Tree and Fault Tolerant pattern guided Fault Tolerant Software Architecture (CFT3SA), which bridge the gap between CBD and SSA to realize the seamless integration of CBD and SSA. Furthermore, the formal definitions of Component Fault Tree, Fault tolerant Pattern underpin the systematical verification and validation of fault tolerant systems. A case study from the Odemetry Safe System in the train control domain has been used to valuate the feasibility of the proposed fault tolerant software architectural solution.","PeriodicalId":408357,"journal":{"name":"2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127078236","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

Information Assurance for Real-Time Decision Support 实时决策支持的信息保障

2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2012-04-11 DOI: 10.1109/ISORCW.2012.35

Liangliang Xiao, F. Bastani, I. Yen, R. Paul

引用次数: 2

DMSS: A Dynamic Memory Scheduling System in Server Consolidation Environments 服务器整合环境中的动态内存调度系统

2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2012-04-11 DOI: 10.1109/ISORCW.2012.23

Lanzheng Liu, Rui Chu, Yongchun Zhu, Pengfei Zhang, Liufeng Wang

{"title":"DMSS: A Dynamic Memory Scheduling System in Server Consolidation Environments","authors":"Lanzheng Liu, Rui Chu, Yongchun Zhu, Pengfei Zhang, Liufeng Wang","doi":"10.1109/ISORCW.2012.23","DOIUrl":"https://doi.org/10.1109/ISORCW.2012.23","url":null,"abstract":"As the foundation of cloud computing, Server consolidation allows multiple computer infrastructures running as virtual machines in a single physical node. It improves the utilization of most kinds of resource but memory under x86 architecture. Because of inaccurate memory usage estimate and the lack of memory resource management, there is much service performance degradation in data centers, even though they have occupied a large amount of memory. Furthermore, memory becomes insufficient for a physical server when a lot of virtual machines depend on it. In order to improve this, we present a dynamic memory scheduling system called DMSS, which can manage memory resources in server consolidation environments and allocate memory among virtual machines on demand. We have designed and implemented the corresponding memory scheduling policy based on Xen virtualization platform to enhance memory efficiency and achieve service level agreement. The benchmark shows that DMSS can make an accurate and rapid response to memory changes and save more than 30% physical memory with less than 5% performance degradation. DMSS actually brings in economic benefits to cloud service providers because more virtual machines can be accommodated at lower costs.","PeriodicalId":408357,"journal":{"name":"2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124424689","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}

引用次数: 12

Review of Cyber-Physical System Architecture 信息物理系统架构综述

2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2012-04-11 DOI: 10.1109/ISORCW.2012.15

Liang Hu, Nannan Xie, Zhejun Kuang, Kuo Zhao

引用次数: 78

Research of Context Situation Awareness Technology 情境情境感知技术研究

2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2012-04-11 DOI: 10.1109/ISORCW.2012.22

Dian-xi Shi, Zhendong Wu, Bo Ding, H. Yan

引用次数: 1

An Extension to Computing Elements in Erlang for Actor Based Concurrent Programming 基于Actor并发编程的Erlang计算元素扩展

2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2012-04-11 DOI: 10.1109/ISORCW.2012.28

Kang Lianghuan, Cao Donggang

{"title":"An Extension to Computing Elements in Erlang for Actor Based Concurrent Programming","authors":"Kang Lianghuan, Cao Donggang","doi":"10.1109/ISORCW.2012.28","DOIUrl":"https://doi.org/10.1109/ISORCW.2012.28","url":null,"abstract":"Along with the development of multicore architectures and cloud computing, concurrent programming and computation becomes a huge challenge for application developers. Distributed environment turns into complexity and unpredictability. So it is important to improve programming models on language level to make it possible for programmers unfamiliar with distributed systems to build large-scale applications. Erlang is an actor-based functional programming language that provides language level elements for concurrency. It has capability of describing large quantities of concurrent actions by multiple-process, which communicates asynchronously by sending and receiving messages. But it lacks of data structures and mechanism of language level for inherent concurrent units with a simple way of interaction, which may impede programmers in concurrent programming. Comparing with other computing element models such as Active Object and Concurrent Agent, we extend Erlang with a new computing element called \"EIC_Unit\" and a way of interaction by \"futures\". It makes programmers to develop concurrent applications more easily and convenient in a distributed environment.","PeriodicalId":408357,"journal":{"name":"2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123056424","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}

引用次数: 2

Adaptive Distributed Embedded and Real-Time Java Systems Based on RTSJ 基于RTSJ的自适应分布式嵌入式实时Java系统

2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops Pub Date : 2012-04-11 DOI: 10.1109/ISORCW.2012.37

M. T. Higuera-Toledano

引用次数: 3