Modeling reactive systems in Java
Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Rick McGeer, James Martin, Roberto Passerone, Alberto Luigi Sangiovanni-Vincentelli · ACM Transactions on Design Automation of Electronic Systems · 1998
We present an application of the Java TM 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.