Modeling reactive systems in Java

Authors:
C. Passerone;C. Sansoe;L. Lavagno;R. McGeer;J. Martin;R. Passerone;A. Sangiovanni-Vincentelli
Affiliations:
Politecnico di Torino, Torino, Italy;Politecnico di Torino, Torino, Italy;Cadence Berkeley Laboratories, Berkeley, CA;Cadence Berkeley Laboratories, Berkelye, CA;Univ. of California at Berkeley;Univ. of California at Berkeley;Univ. of California at Berkeley
Venue:
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Year:
1998

Citing 6
Cited 4

Hardware-software co-design of embedded systems: the POLIS approach

Hardware-software co-design of embedded systems: the POLIS approach
The Java programming language (2nd ed.)

The Java programming language (2nd ed.)
Communicating sequential processes

Communications of the ACM
Synchronous Programming of Reactive Systems

Synchronous Programming of Reactive Systems
Java Virtual Machine Specification

Java Virtual Machine Specification
A Comparison of Statecharts Variants

ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems

System level design using C++

DATE '00 Proceedings of the conference on Design, automation and test in Europe
Composite signal flow: a computational model combining events, sampled streams, and vectors

DATE '00 Proceedings of the conference on Design, automation and test in Europe
Program entanglement, feature interaction and the feature language extensions

Computer Networks: The International Journal of Computer and Telecommunications Networking
SystemJ: A GALS language for system level design

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present an application of the JavaTM programming language to specify and implement reactive real-time systems. We have developed and tested a collection of classes and methods to describe concurrent modules and their asynchronous communication by means of signals. The control structures are closely patterned after those of the synchronous language Esterel, succinctly describing concurrency, sequencing and preemption. We show the user-friendliness and efficiency of the proposed technique by using an example from the automotive domain.