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

  • Christos Kloukinas
  • Chaker Nakhli
  • Sergio Yovine
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2855)


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.


Execution Mode Time Automaton Application Thread Software Engineering Perspective Untimed Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    Altisen, K., Göessler, G., Sifakis, J.: Scheduler modeling based on the controller synthesis paradigm. Real-Time Systems 23(1), 55–84 (2002)zbMATHCrossRefGoogle Scholar
  3. 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)CrossRefGoogle Scholar
  4. 4.
    Gauthier, L., Richard-Foy, M.: Expresso RNTL Project - High Integrity Profile (2002), Available from
  5. 5.
    Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley, Reading (1996)zbMATHGoogle Scholar
  6. 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. 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. 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. 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. 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. 11.
    Real-Time for Java Expert Group. The Real-Time Specification for Java (2001), Available from
  12. 12.
    Real-Time Java Working Group. Real-Time Core Extensions, revision 1.0.14 (2001), Available from
  13. 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. 14.
    Sun Microsystems. The Java HotSpot Performance Engine Architecture (April 1999),
  15. 15.
    TimeSys. JTime,
  16. 16.
    van Glabbeek, R.J., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. JACM 43(3) (1996)Google Scholar
  17. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Christos Kloukinas
    • 1
  • Chaker Nakhli
    • 1
  • Sergio Yovine
    • 1
  1. 1.VERIMAG Centre EquationGièresFrance

Personalised recommendations