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

Open Access permissions



Original languageEnglish
Title of host publicationFDL 2017 Forum on specification & Design Languages
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Number of pages8
ISBN (Electronic)978-1-5386-4733-2
ISBN (Print)978-1-5386-4733-2
StatePublished - 1 Mar 2018
EventForum on Specification & Design Languages (FDL 2017) -
Duration: 18 Sep 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