$\mathcal R\!\raise2pt\hbox{$\varepsilon$}\!\hbox{$\mathcal L$}$: A Fault Tolerance Linguistic Structure for Distributed Applications
Vincenzo De Florio, G. Deconinck

TL;DR
This paper introduces a novel linguistic structure for embedding fault tolerance into distributed applications, enabling clear separation of functional, management, and adaptation components to improve system robustness.
Contribution
It proposes a new fault tolerance linguistic structure that decomposes distributed applications into three distinct components, facilitating easier development and management.
Findings
Prototype architecture demonstrates feasibility
Case studies show effective fault tolerance management
Preliminary results indicate improved system robustness
Abstract
The embedding of fault tolerance provisions into the application layer of a programming language is a non-trivial task that has not found a satisfactory solution yet. Such a solution is very important, and the lack of a simple, coherent and effective structuring technique for fault tolerance has been termed by researchers in this field as the "software bottleneck of system development". The aim of this paper is to report on the current status of a novel fault tolerance linguistic structure for distributed applications characterized by soft real-time requirements. A compliant prototype architecture is also described. The key aspect of this structure is that it allows to decompose the target fault-tolerant application into three distinct components, respectively responsible for (1) the functional service, (2) the management of the fault tolerance provisions, and (3) the adaptation to the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Advanced Software Engineering Methodologies · Logic, programming, and type systems
