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.
Modeling Reactive Systems in Java / C., Passerone; Passerone, Roberto; L., Lavagno; C., Sansoe; A. L., Sangiovanni Vincentelli. - (1998), pp. 15-19. ( HLDVT97 Oakland, CA, USA 1997-November 14--15,).
Modeling Reactive Systems in Java
Passerone, Roberto;
1998-01-01
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
