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

Metadaten
Author:Jens Brandt, Klaus Schneider
URN:urn:nbn:de:hbz:386-kluedo-28813
Series (Serial Number):Interner Bericht des Fachbereich Informatik (387)
Document Type:Report
Language of publication:English
Date of Publication (online):2012/02/15
Year of first Publication:2012
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2012/02/14
Page Number:19
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
CCS-Classification (computer science):D. Software / D.3 PROGRAMMING LANGUAGES / D.3.4 Processors
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vom 16.11.2011