Modeling reactive systems in Java

Author

Passerone, Claudio ; Passerone, Roberto ; Sansoe, Claudio ; Martin, Jonathan ; Sangiovanni-Vincentelli, Alberto ; McGeer, Rick

Author_Institution

Cadence Eur. Labs., Politecnico di Torino, Italy

fYear

1998

fDate

15-18 Mar 1998

Firstpage

15

Lastpage

19

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

Keywords

object-oriented programming; real-time systems; Java programming language; asynchronous communication; automotive domain; concurrency; reactive real-time systems; reactive systems modelling; sequencing; synchronous language Esterel; user-friendliness; Computational modeling; Computer languages; Concurrent computing; Embedded system; Hardware design languages; Java; Object oriented modeling; Signal processing; Testing; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Hardware/Software Codesign, 1998. (CODES/CASHE '98) Proceedings of the Sixth International Workshop on

Conference_Location

Seattle, WA

ISSN

1092-6100

Print_ISBN

0-8186-8442-9

Type

conf

DOI

10.1109/HSC.1998.666232

Filename

666232