Static optimal scheduling for synchronous data flow graphs with model checking

DOI10.1007/978-3-319-19249-9_34MaRDI QIDQ5206962zbMATH OpenOpenAlexFDO

Authors Xueyang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang, Guangquan Zhang

Publication date 19 December 2019

Published in FM 2015: Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-19249-9_34

zbMATH Keywords

data flow graphsenergy consumptionmulti-constraintthroughputtimed automataUPPAAL

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 918595
• Performance model checking scenario-aware dataflow
• Applying real-time scheduling theory to the synchronous data flow model of computation
• Uniprocessor scheduling of real-time synchronous dataflow tasks
• Optimal Scheduling of Digital Signal Processing Data-flow Graphs using Shortest-path Algorithms

Cites work

• A theory of timed automata
• Formal Methods for Components and Objects
• NuSMV: A new symbolic model checker
• Schedulability analysis of fixed-priority systems using timed automata
• Scheduling with timed automata
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
• Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs
• Uppaal in a nutshell

Cited in

(14)

• Minimizing buffer requirements under rate-optimal schedule in regular dataflow networks
• Intermediate representations for design automation of multiprocessor DSP systems
• Memory-optimized software synthesis from dataflow program graphs with large size data samples
• Formal verification of timed synchronous dataflow graphs using Lustre
• Symmetry breaking for multi-criteria mapping and scheduling on multicores
• Performance model checking scenario-aware dataflow
• Applying real-time scheduling theory to the synchronous data flow model of computation
• Optimal dataflow scheduling on a heterogeneous multiprocessor with reduced response time bounds
• Static analysis of run-time modes in synchronous process network
• Optimal Scheduling of Digital Signal Processing Data-flow Graphs using Shortest-path Algorithms
• scientific article; zbMATH DE number 918595 (Why is no real title available?)
• A data flow model with frequency arithmetic
• Local consistency check in synchronous dataflow models
• Uniprocessor scheduling of real-time synchronous dataflow tasks

This page was built for publication: Static optimal scheduling for synchronous data flow graphs with model checking

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