Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness

Résumé

Certifying distributed algorithms (CDAs) are a runtime verification method for distributed systems. A CDA computes additionally a witness to an input-output pair – a correctness argument for the pair. The witness is verified at runtime by a distributed checker algorithm. In this paper, we apply CDAs to an industrial case study of collaborative transport robots serving machines in a factory. In particular, we present a certifying variant of a distributed bidding algorithm executed by the robots to assign transport jobs amongst each other. Furthermore, we introduce overlays in order to organize the communication of the distributed checker, and compare them regarding their intrusiveness.
Fichier principal
Vignette du fichier
490001_1_En_12_Chapter.pdf (414.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03769129 , version 1 (05-09-2022)

Licence

Paternité

Identifiants

Citer

Samira Akili, Kim Völlinger. Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness. 8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.179-185, ⟨10.1007/978-3-030-31517-7_12⟩. ⟨hal-03769129⟩
14 Consultations
21 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More