SystemJ: A GALS language for system level design

ResearchSpace Repository

Show simple item record

dc.contributor.author Malik, A en
dc.contributor.author Salcic, Zoran en
dc.contributor.author Roop, Parthasarathi en
dc.contributor.author Girault, A en
dc.date.accessioned 2012-02-23T00:08:48Z en
dc.date.issued 2010 en
dc.identifier.citation Computer Languages, Systems and Structures 36(4):317-344 2010 en
dc.identifier.issn 1477-8424 en
dc.identifier.uri http://hdl.handle.net/2292/11667 en
dc.description.abstract In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally Asynchronous Locally Synchronous (GALS) model of computation. The synchronous reactive (SR) model is used for synchronous parts of the modelled system, and those parts, which represent individual clock-domains, are coupled asynchronously each to the other on the top-level of system design. SystemJ is based on Java language, which is used to describe ''instantaneous'' data transformations. Hence, SystemJ is well suited for both software-based embedded and distributed systems. SystemJ offers effective modelling of (1) data transformations through the power of Java, (2) control and synchronous concurrency through the SR paradigm and (3) asynchronous concurrency through clock domains and rendezvous. The language is based on semantics that is amenable to efficient code generation and partial automatic verification. The SystemJ micro-step semantics provide asynchronous and synchronous extensions over the semantics of other SR languages such as Esterel and provide an ideal platform for efficient software implementation. en
dc.publisher Pergamon en
dc.relation.ispartofseries Computer Languages, Systems and Structures en
dc.rights Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. Details obtained from: http://www.sherpa.ac.uk/romeo/issn/1477-8424/ en
dc.rights.uri https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm en
dc.title SystemJ: A GALS language for system level design en
dc.type Journal Article en
dc.identifier.doi 10.1016/j.cl.2010.01.001 en
pubs.issue 4 en
pubs.begin-page 317 en
pubs.volume 36 en
dc.rights.holder Copyright: Pergamon en
pubs.end-page 344 en
dc.rights.accessrights http://purl.org/eprint/accessRights/RestrictedAccess en
pubs.subtype Article en
pubs.elements-id 174011 en
pubs.org-id Engineering en
pubs.org-id Department of Electrical, Computer and Software Engineering en
pubs.record-created-at-source-date 2012-02-15 en


Files in this item

There are no files associated with this item.

Find Full text

This item appears in the following Collection(s)

Show simple item record

Share

Search ResearchSpace


Advanced Search

Browse

Statistics