Performance model checking scenario-aware dataflow

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

9 Citaten (Scopus)
2 Downloads (Pure)

Samenvatting

Dataflow formalisms are useful for specifying signal processing and streaming applications. To adequately capture the dynamic aspects of modern applications, the formalism of Scenario-Aware Dataflow (SADF) was recently introduced, which allows analysis of worst/best-case and average-case performance across different modes of operation (scenarios). The semantic model of SADF integrates non-deterministic and discrete probabilistic behaviour with generic discrete time distributions. This combination is different from the semantic models underlying contemporary quantitative model checking approaches, which often assume exponentially distributed or continuous time or they lack support for expressing discrete probabilistic behaviour. This paper discusses a model-checking approach for computing quantitative properties of SADF models such as throughput, time-weighted average buffer occupancy and maximum response time. A compositional state-space reduction technique is introduced as well as an efficient implementation of this method that combines model construction with on-the-fly state-space reductions. Strong reductions are possible because of special semantic properties of SADF, which are common to dataflow models. We illustrate this efficiency with several case studies from the multi-media domain.
Originele taal-2Engels
TitelProceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11), 21-23 September 2011, Aalborg, Denmark,
RedacteurenS. Tripakis U. Fahrenberg
Plaats van productieBerlin
UitgeverijSpringer
Pagina's43-59
ISBN van geprinte versie978-3-642-24309-7
DOI's
StatusGepubliceerd - 2011
Evenementconference; 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11); 2011-09-21; 2011-09-23 -
Duur: 21 sep 201123 sep 2011

Publicatie series

NaamLecture Notes in Computer Science
Volume6919
ISSN van geprinte versie0302-9743

Congres

Congresconference; 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11); 2011-09-21; 2011-09-23
Periode21/09/1123/09/11
Ander9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'11)

Vingerafdruk Duik in de onderzoeksthema's van 'Performance model checking scenario-aware dataflow'. Samen vormen ze een unieke vingerafdruk.

Citeer dit