Quantitative Analysis of Communication Scenarios

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Abstract

Message sequence charts (MSCs) and their higher-order formalism in terms of message sequence graphs (MSGs) provide an intuitive way to describe communication scenarios. Naturally, quantitative aspects such as the probability of failure, maximal latency or the expected energy consumption play a crucial role for communication systems. In this paper, we introduce quantitative MSGs with costs or rewards and stochastic timing information in terms of rates. To perform a quantitative analysis, we propose a branching-time semantics for MSGs as possibly infinite continuous-time Markov chains (CTMCs) interpreting delayed choice on the partial-order semantics of MSGs. Whereas for locally synchronized MSGs a finite-state bisimulation quotient can be found and thus, standard algorithms for CTMCs can be applied, this is not the case in general. However, using a truncation-based approach we show how approximative solutions can be obtained. Our implementation shows feasibility of this approach exploiting reliability, resilience and energy consumption.

Details

OriginalspracheEnglisch
TitelFormal Modeling and Analysis of Timed Systems
Redakteure/-innenSriram Sankaranarayanan, Enrico Vicario
Herausgeber (Verlag)Springer, Cham
Seiten76-92
Seitenumfang17
ISBN (Print)978-3-319-22974-4
PublikationsstatusVeröffentlicht - 2015
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 9268
ISSN0302-9743

Konferenz

Titel13th International Conference on Formal Modeling and Analysis of Timed Systems
KurztitelFORMATS 2015
Veranstaltungsnummer
Dauer2 - 4 September 2015
BekanntheitsgradInternationale Veranstaltung
Ort
StadtMadrid
LandSpanien

Externe IDs

Scopus 84944705633
ORCID /0000-0002-5321-9343/work/142236733

Schlagworte

Ziele für nachhaltige Entwicklung

Schlagwörter

  • Quantitative Analysis, Communication Scenarios

Bibliotheksschlagworte