Formalising reconciliation in partitionable networks with distributed services

  • Authors:
  • Mikael Asplund;Simin Nadjm-Tehrani

  • Affiliations:
  • Department of Computer and Information Science, Linköping University, Linköping, Sweden;Department of Computer and Information Science, Linköping University, Linköping, Sweden

  • Venue:
  • Rigorous Development of Complex Fault-Tolerant Systems
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

Modern command and control systems are characterised by computing services provided to several actors at different geographical locations. The actors operate on a common state that is modularly updated at distributed nodes using local data services and global integrity constraints for validity of data in the value and time domains. Dependability in such networked applications is measured through availability of the distributed services as well as the correctness of the state updates that should satisfy integrity constraints at all times. Providing support in middleware is seen as one way of achieving a high level of service availability and well-defined performance guarantees. However, most recent works [1,2] that address fault-aware middleware cover crash faults and provision of timely services, and assume network connectivity as a basic tenet.