https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Verifying the timing of a persistent storage for stateful fog applications
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7235-6888
2022 (English)In: 6th International Conference on Computer, Software and Modeling (ICCSM), Institute of Electrical and Electronics Engineers Inc. , 2022, p. 1-8Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc. , 2022. p. 1-8
Keywords [en]
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
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-61645DOI: 10.1109/ICCSM57214.2022.00008Scopus ID: 2-s2.0-85146302832OAI: oai:DiVA.org:mdh-61645DiVA, id: diva2:1730911
Conference
2022 6th International Conference on Computer, Software and Modeling (ICCSM) 21-23 July 2022
Available from: 2023-01-25 Created: 2023-01-25 Last updated: 2023-10-20Bibliographically approved
In thesis
1. Lightweight Persistent Storage for Industrial Applications
Open this publication in new window or tab >>Lightweight Persistent Storage for Industrial Applications
2023 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

Clouds are large computer centers that offer remote access to computing and storage resources, making them popular for business and web applications. They are now being considered for use in safety-critical applications such as factories, but lack sufficient time predictability, which makes it challenging to use them in these time-sensitive applications. To overcome this limitation, an intermediate layer, the fog layer, is introduced to provide computational resources closer to the network edge. However, this new computing paradigm faces its own challenges in resource management, scalability, and reliability due to resource constrained nodes. Lightweight virtualization technologies like containerization can solve the performance-reliability dichotomy in fog computing and provide built-in fault tolerance mechanisms. By studying a robotic use-case, we realized the critical importance of persistent data storage for stateful applications, such as many control applications. However, container-based solutions lack fault-tolerant persistent storage. In this thesis, we identify new challenges associated with leveraging container-based architectures, particularly the importance of persistent storage for stateful applications. We investigate the design possibilities for persistent fault-tolerant storage and propose a solution adapted to container-based fog architectures and tailored for stateful applications. The solution provides scalability, auto recovery, and re-integration after failures at application and node levels. Key elements are a replicated data structure and a storage container, using a consensus protocol for distributed data consistency and fault tolerance in case of node failures. The fault tolerance and consistency of the solution are modeled and verified, and its timing requirements evaluated. We use simulation to evaluate the timing performance of our solution in larger set-ups. The results of our study show that although adding a consistency protocol introduces a timing overhead, the solution still meets timing requirements for the studied use-case even in presence of a set of relevant faults. By leveraging a four-dimensional approach, we also conduct a comparative analysis of our solution with other approaches from various perspectives, indicating that our solution can be applied in a broader context than initially intended.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2023
Series
Mälardalen University Press Dissertations, ISSN 1651-4238 ; 394
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
urn:nbn:se:mdh:diva-64555 (URN)978-91-7485-617-0 (ISBN)
Public defence
2023-12-11, Milos, Mälardalens universitet, Västerås, 13:15 (English)
Opponent
Supervisors
Available from: 2023-10-23 Created: 2023-10-19 Last updated: 2023-11-20Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Bakhshi Valojerdi, ZeinabRodriguez-Navas, GuillermoHansson, Hans

Search in DiVA

By author/editor
Bakhshi Valojerdi, ZeinabRodriguez-Navas, GuillermoHansson, Hans
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 17 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf