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

Open

Documents

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) -

Conference

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

Abstract

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.

Event

Download statistics

No data available

ID: 42495770