2010 IEEE 30th International Conference on Distributed Computing Systems Workshops最新文献_第4页

Temporal Reasoning about Resources for Deadline Assurance in Distributed Systems 分布式系统中期限保证资源的时间推理

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops Pub Date : 2010-06-21 DOI: 10.1109/ICDCSW.2010.31

Xinghui Zhao, Nadeem Jamali

引用次数: 7

Improved Scheme for Adaptive Gateway Discovery in Hybrid MANET 混合MANET中自适应网关发现的改进方案

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops Pub Date : 2010-06-21 DOI: 10.1109/ICDCSW.2010.63

A. J. Yuste, A. Triviño-Cabrera, F. D. Trujillo, E. Casilari-Pérez

引用次数: 22

Innovations and Advances in Adaptive Secure Message Oriented Middleware 自适应安全消息中间件的创新与进展

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops Pub Date : 2010-06-21 DOI: 10.1109/ICDCSW.2010.70

R. Savola, H. Abie, J. Bigham, D. Rotondi

引用次数: 7

Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi 基于进程演算的S-MAC协议验证与性能评估

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops Pub Date : 2010-06-21 DOI: 10.1109/ICDCSW.2010.54

R. Abo, Kamel Barkaoui, Karim D Djouani

引用次数: 4

W-Coolstreaming a Protocol for Collaborative Data Streaming for Wireless Networks 无线网络协同数据流协议W-Coolstreaming

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops Pub Date : 2010-06-21 DOI: 10.1109/ICDCSW.2010.78

R. Beraldi, Marco Galiffa, H. Alnuweiri

引用次数: 0

GRAT: Group Reputation Aggregation Trust for Unstructured Peer-to-Peer Networks GRAT:非结构化点对点网络的组声誉聚合信任

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops Pub Date : 2010-06-21 DOI: 10.1109/ICDCSW.2010.46

Masanori Yasutomi, Yo Mashimo, H. Shigeno

引用次数: 12

The Insecurity of Time-of-Arrival Distance-Ranging in IEEE 802.11 Wireless Networks IEEE 802.11无线网络中到达时间距离测距的不安全性

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops Pub Date : 2010-06-21 DOI: 10.1109/ICDCSW.2010.59

Steve Glass, V. Muthukkumarasamy, M. Portmann

引用次数: 10

A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems 多核系统中自适应n变规划的层次形式化框架

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops Pub Date : 2010-06-21 DOI: 10.1109/ICDCSW.2010.30

Li Tan, A. Krings

{"title":"A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems","authors":"Li Tan, A. Krings","doi":"10.1109/ICDCSW.2010.30","DOIUrl":"https://doi.org/10.1109/ICDCSW.2010.30","url":null,"abstract":"We propose a formal framework for designing and developing adaptive N-variant programs. The framework supports multiple levels of fault detection, masking, and recovery through reconfiguration. Our approach is two-fold: we introduce an Adaptive Functional Capability Model (AFCM) to define levels of functional capabilities for each service provided by the system. The AFCM specifies how, once a fault is detected, a system shall scale back its functional capabilities while still maintaining essential services. Next, we propose a Multilayered Assured Architecture Design (MAAD) to implement reconfiguration requirements specified by AFCMs. The layered design improves system resilience in two dimensions: (1) unlike traditional fault-tolerant architectures that treat functional requirements uniformly, each layer of the assured architecture implements a level of functional capability defined in AFCM. The architecture design uses lower-layer functionalities (which are simpler and more reliable) as reference to monitor highlayer functionalities. The layered design also facilitates an orderly system reconfiguration (resulting in graceful degradation) while maintaining essential system services. (2) Each layer of the assured architecture uses N-variant techniques to improve fault detection. The degree of redundancy introduced by Nvariant implementation determines the mix of faults that can be tolerated at each layer. Our hybrid fault model allows us to consider fault types ranging from benign faults to Byzantine faults. Last but not least, multi-layers combined with N-variant implementations are especially suitable for multi-core systems.","PeriodicalId":133907,"journal":{"name":"2010 IEEE 30th International Conference on Distributed Computing Systems Workshops","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130022611","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

AMBER Roadmap: Ongoing Research Directions 琥珀路线图:正在进行的研究方向

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops Pub Date : 2010-06-21 DOI: 10.1109/ICDCSW.2010.67

A. Bondavalli, P. Lollini, M. Vadursi

引用次数: 1

Testing the Fidelity of an Emulab Testbed 测试仿真测试平台的保真度

2010 IEEE 30th International Conference on Distributed Computing Systems Workshops Pub Date : 2010-06-21 DOI: 10.1109/ICDCSW.2010.74

A. Perez-Garcia, C. Siaterlis, M. Masera

{"title":"Testing the Fidelity of an Emulab Testbed","authors":"A. Perez-Garcia, C. Siaterlis, M. Masera","doi":"10.1109/ICDCSW.2010.74","DOIUrl":"https://doi.org/10.1109/ICDCSW.2010.74","url":null,"abstract":"Studying the resilience of complex systems and Critical Infrastructures (CI), e.g., the Internet, in order to improve protection and response mechanisms is an important research activity due to their vital role in modern economy and society. Such studies are frequently based on experimentation using a) real systems, b) software simulation or c) hardware emulation. In this paper we present how our emulation testbed, based on Emulab, is able to realistically reproduce real system configurations (fidelity or system representativeness). We compare experimental results between two different emulation configurations against a reference configuration without use of emulation (real). Our results lead to two main contributions. First, we confirm that the current trend of using emulation testbeds is justified as both realistic and efficient. We highlight the fact that Emulab-based configurations are representative of real systems in terms of emerging behavior (qualitative) and that the interpretation of experimental results should not be based on absolute numbers, e.g., performance metrics, because exact values are highly hardware dependent. Secondly, we indicate that users of Emulab-based testbeds should favor the ”delay-nodeshaping” rather than the ”end-node-shaping” strategy because it frequently leads to more consistent results.","PeriodicalId":133907,"journal":{"name":"2010 IEEE 30th International Conference on Distributed Computing Systems Workshops","volume":"101 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131893582","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