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

Self-Organized Routing ID Tree-Based Multipath Construction for Ad Hoc Networks 基于自组织路由ID树的Ad Hoc网络多路径构建

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.38

Tomoya Okazaki, Mario Takeuchi, Eitaro Kohno, Y. Kakuda

引用次数: 2

A Reality Check of Multiple Snowball Tree File Dissemination in Large Scale Cloud Cluster 大规模云集群中多个雪球树文件传播的真实性检验

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.24

Zhang Zhaoning, Lu Xicheng, Peng Yuxing, Li Huiba

引用次数: 1

Towards a Rigorous Modeling Formalism for Systems of Systems 面向系统的系统的严格建模形式

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.42

Tayfun Gezgin, Christoph Etzien, Stefan Henkler, A. Rettberg

{"title":"Towards a Rigorous Modeling Formalism for Systems of Systems","authors":"Tayfun Gezgin, Christoph Etzien, Stefan Henkler, A. Rettberg","doi":"10.1109/ISORCW.2012.42","DOIUrl":"https://doi.org/10.1109/ISORCW.2012.42","url":null,"abstract":"The scope of this paper is collaborative, distributed safety critical systems which build up a larger scale system of systems (SoS). Systems participating in an SoS follow both global as well as individual goals, which may be contradicting. Both the global and local goals of the overall SoS may change over time. Hence, self-adaptive ness, i.e., reconfiguration of the SoS as a reaction on changes within its context is a major characteristic of this systems. The aim of this paper is to describe first steps towards a modeling formalism for SoS in a safety critical context. The challenge is to address on the one hand the required flexibility to adapt the system during run-time and on the other hand to guarantee that the system reacts still in a safe manner. To address these challenges, we propose an approach which guarantees that the system still reacts in a safe manner while adaption to uncertainty including context changes. This adaption has to be assumed as unsafe during design time. The key for having success is to define the interaction between the systems as well as its goals as basic elements of the design. Based on our former work, we propose a well-defined modeling approach for the interaction based on components as basic structural elements, the contract paradigm for the design of the interaction, and graph transformations, which addresses the adaptivity of system of systems. The component model is additionally explicitly enriched by goals, which supports so called evaluation functions to determine the level of target achievement.","PeriodicalId":408357,"journal":{"name":"2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops","volume":"147 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":"114918954","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}

引用次数: 28

ESF - An Extensive Service Foundation from Internet of Things Perspective ESF——物联网视角下的广泛服务基础

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

Jianqi Shi, Xin Ye, Liangyu Chen, Pei-qiang Zhang, Ningkang Jiang

引用次数: 1