Rigorous Development of Complex Fault-Tolerant Systems

Volume 4157 of the series Lecture Notes in Computer Science pp 37-58

Formalising Reconciliation in Partitionable Networks with Distributed Services

  • Mikael AsplundAffiliated withDepartment of Computer and Information Science, Linköping University
  • , Simin Nadjm-TehraniAffiliated withDepartment of Computer and Information Science, Linköping University

* Final gross prices may vary according to local VAT.

Get Access


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.