Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

The SystemJ approach to system-level design

Gruian, Flavius LU orcid ; Roop, Partha ; Salcic, Zoran and Radojevic, Ivan (2006) Formal Methods and Models for Co-Design (MEMOCODE) p.149-158
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... (More)
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. (Less)
Please use this url to cite or link to this publication:
author
; ; and
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
SystemJ approach, globally asynchronous locally synchronous systems, standard Java environment, Esterel, system-level design language, specialised reactive embedded processors
host publication
[Host publication title missing]
pages
149 - 158
publisher
IEEE - Institute of Electrical and Electronics Engineers Inc.
conference name
Formal Methods and Models for Co-Design (MEMOCODE)
conference dates
0001-01-02
external identifiers
  • wos:000240106600018
  • scopus:40949127291
ISBN
1-4244-0421-5
DOI
10.1109/MEMCOD.2006.1695918
language
English
LU publication?
yes
id
17318d51-2ad8-475e-a355-0f82a1b68bad (old id 620268)
date added to LUP
2016-04-04 10:14:48
date last changed
2021-09-22 04:56:44
@inproceedings{17318d51-2ad8-475e-a355-0f82a1b68bad,
  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.},
  author       = {Gruian, Flavius and Roop, Partha and Salcic, Zoran and Radojevic, Ivan},
  booktitle    = {[Host publication title missing]},
  isbn         = {1-4244-0421-5},
  language     = {eng},
  pages        = {149--158},
  publisher    = {IEEE - Institute of Electrical and Electronics Engineers Inc.},
  title        = {The SystemJ approach to system-level design},
  url          = {http://dx.doi.org/10.1109/MEMCOD.2006.1695918},
  doi          = {10.1109/MEMCOD.2006.1695918},
  year         = {2006},
}