Edinburgh Research Explorer

Compositional Timing-Aware Semantics for Synchronous Programming

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Joaquin Aguado
  • Michael Mendler
  • JiaJie Wang
  • Bruno Bodin
  • Partha S Roop

Related Edinburgh Organisations

Access status



Original languageEnglish
Title of host publicationFDL 2017 Forum on specification & Design Languages
Number of pages8
StateAccepted/In press - 4 Jul 2017
EventForum on Specification & Design Languages (FDL 2017) -


ConferenceForum on Specification & Design Languages (FDL 2017)
Period18/09/17 → …


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.


Download statistics

No data available

ID: 42495770