Performance model checking scenario-aware dataflow

DOI10.1007/978-3-642-24310-3_5zbMATH Open1348.68151OpenAlexW176679999MaRDI QIDQ3172842FDOQ3172842

Authors Bart Theelen, Marc Geilen, J. P. M. Voeten 

Publication date 7 October 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24310-3_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Worst-case throughput analysis for parametric rate and parametric actor execution time scenario-aware dataflow graphs
• Applying real-time scheduling theory to the synchronous data flow model of computation
• Static optimal scheduling for synchronous data flow graphs with model checking
• Model checking functional and performability properties of stochastic fluid models
• Uniprocessor scheduling of real-time synchronous dataflow tasks

Cites Work

• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 805121 (Why is no real title available?)
• scientific article; zbMATH DE number 3236503 (Why is no real title available?)
• CADP 2010: a toolbox for the construction and analysis of distributed processes
• Finite state Markovian decision processes
• Integrated Formal Methods
• Interactive Markov chains. And the quest for quantified quality
• Performance analysis of probabilistic timed automata using digital clocks
• Performance evaluation with temporal rewards
• State-space support for path-based reward variables
• Time-abstracted bisimulation: Implicit specifications and decidability
• Uppaal in a nutshell

Cited In (10)

• Title not available (Why is no real title available?)
• Extended synchronous dataflow for efficient DSP system prototyping
• Title not available (Why is no real title available?)
• Static optimal scheduling for synchronous data flow graphs with model checking
• Worst-case throughput analysis for parametric rate and parametric actor execution time scenario-aware dataflow graphs
• Analysis of dataflow programs with interval-limited data-rates
• A data flow model with frequency arithmetic
• Analysis of static data flow structures
• Programming by composing filters
• Local consistency check in synchronous dataflow models

Uses Software

• PRISM
• MRMC
• Uppaal
• CADP

This page was built for publication: Performance model checking scenario-aware dataflow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172842)