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