skip to main content
Skip header Section
Concurrent and Real-Time Programming in JavaJuly 2004
Publisher:
  • John Wiley & Sons, Inc.
  • 111 River Street
  • Hoboken
  • NJ
  • United States
ISBN:978-0-470-84437-3
Published:01 July 2004
Skip Bibliometrics Section
Bibliometrics
Abstract

No abstract available.

Cited By

  1. ACM
    Chang W, Zhao S, Wei R, Wellings A and Burns A From Java to real-time Java: a model-driven methodology with automated toolchain (invited paper) Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, (123-134)
  2. Rivera V, Cataño N, Wahls T and Rueda C (2017). Code generation for Event-B, International Journal on Software Tools for Technology Transfer (STTT), 19:1, (31-52), Online publication date: 1-Feb-2017.
  3. Freitas L, Baxter J, Cavalcanti A and Wellings A Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment Proceedings of the 12th International Conference on Integrated Formal Methods - Volume 9681, (63-78)
  4. ACM
    Rivera V, Bhattacharya S and Cataño N Undertaking the tokeneer challenge in event-b Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, (8-14)
  5. ACM
    Zhao S, Wellings A and Korsholm S Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time Environment Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, (1-10)
  6. Zeyda F and Cavalcanti A (2015). Laws of mission-based programming, Formal Aspects of Computing, 27:2, (423-472), Online publication date: 1-Mar-2015.
  7. Marriott C and Cavalcanti A SCJ Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (465-480)
  8. ACM
    Wellings A, Luckcuck M and Cavalcanti A Safety-critical Java level 2 Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, (48-57)
  9. ACM
    Ballarin C Towards monitoring temporal properties with JamaicaVM Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, (89-95)
  10. Cavalcanti A, Wellings A and Woodcock J (2013). The Safety-Critical Java memory model formalised, Formal Aspects of Computing, 25:1, (37-57), Online publication date: 1-Jan-2013.
  11. ACM
    Hunt J A new I/O model for the real-time specification for Java Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, (26-33)
  12. ACM
    de Miguel M and Salazar E Model-based development for RTSJ platforms Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, (175-184)
  13. ACM
    Cavalcanti A, Wellings A, Woodcock J, Wei K and Zeyda F Safety-critical Java in Circus Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, (20-29)
  14. Cavalcanti A, Wellings A and Woodcock J The safety-critical Java memory model Proceedings of the 17th international conference on Formal methods, (246-261)
  15. Zeyda F, Cavalcanti A and Wellings A The safety-critical java mission model Proceedings of the 13th international conference on Formal methods and software engineering, (49-65)
  16. ACM
    Kim M and Wellings A Using the executor framework to implement asynchronous event handling in the RTSJ Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, (16-25)
  17. ACM
    Wellings A and Kim M Asynchronous event handling and safety critical Java Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, (53-62)
  18. Cicirelli F, Furfaro A, Nigro L and Pupo F Temporal verification of RT-DEVS models with implementation aspects Proceedings of the 2010 Spring Simulation Multiconference, (1-8)
  19. ACM
    Nafea I, Holton D, Younas M and Awan I Synthesis of performance management mechanisms in modern e-commerce services Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services, (501-508)
  20. Nafea I, Holton D, Younas M and Awan I A formal approach to investigate the performance of modern e-commerce services Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications, (233-246)
  21. ACM
    Holgado-Terriza J and Viúdez-Aivar J A flexible Java framework for embedded systems Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (21-30)
  22. ACM
    Schommer J, Franke D, Kowalewski S and Weise C Evaluation of the real-time Java runtime environment for deployment in time-critical systems Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, (51-60)
  23. ACM
    Doran S Anima Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference, (121-132)
  24. ACM
    Doran S (2008). Anima, ACM SIGAda Ada Letters, 28:3, (121-132), Online publication date: 1-Dec-2008.
  25. Plšek A, Loiret F, Merle P and Seinturier L A component framework for java-based real-time embedded systems Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware, (124-143)
  26. Fulton M and Stoodley M Compilation Techniques for Real-Time Java Programs Proceedings of the International Symposium on Code Generation and Optimization, (221-231)
  27. ACM
    Cheng A and Ras J (2007). The implementation of the Priority Ceiling Protocol in Ada-2005, ACM SIGAda Ada Letters, XXVII:1, (24-39), Online publication date: 1-Apr-2007.
  28. ACM
    Kim M and Wellings A Asynchronous event handling in the real-time specification for Java Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, (3-12)
  29. ACM
    Jean-Paul B, Raphaël C, David C, Mamoun F and Jean-François R A mapping from AADL to Java-RTSJ Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, (165-174)
  30. ACM
    Nicosia V Towards hard real-time erlang Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, (29-36)
  31. Wellings A and Burns A Real-time utilities for Ada 2005 Proceedings of the 12th international conference on Reliable software technologies, (1-14)
  32. ACM
    Søndergaard H, Thomsen B and Ravn A A Ravenscar-Java profile implementation Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (38-47)
  33. ACM
    Moreno R and Salcedo J Implementation of time petri nets in real-time Java Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (178-187)
  34. ACM
    Etienne J, Cordry J and Bouzefrane S Applying the CBSE paradigm in the real time specification for Java Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, (218-226)
  35. Higuera-Toledano M Towards an analysis of race carrier conditions in real-time java Proceedings of the 20th international conference on Parallel and distributed processing, (172-172)
  36. Ivanov L (2006). A modern course on parallel and distributed processing, Journal of Computing Sciences in Colleges, 21:6, (29-38), Online publication date: 1-Jun-2006.
  37. Wehrmeister M, Pereira C and Becker L Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java Proceedings of the conference on Design, automation and test in Europe: Proceedings, (806-811)
  38. Brosgol B A comparison of the mutual exclusion features in ada and the real-time specification for JavaTM Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies, (129-143)
  39. Lindstrom G, Mehlitz P and Visser W Model checking real time java using java pathfinder Proceedings of the Third international conference on Automated Technology for Verification and Analysis, (444-456)
  40. Bouyssounouse B and Sifakis J Programming languages for real-time systems Embedded Systems Design, (338-351)
  41. ACM
    Wellings A (2003). Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?, ACM SIGAda Ada Letters, XXIII:4, (16-21), Online publication date: 1-Dec-2003.
  42. ACM
    Wellings A Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95? Proceedings of the 12th international workshop on Real-time Ada, (16-21)
