The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
The sugarCubes tool box: a reactive Java framework
Software—Practice & Experience
ECL: a specification environment for system-level design
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Operating system based software generation for systems-on-chip
Proceedings of the 37th Annual Design Automation Conference
Communicating sequential processes
Communications of the ACM
Component-based design approach for multicore SoCs
Proceedings of the 39th annual Design Automation Conference
What's Ahead for Embedded Software?
Computer
IEEE Transactions on Software Engineering
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
Transaction level modeling: an overview
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Systemic Embedded Software Generation from SystemC
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Computer
Modeling Embedded Systems: From SystemC and Esterel to DFCharts
IEEE Design & Test
Modeling RTOS for Reactive Embedded Systems
VLSID '07 Proceedings of the 20th International Conference on VLSI Design held jointly with 6th International Conference: Embedded Systems
WOSP '08 Proceedings of the 7th international workshop on Software and performance
CODES+ISSS '08 Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis
SystemJ: A GALS language for system level design
Computer Languages, Systems and Structures
LibGALS: a library for GALS systems design and modeling
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Hi-index | 0.00 |
GALS-Designer is a framework for the design of software systems which comply with the formal Globally Asynchronous Locally Synchronous model of computation (GALS). Those systems consist of single or multiple GALS programs and their immediate environment, which can be other programs and any other modules described in SystemC. The framework integrates our libGALS library for writing GALS programs and SystemC. It enables modeling and simulation of single and multiple GALS programs within the single SystemC executable model on the host (simulation) operating system. The same GALS programs can then be run without SystemC on a target operating system for which the libGALS runtime library is available. The use of the GALS-Designer is demonstrated on an example of a complex embedded system. As libGALS can execute on multiprocessor platforms both the simulation and target models of the GALS system can take advantage of multiprocessor and multicore systems, which is not possible when using standard SystemC. Results of running simulation models of GALS programs demonstrate simulation performance improvement when executing on multicore platforms.