Abstract
No abstract available.
Cited By
- 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)
- 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.
- 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)
- 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)
- 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)
- 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.
- Marriott C and Cavalcanti A SCJ Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (465-480)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- Cavalcanti A, Wellings A and Woodcock J The safety-critical Java memory model Proceedings of the 17th international conference on Formal methods, (246-261)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Doran S Anima Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference, (121-132)
- Doran S (2008). Anima, ACM SIGAda Ada Letters, 28:3, (121-132), Online publication date: 1-Dec-2008.
- 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)
- Fulton M and Stoodley M Compilation Techniques for Real-Time Java Programs Proceedings of the International Symposium on Code Generation and Optimization, (221-231)
- 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.
- 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)
- 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)
- Nicosia V Towards hard real-time erlang Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, (29-36)
- Wellings A and Burns A Real-time utilities for Ada 2005 Proceedings of the 12th international conference on Reliable software technologies, (1-14)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- Bouyssounouse B and Sifakis J Programming languages for real-time systems Embedded Systems Design, (338-351)
- 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.
- 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)
Index Terms
- Concurrent and Real-Time Programming in Java
Recommendations
Real-time Java processor optimized for RTSJ
SAC '07: Proceedings of the 2007 ACM symposium on Applied computingDue to the preeminent work of the real-time specification for Java(RTSJ), Java is increasingly expected to become the leading programming language in real-time systems. To provide a Java platform suitable for real-time applications, a real-time Java ...