Model-based schedulability analysis of safety critical hard real-time java programs

Proceedings of the 6th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2008

Volumn , Issue , 2008, Pages 106-114

  Bøgholm, Thomas ^a   Kragh Hansen, Henrik ^a   Olsen, Petur ^a   Thomsen, Bent ^a   Larsen, Kim G ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

Java processor; Model checking; Real time Java; Schedulability analysis

Indexed keywords

COMPUTER SOFTWARE; EMBEDDED SYSTEMS; INTEGRATED CIRCUITS; JAVA PROGRAMMING LANGUAGE; MODEL CHECKING; PROGRAM TRANSLATORS; TRANSLATION (LANGUAGES);

ACCURATE ANALYSIS; DEADLOCK FREEDOMS; HARD REAL-TIME; HIGH LEVEL SPECIFICATIONS; JAVA PROCESSOR; MODEL-BASED; PROGRAMMING LANGUAGES; REACHABILITY; REAL-TIME JAVA; SAFETY-CRITICAL; SCHEDULABILITY; SCHEDULABILITY ANALYSIS; TIMED AUTOMATA MODELS; UPPAAL MODEL CHECKERS;

REAL TIME SYSTEMS;

EID: 62749122783     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1434790.1434807     Document Type: Conference Paper

References (23)

1. a Jile. a Jile Systems, Inc. http://www.ajile.com/, 2008.
2. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Times: a tool for schedulability analysis and code generation of real-time systems. Lecture Notes in Computer Science, 2003.
3. BCEL. Apache Software Foundation. http://jakarta.apache.org/bcel/, 2006.
4. G. Behrmann, A. David, and K. G. Larsen. A tutorial on UPPAAL. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pages 200-236. Springer-Verlag, September 2004.
5. T. Bøgholm, H. Kragh-Hansen, and P. Olsen. Model-Based Schedulability Analysis of Real- Time Systems. https://services.cs.aau.dk/ public/tools/library/details.php?id=1213086732, 2008.
6. T. Bøgholm, H. Kragh-Hansen, and P. Olsen. Real-Time Java. https://services.cs.aau.dk/public/tools/library/details.php?id=1199704154, 2008.
7. G. Brat and S. Park. Java pathfinder - second generation of a java, model checker. In In Proceedings of the Workshop on Advances in Verification, 2000.
8. A. Burns and A. Wellings. Real- Time Systems and Programming Languages. Addison Wesley Longmain, 2001.
9. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pǎsǎreanu, Robby, and H. Zheng. Bandera: extracting finite-state models from java, source code. In ICSE '00: Proceedings of the 22nd international conference on Software engineering, pages 439-448, New York, NY, USA, 2000. ACM Press.
10. B. Dobbing and A. Burns. The ravenscar tasking profile for high integrity real-time programs. In SIGAda '98: Proceedings of the 1998 annual ACM SIGAda international conference on Ada, pages 1-6, New York, NY, USA, 1998. ACM.
11. G. B. et al. The Real-Time Specification for Java, 2000.
12. E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci., 354(2):301-317, 2006.
13. E. Fersman and W. Yi. A generic approach to schedulability analysis of real-time tasks. Nordic J. of Computing, 11(2):129-147, 2004.
14. J. J. Hunt, F. B. Siebert, P. H. Schmitt, and I. Tonin. Provably correct loops bounds for realtime java programs. In JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, pages 162-169, New York, NY, USA, 2006. ACM.
15. P. Krcal and W. Yi. Decidable and undecidable problems in schedulability analysis using timed automata. Lecture Notes in Computer Science, Volume 2988/2004:236-250, 2004.
16. J. Kwon, A. Wellings, and S. King. Ravenscar-java: A high integrity profile for real-time java. In In Joint A CM Java Grande/ISCOPE Conference, pages 131-140. ACM Press, 2002.
17. G. Lindstrom, P. C. Mehlitz, and W. Visser. Model checking real time java using java pathfinder. In ATVA, pages 444-456, 2005.
18. M. Schoeberl. JOP: A Java Optimized Processor for Embedded Real-Time Systems. PhD thesis, Vienna University of Technology, 2005.
19. M. Schoeberl. JOP Reference Handbook. http://jopdesign.com/doc/ handbook.pdf, 2007.
20. M. Schoeberl and R. Pedersen. Wcet analysis for a java processor. In JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, pages 202-211, New York, NY, USA, 2006. ACM.
21. M. Schoeberl, H. Søndergaard, B. Thomsen, and A. P. Ravn. A profile for safety critical java. In ISORC '07: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pages 94-101, Washington, DC, USA, 2007. IEEE Computer Society.
22. J. TALPIN, E. GAMATI, B. L. DEZ, D. BERNER, and P. L. GUERNIC. Hard real-time implementation of embedded software in java, 2003.
23. UPPAAL. Uppsala University and Aalborg University. http://www.uppaal.com/, 2006.