A static timing analysis environment using Java architecture for safety critical real-time systems

Saved in:
Bibliographic Details
Title: A static timing analysis environment using Java architecture for safety critical real-time systems
Authors: Erik Yu-shing Hu, Guillem Bernat, Andy Wellings
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://www.it.uc3m.es/drequiem/Docs/RTJava/R-Hu-2002.pdf.
Publisher Information: IEEE Computer Society
Publication Year: 2002
Collection: CiteSeerX
Subject Terms: Hard Real-Time Systems, Real-Time Java, Worst- Case Execution Time Analysis, Portable WCET Analysis
Description: Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed before execution. In order to guarantee the timing constraints of portable code for hard real-time applications, a particular static timing analysis is necessary. In this paper, we provide a static timing analysis environment for the development of real-time applications on the Java architecture. The major contributions include introducing a novel Extensible Annotations Class (XAC) format to capture portable annotations from the source level, presenting how to integrate XACs with portable Worst-Case Execution Time (WCET) analysis, describing how to obtain real-time thread parameters from Real-Time Java's specifications, and demonstrating how static timing analysis using the Java architecture can be carried out from portable code.
Document Type: text
File Description: application/pdf
Language: English
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.523.3695
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.523.3695
http://www.it.uc3m.es/drequiem/Docs/RTJava/R-Hu-2002.pdf
Rights: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number: edsbas.413F199F
Database: BASE
Description
Abstract:Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed before execution. In order to guarantee the timing constraints of portable code for hard real-time applications, a particular static timing analysis is necessary. In this paper, we provide a static timing analysis environment for the development of real-time applications on the Java architecture. The major contributions include introducing a novel Extensible Annotations Class (XAC) format to capture portable annotations from the source level, presenting how to integrate XACs with portable Worst-Case Execution Time (WCET) analysis, describing how to obtain real-time thread parameters from Real-Time Java's specifications, and demonstrating how static timing analysis using the Java architecture can be carried out from portable code.