Abstract | ||
---|---|---|
In this paper we propose a WCRT analysis technique for synchronous programs, executed as sequential or multi-threaded 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. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/FDL.2017.8303895 | 2017 Forum on Specification and Design Languages (FDL) |
Keywords | Field | DocType |
Algebra,Timing,Systems Modeling Language | Computer architecture,Algebraic model,Abstraction,Computer science,Instruction set,Formal power series,Theoretical computer science,State space,Semantics,Clique problem | Conference |
ISBN | Citations | PageRank |
978-1-5386-1152-4 | 1 | 0.37 |
References | Authors | |
18 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Joaquin Aguado | 1 | 41 | 4.65 |
Michael Mendler | 2 | 314 | 34.60 |
Jia Jie Wang | 3 | 1 | 0.37 |
Bruno Bodin | 4 | 59 | 6.09 |
Partha S. Roop | 5 | 356 | 48.28 |