Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking

DOI10.1007/978-3-319-19249-9_34zbMath1427.68177MaRDI QIDQ5206962

Wen-Hui Zhang, Jian Zhang, Guang-Quan Zhang, Rongjie Yan, Xueyang Zhu, Yu-Lei Gu

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

timed automata; throughput; energy consumption; multi-constraint; data flow graphs; UPPAAL

Mathematics Subject Classification ID

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

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