Aguado, Joaquin

Bodin, Bruno

Mendler, Michael

Roop, Partha S

Wang, JiaJie

In this paper we propose a WCRT analysis technique for synchronous programs, executed as sequential or multithreaded code, based on formal power series in min-max-plus algebra. The algebraic model constitutes the first fully declarative timing-aware semantics of synchronous programs with arbitrary hierarchical control-flow structure. Under signal abstraction this model permits efficient compositional WCRT analyses based on structural boxes as the unit of composition. The algebraic model leads to a sound methodology to deal with the state space explosion arising from tick alignment of parallel composition by reduction to the maximum weighted clique problem

Edinburgh Research Explorer

Compositional Timing-Aware Semantics for Synchronous Programming

https://www.pure.ed.ac.uk/ws/files/42495772/FDL_2017_paper_25.pdf

Compositional Timing-Aware Semantics for Synchronous Programming

Abstract

Similar works

Full text

Available Versions

Edinburgh Research Explorer