A static timing analysis environment using Java architecture for safety critical real-time systems
- 25 June 2003
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002)
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- A profile for high-integrity real-time Java programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Low-level analysis of a portable Java byte code WCET analysis frameworkPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Portable worst-case execution time analysis using Java Byte CodePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- JML: A Notation for Detailed DesignPublished by Springer Science and Business Media LLC ,1999
- Bounding pipeline and instruction cache performanceInternational Conference on Acoustics, Speech, and Signal Processing (ICASSP), 1999
- Computing Maximum Task Execution Times — A Graph-Based ApproachReal-Time Systems, 1997
- An accurate worst case timing analysis for RISC processorsIEEE Transactions on Software Engineering, 1995
- Calculating the maximum execution time of real-time programsReal-Time Systems, 1989
- Reasoning about time in higher-level language softwareIEEE Transactions on Software Engineering, 1989