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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

38 Citationer (Scopus)

Abstrakt

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.

OriginalsprogEngelsk
TitelProceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Vol/bind343
ForlagAssociation for Computing Machinery
Publikationsdato2008
Sider106-114
ISBN (Trykt)978-1-60558-337-2
DOI
StatusUdgivet - 2008
BegivenhedInternational workshop on Java technologies for real-time and embedded systems - Santa Clara, California, USA
Varighed: 24 sep. 200826 sep. 2008
Konferencens nummer: 6

Konference

KonferenceInternational workshop on Java technologies for real-time and embedded systems
Nummer6
LandUSA
BySanta Clara, California
Periode24/09/200826/09/2008

Fingeraftryk Dyk ned i forskningsemnerne om 'Model-based schedulability analysis of safety critical hard real-time Java programs'. Sammen danner de et unikt fingeraftryk.

  • Citationsformater

    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. I Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems (Bind 343, s. 106-114). Association for Computing Machinery. https://doi.org/10.1145/1434790.1434807