Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications

  • Conference paper
Embedded Software (EMSOFT 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2855))

Included in the following conference series:

Abstract

Current trends in industry are leading towards the use of Java [5] as a programming language for implementing embedded and real-time applications. From the software engineering perspective, the Java environment is indeed a very attractive development framework. Object-oriented programming provides encapsulation of abstractions into objects that communicate through clearly defined interfaces. Dynamic loading eases the maintenance and improvement of complex applications with evolving requirements and functionality. Besides, Java provides built-in support for multi-threading.

Partially supported by the RNTL project Expresso(http://www.irisa.fr/rntl-expresso).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AICAS. JamaicaVM, http://www.aicas.com/jamaica.html

  2. Altisen, K., Göessler, G., Sifakis, J.: Scheduler modeling based on the controller synthesis paradigm. Real-Time Systems 23(1), 55–84 (2002)

    Article  MATH  Google Scholar 

  3. Delsart, B., Joloboff, V., Paire, E.: JCOD:ALeightweight Modular CompilationTechnology for Embedded Java. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  4. Gauthier, L., Richard-Foy, M.: Expresso RNTL Project - High Integrity Profile (2002), Available from http://www.irisa.fr/rntl-expresso/docs/hip-api.pdf

  5. Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley, Reading (1996)

    MATH  Google Scholar 

  6. IEEE. POSIX.1. IEEE Std 1003.1:2001. Standard for Information Technology - Portable Operating System Interface (POSIX). The Institute of Electrical and Electronic Engineers (2001)

    Google Scholar 

  7. Kloukinas, C., Yovine, S.: Synthesis of Safe, QoS Extendible, Application Specific Schedulers for Heterogeneous Real-Time Systems. In: Proceedings of 5th Euromicro Conference on Real-Time Systems (ECRTS 2003), Porto, Portugal (July 2003)

    Google Scholar 

  8. Kwon, J., Wellings, A.J., King, S.: Ravenscar-Java:A High-Integrity Profile for Real-Time Java. In: Java Grande, pp. 131–140 (2002)

    Google Scholar 

  9. Lusini, M., Vicario, E.: Static analysis and dynamic steering of time-dependent systems using Petri Nets. Technical Report # 28.98, University of Florence (1998)

    Google Scholar 

  10. Muller, G., Moura, B., Bellard, F., Consel, C.: Harissa: A flexible and efficient Java environment mixing bytecode and compiled code. In: Proc. of Usenix COOTS 1997, Berkeley (1997)

    Google Scholar 

  11. Real-Time for Java Expert Group. The Real-Time Specification for Java (2001), Available from http://www.rtj.org

  12. Real-Time Java Working Group. Real-Time Core Extensions, revision 1.0.14 (2001), Available from http://www.j-consortium.org/rtjwg

  13. Sifakis, J., Tripakis, S., Yovine, S.: Building models of real-time systems from application software. Proceedings of the IEEE, Special issue on modeling and design of embedded software 91(1), 100–111 (2003)

    Google Scholar 

  14. Sun Microsystems. The Java HotSpot Performance Engine Architecture (April 1999), http://java.sun.com/products/hotspot/whitepaper.html

  15. TimeSys. JTime, http://www.timesys.com

  16. van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. JACM 43(3) (1996)

    Google Scholar 

  17. Weiss, M., de Ferrière, F., Delsart, B., Fabre, C., Hirsch, F., Johnson, E.A., Joloboff, V., Roy, F., Siebert, F., Spengler, X.: TurboJ, a Java bytecode-to-native compiler. In: Müller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol. 1474, p. 119. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. VERIMAG Centre Equation, 2 Ave. Vignate, 38610, Gières, France

    Christos Kloukinas, Chaker Nakhli & Sergio Yovine

Authors
  1. Christos Kloukinas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Chaker Nakhli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sergio Yovine
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Pennsylvania,  

    Rajeev Alur

  2. School of Engineering and Applied Science, Department of Computer and Information Science, University of Pennsylvania, Levine Hall, Room 602, 3330 Walnut Street, PA 19104-6389, Philadelphia, USA

    Insup Lee

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kloukinas, C., Nakhli, C., Yovine, S. (2003). A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications. In: Alur, R., Lee, I. (eds) Embedded Software. EMSOFT 2003. Lecture Notes in Computer Science, vol 2855. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45212-6_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45212-6_18

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20223-3

  • Online ISBN: 978-3-540-45212-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation