article

Free access

Modeling reactive systems in Java

Editor: C. L. Liu Authors:

A. Sangiovanni-VincentelliAuthors Info & Claims

ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 3, Issue 4

Pages 515 - 523

https://doi.org/10.1145/296333.296334

Published: 01 October 1998 Publication History

PDF eReader

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.

References

[1]

ARNOLD, K. AND GOSLING, J. 1996. The Java programming language. Addison-Wesley, Reading, Mass.

Crossref

Google Scholar

[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.

Crossref

Google Scholar

[3]

BOUSSINOT, F., DOUMENC, G., AND STEFANI, J. 1996. Reactive objects. Ann. Telecommun. 51, 9-10 (September), 459-473.

Google Scholar

[4]

HALBWACHS, N. 1993. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers.

Crossref

Google Scholar

[5]

HOARE, C. A.R. 1978. Communicating Sequential Processes. Commun. ACM 21, 8 (Aug.) 666-677.

Crossref

Google Scholar

[6]

LINDHOLM, T. AND YELLIN, F. 1996. The JavaTM Virtual Machine Specification. Addison- Wesley, Reading, Mass.

Crossref

Google Scholar

[7]

NIELSEN, K. 1997. See http://www.newmonics.com.

Google Scholar

[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.

Crossref

Google Scholar

[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).

Google Scholar

Cited By

View all

Aguado JMendler MPouzet MRoop Pvon Hanxleden R(2018)Deterministic Concurrency: A Clock-Synchronised Shared Memory ApproachProgramming Languages and Systems10.1007/978-3-319-89884-1_4(86-113)Online publication date: 14-Apr-2018
https://doi.org/10.1007/978-3-319-89884-1_4
Radojevic ISalcic ZRadojevic ISalcic Z(2011)Models of Computation and LanguagesEmbedded Systems Design Based on Formal Models of Computation10.1007/978-94-007-1594-3_2(7-41)Online publication date: 21-May-2011
https://doi.org/10.1007/978-94-007-1594-3_2
Malik ASalcic ZRoop PGirault A(2010)SystemJComputer Languages, Systems and Structures10.1016/j.cl.2010.01.00136:4(317-344)Online publication date: 1-Dec-2010
https://dl.acm.org/doi/10.1016/j.cl.2010.01.001
Show More Cited By

Index Terms

Modeling reactive systems in Java

Recommendations

Interactive Programming of Reactive Systems

ReactiveML is a synchronous reactive extension of the general purpose programming language OCaml. It allows to program reactive systems such as video games or simulators. This paper presents rmltop, the ReactiveML counterpart of the OCaml toplevel. This ...
Backstage Java: making a difference in metaprogramming
OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

We propose Backstage Java (BSJ), a Java language extension which allows algorithmic, contextually-aware generation and transformation of code. BSJ explicitly and concisely represents design patterns and other encodings by employing compile-time ...
Backstage Java: making a difference in metaprogramming
OOPSLA '11

We propose Backstage Java (BSJ), a Java language extension which allows algorithmic, contextually-aware generation and transformation of code. BSJ explicitly and concisely represents design patterns and other encodings by employing compile-time ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Design Automation of Electronic Systems

ACM Transactions on Design Automation of Electronic Systems Volume 3, Issue 4

Oct. 1998

120 pages

ISSN:1084-4309

EISSN:1557-7309

DOI:10.1145/296333

Editor:
C. L. Liu
Univ. of Illinois at Urbana-Champaign, Urbana

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 01 October 1998

Published in TODAES Volume 3, Issue 4

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
605
Total Downloads

Downloads (Last 12 months)49
Downloads (Last 6 weeks)7

Reflects downloads up to 18 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Aguado JMendler MPouzet MRoop Pvon Hanxleden R(2018)Deterministic Concurrency: A Clock-Synchronised Shared Memory ApproachProgramming Languages and Systems10.1007/978-3-319-89884-1_4(86-113)Online publication date: 14-Apr-2018
https://doi.org/10.1007/978-3-319-89884-1_4
Radojevic ISalcic ZRadojevic ISalcic Z(2011)Models of Computation and LanguagesEmbedded Systems Design Based on Formal Models of Computation10.1007/978-94-007-1594-3_2(7-41)Online publication date: 21-May-2011
https://doi.org/10.1007/978-94-007-1594-3_2
Malik ASalcic ZRoop PGirault A(2010)SystemJComputer Languages, Systems and Structures10.1016/j.cl.2010.01.00136:4(317-344)Online publication date: 1-Dec-2010
https://dl.acm.org/doi/10.1016/j.cl.2010.01.001
Leung W(2007)Program entanglement, feature interaction and the feature language extensionsComputer Networks: The International Journal of Computer and Telecommunications Networking10.1016/j.comnet.2006.08.00251:2(480-495)Online publication date: 1-Feb-2007
https://dl.acm.org/doi/10.1016/j.comnet.2006.08.002
(2006)The SystemJ approach to system-level designProceedings of the Fourth ACM/IEEE International Conference on Formal Methods and Models for Co-Design10.5555/3041403.3041435(149-158)Online publication date: 1-Jan-2006
https://dl.acm.org/doi/10.5555/3041403.3041435
Gruian FRoop PSalcic ZRadojevic I(2006)The SystemJ approach to system-level designFourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.10.1109/MEMCOD.2006.1695918(149-158)Online publication date: 2006
https://doi.org/10.1109/MEMCOD.2006.1695918
Grimpe EOppenheimer F(2001)Object-oriented high level synthesis based on SystemCICECS 2001. 8th IEEE International Conference on Electronics, Circuits and Systems (Cat. No.01EX483)10.1109/ICECS.2001.957798(529-534)Online publication date: 2001
https://doi.org/10.1109/ICECS.2001.957798
Jantsch ABjuréus PBolsens I(2000)Composite signal flowProceedings of the conference on Design, automation and test in Europe10.1145/343647.343723(154-160)Online publication date: 1-Jan-2000
https://dl.acm.org/doi/10.1145/343647.343723
Verkest DKunkel JSchirrmeister FBolsens I(2000)System level design using C++Proceedings of the conference on Design, automation and test in Europe10.1145/343647.343709(74-83)Online publication date: 1-Jan-2000
https://dl.acm.org/doi/10.1145/343647.343709
Jantsch ABjureus P(2000)Composite signal flow: a computational model combining events, sampled streams, and vectorsProceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537)10.1109/DATE.2000.840032(154-160)Online publication date: 2000
https://doi.org/10.1109/DATE.2000.840032
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Interactive Programming of Reactive Systems

Backstage Java: making a difference in metaprogramming

Backstage Java: making a difference in metaprogramming

Comments

Information

Published In

Publisher

Journal Family

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations