Abstract
In this paper, we propose a new system-level design language, called SystemJ. It extends Java with synchronous reactive features present in Esterel and asynchronous constructs suitable for modelling globally asynchronous locally synchronous systems. The strength of SystemJ comes from its ability to offer the data processing and encapsulation elegance of Java, Esterel-like reactivity and synchrony, and the asynchronous de-coupling of CSP all within the Java framework. Using standard Java environments, for specification and modelling, or specialised reactive embedded processors, for high performance implementation, the SystemJ design flow is extremely versatile. With the increasing attention that Java gets in embedded systems, SystemJ comes to address data and control, software and hardware, modelling and implementation in a unified manner.
Original language | English |
---|---|
Title of host publication | [Host publication title missing] |
Publisher | IEEE - Institute of Electrical and Electronics Engineers Inc. |
Pages | 149-158 |
ISBN (Print) | 1-4244-0421-5 |
DOIs | |
Publication status | Published - 2006 |
Event | Formal Methods and Models for Co-Design (MEMOCODE) - Duration: 0001 Jan 2 → … |
Conference
Conference | Formal Methods and Models for Co-Design (MEMOCODE) |
---|---|
Period | 0001/01/02 → … |
Subject classification (UKÄ)
- Computer Science
Free keywords
- SystemJ approach
- globally asynchronous locally synchronous systems
- standard Java environment
- Esterel
- system-level design language
- specialised reactive embedded processors