Contributors
  • University of York

Recommendations

Reviews

Alberto Squassabia

This book proclaims itself to be a college-level textbook for undergraduate seniors and graduate students in computer science. The book assumes a good understanding of Java, and of programming in general. It contains 18 chapters and one appendix, plus adequate references and an index. After the introduction, five chapters (including one fully dedicated to a case study) discuss concurrent programming in Java, and then 11 more chapters (of which one is also a case study) cover real-time programming; the 18th chapter wraps up and concludes the presentation. The appendix is a summary reference of all classes and interfaces used in the book. The first part of the book is comprised of a treatment of concurrency, to introduce the reader to threads in Java, and, more specifically, to the scheduling of threads in real time, as discussed later in the second part. The coverage and discussion of concurrency is basic, and includes solutions in Java for a few classic concurrent programming problems. Albeit sufficient for an introduction, it is certainly not exhaustive; the goal is to provide enough background to appreciate in full the issues of threading in real time, as well as the constraints of the concurrency and synchronization model that Java provides. The second part addresses real-time programming, and is the core of the book. It reads almost like an annotated reference to the Real Time Specification for Java (RTSJ), which was created under the Java Community Process as JSR-1, by the Real Time for Java Expert Group. This part of the book occupies more than 60 percent of the pages, and details all aspects of the JSR-1 specification. Whereas much of the JSR-1 document is arranged as a reference, this book is more likely to elicit understanding, by presenting code snippets for usage examples (of which there are many), and to indulge in more explanations and clarifications on the whys and the hows of various aspects of JSR-1. This book is not a tutorial; its aim and contribution is to provide a general commentary on RTSJ, with a systematic approach to coverage. The kind of help this book offers is that of an encompassing, advanced user's guide. The style, however, is very dry, enough so to discourage linear reading from beginning to end, because of an approachable, but flat exposition. Readers determined to go through this book cover to cover will need to express a correspondingly adequate amount of motivation. It is worth noting that this book, while claiming to be a textbook, does not include any exercises; several practice problems, however, mostly in the form of coding assignments, are available from the companion Web site (http://www.cs.york.ac.uk/rts/CRTJbook.html). There, additional teaching aids (Web references, software links, source code, and Microsoft PowerPoint slides) are available to complement the book. Online Computing Reviews Service

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.