Compositional Timing-Aware Semantics for Synchronous Programming

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

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


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 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
Publication statusPublished - 1 Mar 2018
EventForum on Specification & Design Languages (FDL 2017) -
Duration: 18 Sep 2017 → …


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


Dive into the research topics of 'Compositional Timing-Aware Semantics for Synchronous Programming'. Together they form a unique fingerprint.

Cite this