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

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

Conference

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

Fingerprint

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

Cite this