Translating SHIM to Guarded Actions

  • SHIM is a concurrent deterministic programming language for embedded systems built on rendezvous communication. It abstracts away many details to give the developer a high-level view that includes virtual shared variables, threads as orthogonal statements, and deterministic concurrent exceptions. In this paper, we present a new way to compile a SHIM-like language into a set of asynchronous guarded actions, a well-established intermediate representation for concurrent systems. By doing so, we build a bridge to many other tools, including hardware synthesis and formal verification. We present our translation in detail, illustrate it through examples, and show how the result can be used by various other tools.

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Jens Brandt, Klaus Schneider
URN (permanent link):urn:nbn:de:hbz:386-kluedo-28813
Serie (Series number):Interner Bericht des Fachbereich Informatik (387)
Document Type:Report
Language of publication:English
Publication Date:2012/02/15
Year of Publication:2012
Publishing Institute:Technische Universität Kaiserslautern
Number of page:19
Faculties / Organisational entities:Fachbereich Informatik
CCS-Classification (computer science):D.3.4 Processors
DDC-Cassification:005 Computerprogrammierung, Programme, Daten

$Rev: 12793 $