LibGALS: a library for GALS systems design and modeling

Authors:
Wei-Tsun Sun;Zoran Salcic;Avinash Malik
Affiliations:
University of Auckland, Auckland, New Zealand;University of Auckland, Auckland, New Zealand;University of Auckland, Auckland, New Zealand
Venue:
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Year:
2010

Citing 5
Cited 1

The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
The sugarCubes tool box: a reactive Java framework

Software—Practice & Experience
Communicating sequential processes

Communications of the ACM
Operating System Concepts

Operating System Concepts
The SL Synchronous Language

IEEE Transactions on Software Engineering

GALS-Designer: A design framework for GALS software systems

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Quantified Score

Hi-index	0.00

Visualization

Abstract

LibGALS is a library and run-time environment that extends a multi-process host operating system (OS) to support the design of Globally Asynchronous Locally Synchronous (GALS) software systems and models. LibGALS provides an application programming interface (API) that enables the designer to describe GALS concurrent programs and reactivity in sequential programming languages. Moreover, it facilitates the interface between the GALS concurrent program and other processes through the services provided by the host OS. LibGALS is also suitable as a target for code generation from GALS and synchronous concurrent languages. The experiments demonstrate code size and run-time gains when compared with other approaches to GALS system implementation.