WFRF:(Rodriguez Navas Guillermo)
Sökning: WFRF:(Rodriguez Navas Guillermo) > Using UPPAAL to Ver...
- Bakhshi Valojerdi, Zeinab,1986-Mälardalens högskola,Inbyggda system (författare)
Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge
- Artikel/kapitelEngelska2021
Förlag, utgivningsår, omfång ...
- Västerås :Institute of Electrical and Electronics Engineers (IEEE),2021
- printrdacarrier
Nummerbeteckningar
- LIBRIS-ID:oai:DiVA.org:mdh-55677
- https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-55677URI
- https://doi.org/10.1109/ETFA45728.2021.9613178DOI
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- In our previous work we proposed a fault-tolerant persistent storage for container-based fog architecture. We leveraged the use of containerization to provide storage as a containerized application working along with other containers. As a fault-tolerance mechanism we introduced a replicated data structure and to solve consistency issue between the replicas distributed in the cluster of nodes, we used the RAFT consensus protocol. In this paper, we verify our proposed solution using the UPPAAL model checker. We explain how our solution is modeled in UPPAAL and present a formal verification of key properties related to persistent storage and data consistency between nodes.
Ämnesord och genrebeteckningar
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
- TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Inbäddad systemteknik hsv//swe
- ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Embedded Systems hsv//eng
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Rodriguez-Navas, GuillermoMälardalens högskola,Inbyggda system(Swepub:mdh)grs01 (författare)
- Hansson, HansMälardalens högskola,Inbyggda system(Swepub:mdh)hhn02 (författare)
- Mälardalens högskolaInbyggda system (creator_code:org_t)
Sammanhörande titlar
- Ingår i:26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021Västerås : Institute of Electrical and Electronics Engineers (IEEE)9781728129891
Internetlänk
Hitta via bibliotek
- 26th IEEE International Conference on Emerging Technologies and Factory Automati... (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Bakhshi Valojerd ...
- Rodriguez-Navas, ...
- Hansson, Hans
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
-
- TEKNIK OCH TEKNOLOGIER
- TEKNIK OCH TEKNO ...
- och Elektroteknik oc ...
- och Inbäddad systemt ...
- Artiklar i publikationen
- 26th IEEE Intern ...
- Av lärosätet
- Mälardalens universitet
Sök utanför SwePub
- Sök vidare i:
- 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 - Nationella bibliotekssystem
- LIBRIS.kb.se
