OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Inference of Channel Priorities for Asynchronous Communication

Sensfelder, Nathanaël and Hurault, Aurélie and Quéinnec, Philippe Inference of Channel Priorities for Asynchronous Communication. (2017) In: 14th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2017), 21 June 2017 - 23 June 2017 (Porto, Portugal).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
167kB

Official URL: https://doi.org/10.1007/978-3-319-62410-5_32

Abstract

In distributed systems, the order in which the messages are received by the processes is crucial to ensure the expected behavior. This paper presents a communication model which allows for restrictions on the deliveries of a channel depending on the availability of messages in other channels. This corresponds to prioritizing some channels over others. It relies on a framework able to verify if a given system satisfies a user defined LTL (Linear Temporal Logic) property with different priorities. We also propose to automatically infer the channel priorities so that the system does not infringe on this temporal property.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 620 of AISC : Advances in Intelligent Systems and Computing ISSN: 2194-5357 ISBN 978-3-319-62409-9 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-319-62410-5_32
HAL Id:hal-02871341
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Funders:
Agence nationale de la recherche - ANR (FRANCE)
Statistics:download
Deposited On:12 Jun 2020 07:37

Repository Staff Only: item control page