Modeling reactive systems in Java

Passerone, Claudio; Sansoè, Claudio; Martin, Jonathan C.; Sangiovanni‐Vincentelli, Alberto; McGeer, Rick

doi:10.1145/296333.296334

Cited by 15 publications

(5 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The Reactive Java formalism [18] defines a collection of Java classes to describe modules and their interconnections, and primitives to handle synchronous and asynchronous communications. Reactive Java uses a separate thread for each module.…”

Section: Java-based Proposalsmentioning

confidence: 99%

Java threads and SugarCubes

Boussinot

Susini

2000

Softw: Pract. Exper.

View full text Add to dashboard Cite

SugarCubes is a set of Java classes which provides a simple and structured approach to concurrency. It offers a powerful and modular communication mechanism based on instantaneously broadcast events. The semantics of SugarCubes code is deterministic and does not depend on arbitrary choices made by the execution platform. SugarCubes gives programmers a sound and fine control over execution; for example, reactive instructions can be preempted in a completely clean way. The paper compares thread-based programming with SugarCubes programming. It shows that SugarCubes is simpler and more structured than the standard Java threading mechanism.Disadvantages of course also exist.• No real parallelism. SugarCubes does not presently support parallelism, which maps threads to distinct processors. All reactive instructions run by a given reactive machine are executed by the same Java thread, and thus by the same processor. • Efficiency to be increased. The current version of the SugarCubes code is not optimized. There remains work to be done to get better execution performance. One could, for example, embed reactive instructions directly in the Java virtual machine. • Potential fragmentation problems. Executions of reactive instructions are divided into time fragments called instants. How long an instant lasts depends on the statements actually executed.The aim of the reactive approach is to propose a flexible paradigm for programming reactive systems, especially those that are dynamic (that is, the number of components and their connections can change during execution). SugarCubes implements the reactive approach in Java.

show abstract

Section: Java-based Proposalsmentioning

confidence: 99%

Java threads and SugarCubes

Boussinot

Susini

2000

Softw: Pract. Exper.

View full text Add to dashboard Cite

show abstract

“…There are two groups working on object-oriented extensions to VHDL [9], [10]. Java-based HDL's include [11] and [12]. While these languages allow for more abstraction and reuse than VHDL, they require designers to specify types and interfaces, are more verbose than HML, and do not support higher order functions.…”

Section: A Related Workmentioning

confidence: 99%

HML, a novel hardware description language and its translation to VHDL

Leeser

2000

IEEE Trans. VLSI Syst.

View full text Add to dashboard Cite

We present hardware ML (HML), an innovative hardware description language (HDL) based on the functional programming language SML. Features of HML not found in other HDL's include polymorphic types and advanced type checking and type inference techniques. We have implemented an HML type checker and a translator for automatically generating VHDL from HML descriptions. We generate a synthesizable subset of VHDL and automatically infer types and interfaces. This paper gives an overview of HML and discusses the translation from HML to VHDL and the type inference process. Index Terms-Digitaldesign, hardware description languages, VHDL. 1063-8210/00$10.00 © 2000 IEEE Yanbing Li (M'95) received the B.S. degree from

show abstract

“…Homogeneous models are based on a single formalism or language such as VHDL [8,10], C [12], C++ [20], SpecChart [23], Java [14,24,27], SDL [7,26], etc. These languages are rich and can typically be used far beyond their original scope, in particular when they are extended with special features, e.g.…”

Section: Introductionmentioning

confidence: 99%

Composite signal flow

Jantsch

Bjuréus²

2000

Proceedings of the Conference on Design, Automation and Test in Europe

View full text Add to dashboard Cite

The composite signal flow model of computation targets systems with significant control and data processing parts. It builds on the data flow and synchronous data flow models and extends them to include three signal types: nonperiodic signals, sampled signals, and vectorized sampled signals. Vectorized sampled signals are used to represent vectors and computations on vectors. Several conversion processes are introduced to facilitate synchronization and communication with these signals. We discuss the severe implications, that these processes have on the causal behaviour of the system. We illustrate the model and its usefulness with three applications. A co-modelling and co-simulation environment combining Matlab and SDL; a high level timing analysis as a consequence of the operations on vectors; conditions for a parallel, distributed simulation.

show abstract

Modeling reactive systems in Java

Cited by 15 publications

References 5 publications

Java threads and SugarCubes

Java threads and SugarCubes

HML, a novel hardware description language and its translation to VHDL

Composite signal flow

Contact Info

Product

Resources

About