Skip to Main content Skip to Navigation
Book sections

Incremental Proof-Based Development for Resilient Distributed Systems

Abstract : Distributed systems Iand applications require efficient and effective techniques (e.g.self-(re)configuration, self-healing, etc.) for ensuring safety,security and more generally dependability properties, includingstabilization and resilience. The complexity of these systems isincreased by several factors, for example dynamic topology,interconnection of heterogeneous components, and automatic failuredetection. This chapter presents a methodology for developingprotocols satisfying safety and convergence requirements of thedistributed self-$\star$ systems. The self-$\star$ systems are basedon the idea of managing complex infrastructures, software, anddistributed systems, with minimal user interactions.\textit{Correct-by-construction} and \textit{service-as-event}paradigms are used for formalizing the system requirements, where theformalization process is based on incremental refinement in \bevent.We describe a fully mechanized proof of correctness of self-$\star$systems along with an interesting case study related to P2P-basedself-healing protocols.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01246669
Contributor : Dominique Méry <>
Submitted on : Friday, December 18, 2015 - 10:00:57 PM
Last modification on : Thursday, March 18, 2021 - 2:34:39 PM

Identifiers

  • HAL Id : hal-01246669, version 1

Citation

Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh. Incremental Proof-Based Development for Resilient Distributed Systems. Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering. ⟨hal-01246669⟩

Share

Metrics

Record views

320