International Workshop on Verification and Evaluation of Computer and Communication Systems最新文献_第4页

Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot 手术机器人虚拟夹具控制算法的形式概率分析

International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2017-08-24 DOI: 10.1007/978-3-319-66176-6_1

Muhammad Saad Ayub, O. Hasan

引用次数: 4

An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study 离散事件系统可诊断性分析两种方法的实验比较——以铁路为例

International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2017-08-24 DOI: 10.1007/978-3-319-66176-6_7

Abderraouf Boussif, M. Ghazel

引用次数: 2

Intertwined Global Optimization Based Reachability Analysis 基于交织全局优化的可达性分析

International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2017-08-24 DOI: 10.1007/978-3-319-66176-6_10

Ibtissem Seghaier, S. Tahar

引用次数: 0

Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm 基于故障检测器环Paxos的原子广播算法

International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 2017-05-11 DOI: 10.1504/IJCCBS.2017.084065

Nadjette Rebouh, Ifeticene Ryma Asma, Aidoun Naoual, L. Bouallouche-Medjkoune

{"title":"Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm","authors":"Nadjette Rebouh, Ifeticene Ryma Asma, Aidoun Naoual, L. Bouallouche-Medjkoune","doi":"10.1504/IJCCBS.2017.084065","DOIUrl":"https://doi.org/10.1504/IJCCBS.2017.084065","url":null,"abstract":"An atomic broadcast problem constitutes an essential component in fault-tolerant distributed systems. an atomic broadcast algorithm ensures that all processes deliver the same messages sequence. Many algorithms solving the atomic broadcast problem have been published. Recently, a new Paxos-based atomic broadcast algorithm has been proposed for clustered systems, named Ring Paxos. It inherits many of Paxos characteristics: safe under asynchronous assumptions, live under weak synchronous assumptions, and requires a majority of non-faulty processes to ensure progress. However, the proposed algorithm relies on strong assumptions, and uses the group membership for faults tolerance. Recently, a new failure detector Ring Paxos-based atomic broadcast algorithm (FD-RP) for asynchronous distributed systems have been proposed. It inherits some of Ring Paxos characteristics and uses failure detectors to tolerate failures instead of a membership service. The aim of this paper is to complete the work done in our previous work by evaluating the performance of the FD-RP protocol by simulation and compare it with the Ring Paxos protocol, results show that the proposed protocol performs better than the Ring Paxos protocol in some situation and is recommended in applications with low latencies.","PeriodicalId":239102,"journal":{"name":"International Workshop on Verification and Evaluation of Computer and Communication Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130772997","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}

引用次数: 1

Multi-robot Path Planning Using Petri Nets 基于Petri网的多机器人路径规划

International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-65955-4_2

Hongbin Zhang, Jiliang Luo, Jinjun Long, Yisheng Huang, Weimin Wu

引用次数: 2

Handling of Operating Modes in Contract-Based Timing Specifications 基于合同的时序规范中操作模式的处理

International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-98850-0_5

Janis Kröger, Björn Koopmann, Ingo Stierand, Nadra Tabassam, M. Fränzle

引用次数: 1

Roles and Responsibilities for a Predictable Update Process - A Position Paper 可预测更新过程的角色和责任-立场文件

International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-98850-0_2

Astrid Rakow, Janis Kröger

引用次数: 0

On Decentralized Monitoring 关于分散监控

International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-98850-0_1

Yliès Falcone

引用次数: 4

Weighted Lightweight Image Retrieval Method Based on Linear Regression 基于线性回归的加权轻量化图像检索方法

International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-65955-4_20

Lina Zhang, Xiangqin Zheng, Xuan Dang, Jiehui Zhang

引用次数: 0

Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation 基于混合状态空间表示的混合LTL混合并行模型检验

International Workshop on Verification and Evaluation of Computer and Communication Systems Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-98850-0_3

Kais Klai, C. A. Abid, Jaime Arias, Sami Evangelista

引用次数: 0