Bocchi, Laura, Lange, Julien, Thompson, Simon, Voinea, Laura (2022) A Model of Actors and Grey Failures. In: ter Beek, Maurice H. and Sirjani, Marjan, eds. Coordination Models and Languages. 24th IFIP WG 6.1 International Conference, COORDINATION 2022. Lecture Notes in Computer Science . Springer ISBN 978-3-031-08145-3. (doi:10.1007/978-3-031-08143-9_9) (KAR id:98300)
PDF
Author's Accepted Manuscript
Language: English |
|
Download this file (PDF/389kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Official URL: https://doi.org/10.1007/978-3-031-08143-9_9 |
Abstract
Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/stopped) is known. In fact, systems are often affected by grey failures: failures that are latent, possibly transient, and may affect the system in subtle ways that later lead to major issues (such as crashes, limited availability, overload). We introduce a model of actor-based systems with grey failures, based on two interlinked layers: an actor model, given as an asynchronous process calculus with discrete time, and a failure model that represents failure patterns to inject in the system. Our failure model captures not only fail-stop node and link failures, but also grey failures (e.g., partial, transient). We give a behavioural equivalence relation based on weak barbed bisimulation to compare systems on the basis of their ability to recover from failures, and on this basis we define some desirable properties of reliable systems. By doing so, we reduce the problem of checking reliability properties of systems to the problem of checking bisimulation.
Item Type: | Conference or workshop item (Proceeding) |
---|---|
DOI/Identification number: | 10.1007/978-3-031-08143-9_9 |
Additional information: | For the purpose of open access, the author has applied a CC BY public copyright licence to any Author Accepted Manuscript version arising from this submission. |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Funders: | European Union (https://ror.org/019w4f821) |
Depositing User: | Laura Bocchi |
Date Deposited: | 24 Nov 2022 12:04 UTC |
Last Modified: | 27 Feb 2024 11:24 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/98300 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):