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.

Volltext Dateien herunterladen

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar
Verfasserangaben:Jens Brandt, Klaus Schneider
URN (Permalink):urn:nbn:de:hbz:386-kluedo-28813
Schriftenreihe (Bandnummer):Interner Bericht des Fachbereich Informatik (387)
Sprache der Veröffentlichung:Englisch
Veröffentlichungsdatum (online):15.02.2012
Jahr der Veröffentlichung:2012
Veröffentlichende Institution:Technische Universität Kaiserslautern
Datum der Publikation (Server):14.02.2012
Fachbereiche / Organisatorische Einheiten:Fachbereich Informatik
CCS-Klassifikation (Informatik):D. Software / D.3 PROGRAMMING LANGUAGES / D.3.4 Processors
DDC-Sachgruppen:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Lizenz (Deutsch):Standard gemäß KLUEDO-Leitlinien vom 16.11.2011