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

Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

37 Citations (Scopus)

Abstract

In this paper, we present a novel approach to schedulability

analysis of Safety Critical Hard Real-Time Java programs.

The approach is based on a translation of programs, written

in the Safety Critical Java profile introduced in [21] for the

Java Optimized Processor [18], to timed automata models

verifiable by the Uppaal model checker [23]. Schedulability

analysis is reduced to a simple reachability question, checking

for deadlock freedom. Model-based schedulability analysis

has been developed by Amnell et al. [2], but has so

far only been applied to high level specifications, not actual

implementations in a programming language. Experiments

show that model-based schedulability analysis can result in

a more accurate analysis than possible with traditional approaches,

thus systems deemed non-schedulable by traditional

approaches may in fact be schedulable, as detected

by our analysis.

Our approach has been implemented in a tool, named

SARTS, successfully used to verify the schedulability of a

real-time sorting machine consisting of two periodic and two

sporadic tasks. SARTS has also been applied on a number of

smaller examples to investigate properties of our approach.

Original languageEnglish
Title of host publicationProceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Volume343
PublisherAssociation for Computing Machinery
Publication date2008
Pages106-114
ISBN (Print)978-1-60558-337-2
DOIs
Publication statusPublished - 2008
EventInternational workshop on Java technologies for real-time and embedded systems - Santa Clara, California, United States
Duration: 24 Sep 200826 Sep 2008
Conference number: 6

Conference

ConferenceInternational workshop on Java technologies for real-time and embedded systems
Number6
CountryUnited States
CitySanta Clara, California
Period24/09/200826/09/2008

    Fingerprint

Cite this

Bøgholm, T., Kragh-Hansen, H., Olsen, P., Thomsen, B., & Larsen, K. G. (2008). Model-based schedulability analysis of safety critical hard real-time Java programs. In Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems (Vol. 343, pp. 106-114). Association for Computing Machinery. https://doi.org/10.1145/1434790.1434807