Skip to main content
SpringerLink
Log in
Book cover

International Conference on Networking

ICN 2001: Networking — ICN 2001 pp 530–539Cite as

Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java

  • Conference paper
  • First Online:

  • 501 Accesses

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

Abstract

With its central and unique ability to execute bytecode on any platform, the Java programming language has gained increasing popularity in a wide area of computation especially in internet-related applications. Even with its broad applicability, the standard Java virtual machine is deficient in the capability to express real-time constraints. In this study, a specification language is suggested to specify real-time constraints, which generates skeletal Java code containing the invocation of real-time APIs. The use of multithreading is proposed to implement real-time APIs without modifying the current Java semantics. This approach may expand the application area of Java applet with existing language features especially to specify soft real-time constraints for visual specification or modeling based on internet. With the suggested technique we can specify timing semantics including maximum,

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Cohen, W. T. Harwood, M. I. Jackson: The Specification of Complex Systems, Addison-Wesley Publishing Company (1986)

    Google Scholar 

  2. M. S. Feather: Program specification applied to a text formatter, IEEE Trans. Software Eng., Vol SE-8, No. 9, September (1982) 490–498

    Article  Google Scholar 

  3. B. H. Liskov, V. Berzins: An appraisal of program specifications, Research Directions in Software Technology, P. Wegner (edn.), MIT Press, (1979) 276–301

    Google Scholar 

  4. B. W. Boehm: Verifying and validating software requirements and design specification, IEEE Software, Vol 1, No. 1, January (1984) 75–88

    Article  Google Scholar 

  5. A. W. Appel: Modern Compiler Implementation in Java, Cambridge University Press (1998)

    Google Scholar 

  6. F. Jahanian, A. K. Mok: Safety analysis of timing properties in real-time systems, IEEE Trans. Software Eng., Vol. SE-12, No. 9, September (1986) 890–904

    Google Scholar 

  7. B. Dasarathy: Timing constraints of real-time systems: Constructs for expressing them, methods of validating them, IEEE Trans. Software Eng., Vol. SE-11, No. 1, January (1985) 80–86

    Article  Google Scholar 

  8. C. Ghezzi, D. Mandrioli: On eclecticism in specifications: A case study centered around Petri nets, in Proceedings of the 4th International Workshop on Software Specification and Design, IEEE Computer Society Press, April 3-4 (1987) 216–224

    Google Scholar 

  9. J. A. Stankovic: Real-time computing, Byte, Vol. 17, No. 8, August (1992) 155–160

    Google Scholar 

  10. K. B. Kenny, K.-J. L in: Building flexible real-time systems using the Flex language, Computer, Vol. 24, No. 5, May (1991) 70–78

    Article  Google Scholar 

  11. E. Kligerman, A. D. Stoyenko: Real-time Euclid: A language for reliable realtime systems, IEEE Trans. Software Eng., Vol. SE-12, No. 9, September (1986)941–949

    Google Scholar 

  12. G. Bollella, K. Russell: JSR#000001 Real-time specification for Java, http://java.sun.com/aboutJava/communityprocess/jsr/jsr_001_real_time.htm (2000)

  13. C. Horstmann, G. Cornell: Core Java 1.2 Volume 1-Fundamentals, The Sun Microsystems Press (1999)

    Google Scholar 

  14. D. Hardin: The Rockwell JEM Microprocessor Family: An Efficient Platform for Real-Time Embedded Java, http://www.ajile.com/people/hardin/writings /jemplrtia-1998.html (1998)

  15. P. Wagner: Sun Gambles on Java Chips, Byte, Vol. 21, No. 11, November (1996)79–88

    Google Scholar 

  16. D. Hardin: The Real-Time Specification for Java, Dr. Dobb’s Journal, February (2000)

    Google Scholar 

  17. S. Ortiz Jr.: The Battle over Real-Time Java, Computer, Vol. 32, No. 6 (1999) 13–15

    Article  MathSciNet  Google Scholar 

  18. J. F. Allen: Maintaining Knowledge about Temporal Intervals, Communication of the ACM, Vol. 26, No. 11, November (1983)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Electronic Engineering, Handong University, Pohang, 791-940, Korea

    Keum-Young Sung

Authors
  1. Keum-Young Sung
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. IUT de Colmar - Departement GTR, University of Haute Alsace, 34 rue du Grillenbreit, 68008, Colmar, France

    Pascal Lorenz

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sung, KY. (2001). Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java. In: Lorenz, P. (eds) Networking — ICN 2001. ICN 2001. Lecture Notes in Computer Science, vol 2093. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47728-4_52

Download citation

  • DOI: https://doi.org/10.1007/3-540-47728-4_52

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42302-7

  • Online ISBN: 978-3-540-47728-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation