Modeling reactive systems in Java

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 close...

Full description

Saved in:
Bibliographic Details
Published in:ACM transactions on design automation of electronic systems 1998-10, Vol.3 (4), p.515-523
Main Authors: Passerone, C., Sansoe, C., Lavagno, L., McGeer, R., Martin, J., Passerone, R., Sangiovanni-Vincentelli, A.
Format: Article
Language:English
Subjects:
Applied computing
Architecture (buildings)
Arts and humanities
Computer-aided design
Computing methodologies
Electronic design automation
Electronics
Engineering
Hardware
Hardware description languages and compilation
Model development and analysis
Model verification and validation
Modeling and simulation
Physical sciences and engineering
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!