Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness

2019
OriginalPaper
Chapter

Published in:

Authors: Samira Akili; Kim Völlinger
Published in: Fundamentals of Software Engineering
Publisher: Springer International Publishing

Read first chapter Log in

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

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.

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

more than 102.000 books
more than 537 journals

from the following subject areas:

Automotive
Construction + Real Estate
Business IT + Informatics
Electrical Engineering + Electronics
Energy + Sustainability
Finance + Banking
Management + Leadership
Marketing + Sales
Mechanical Engineering + Materials
Insurance + Risk

Secure your knowledge advantage now!

inform now

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

more than 67.000 books
more than 390 journals

from the following specialised fileds:

Automotive
Business IT + Informatics
Construction + Real Estate
Electrical Engineering + Electronics
Energy + Sustainability
Mechanical Engineering + Materials

Secure your knowledge advantage now!

inform now

Springer Professional "Business + Economics"

Online-Abonnement

Springer Professional "Business + Economics" gives you access to:

more than 67.000 books
more than 340 journals

from the following specialised fileds:

Construction + Real Estate
Business IT + Informatics
Finance + Banking
Management + Leadership
Marketing + Sales
Insurance + Risk

Secure your knowledge advantage now!

inform now

previous chapter Verifying System-Wide Properties of Industrial Component-Based Software

next chapter Taming Hierarchical Connectors

Metadata
Literature

Title: Case Study on Certifying Distributed Algorithms: Reducing Intrusiveness
Authors: Samira Akili
Kim Völlinger
Publisher: Springer International Publishing
Book: Fundamentals of Software Engineering
Print ISBN: 978-3-030-31516-0

Electronic ISBN: 978-3-030-31517-7

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-31517-7_12

This content is only visible if you are logged in and have the appropriate permissions.