Modeling reactive systems in Java

ACM Transactions on Design Automation of Electronic Systems

Volumn 3, Issue 4, 1998, Pages 515-523

  Passerone, C ^a   Sansoe C ^a   Lavagno, L ^b,d   McGeer, R ^b,d   Martin, J ^c   Passerone, R ^c   Sangiovanni Vincentelli, A ^c  

^a POLITECNICO DI TORINO   (Italy)

^b Cadence Berkeley Lab   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

^d CADENCE DESIGN SYSTEMS   (United States)

Author keywords

High level design; Java; Prototyping; Simulation

Indexed keywords

EID: 33746728236     PISSN: 10844309     EISSN: None     Source Type: Journal    
DOI: 10.1145/296333.296334     Document Type: Article

References (9)

1. ARNOLD, K. AND GOSLING, J. 1996. The Java programming language. Addison-Wesley, Reading, Mass.
2. BALARIN, F., SENTOVICH, E., CHIODO, M., GIUSTO, P., HSIEH, H., TABBARA, B., JURECSKA, A., LAVAGNO, L., PASSERONE, C., SUZUKI, K., AND SANGIOVANNI-VINCENTELLI, A. 1997. Hardware-Software Co-design of Embedded Systems - The POLIS experience. Kluwer Academic, Boston, MA.
3. BOUSSINOT, F., DOUMENC, G., AND STEFANI, J. 1996. Reactive objects. Ann. Telecommun. 51, 9-10 (September), 459-473.
4. HALBWACHS, N. 1993. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers.
5. HOARE, C. A. R. 1978. Communicating Sequential Processes. Commun. ACM 21, 8 (Aug.) 666-677.
6. LINDHOLM, T. AND YELLIN, F. 1996. The Java™ Virtual Machine Specification. Addison-Wesley, Reading, Mass.
7. NIELSEN, K. 1997. See http://www.newmonics.com.
8. V.D. BEEK, M. 1994. A comparison of Statecharts variants. In Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Proceedings (Sept. 1994). Springer Verlag, New York, 128-148.
9. YOUNG, J. AND NEWTON, R. 1997. Embedding programs in the Java language in the synchronous model of computation through the process of successive, formal refinement. In Proceedings of the International Conference on Computer-Aided Design (Nov. 1997).