Abstract / Description of output
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.
Original language | English |
---|---|
Title of host publication | FDL 2017 Forum on specification & Design Languages |
Publisher | Institute of Electrical and Electronics Engineers |
Number of pages | 8 |
ISBN (Electronic) | 978-1-5386-4733-2 |
ISBN (Print) | 978-1-5386-4733-2 |
DOIs | |
Publication status | Published - 1 Mar 2018 |
Event | Forum on Specification & Design Languages (FDL 2017) - Duration: 18 Sept 2017 → … |
Conference
Conference | Forum on Specification & Design Languages (FDL 2017) |
---|---|
Period | 18/09/17 → … |