WFRF:(Rodriguez Navas Guillermo)
Search: WFRF:(Rodriguez Navas Guillermo) > Verifying the timin...
- 10 of 50
- Previous record
- Next record
- To hitlist
Verifying the timing of a persistent storage for stateful fog applications
-
- Bakhshi Valojerdi, Zeinab, 1986- (author)
- Mälardalens universitet,Inbyggda system
- Rodriguez-Navas, Guillermo (author)
-
- Hansson, Hans (author)
- Mälardalens universitet,Inbyggda system
- (creator_code:org_t)
- Institute of Electrical and Electronics Engineers Inc. 2022
- 2022
- English.
- In: 6th International Conference on Computer, Software and Modeling (ICCSM). - : Institute of Electrical and Electronics Engineers Inc.. ; , s. 1-8
- Conference paper (peer-reviewed)
Abstract
Subject headings
Close
- In this paper, we analyze the failure semantics of a persistent fault-tolerant storage solution for stateful fog applications. This storage system is a container-based solution that provides data availability and consistency in a distributed container-based fog architecture. We evaluate the behavior of this storage system with a formal model that includes all the important time parameters and temporal aspects of the solution. This allows us to verify data consistency and other fault-tolerance properties of our system model while considering application startup latency, together with synchronization intervals and delays. We prove that the solution can tolerate failures at application, node, communication and storage level with the ability to automatically recover from failures and provides data consistency within the synchronization delay defined as t time units, which we can calculate for a given system configuration.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Keyword
- Containers; Digital storage; Fog; Fog computing; Semantics; Timing circuits
- Data availability; Data consistency; Failure semantics; Fault-tolerant; Formal modeling; Persistent storage; Statefulness; Storage solutions; Storage systems; Time parameter
- Fault tolerance
Publication and Content Type
- ref (subject category)
- kon (subject category)
To the university's database
- 10 of 50
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Bakhshi Valojerd ...
- Rodriguez-Navas, ...
- Hansson, Hans
- About the subject
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Computer Systems
- Articles in the publication
- 6th Internationa ...
- By the university
- Mälardalen University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
