Abstract
In this paper we address the problem of performing worst case execution time (WCET) analysis of Java Byte Code (JBC) which may be generated from different compilers and from different compilers and from different source languages. The motivation for the framework presented is to provide WCET analysis which is portable and therefore more likely to be used in an industrial context. Two issues are addressed in this paper, how to extract data flow and control flow information from JBC programs and how to provide a compiler/language independent mechanism to introduce WCET annotations in the source code. We show that an annotation mechanism based on calls to a static class with empty methods result in similar code when generated by Java or Ada compilers.
Original language | English |
---|---|
Title of host publication | EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS |
Place of Publication | LOS ALAMITOS |
Publisher | IEEE Computer Society |
Pages | 81-88 |
Number of pages | 4 |
ISBN (Print) | 0-7695-0734-4 |
Publication status | Published - 2000 |
Event | 12th Euromicro Conference on Real-Time Systems - STOCKHOLM Duration: 19 Jun 2000 → 21 Jun 2000 |
Conference
Conference | 12th Euromicro Conference on Real-Time Systems |
---|---|
City | STOCKHOLM |
Period | 19/06/00 → 21/06/00 |