Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS

Kasper Søe Luckow, Thomas Bøgholm, Bent Thomsen

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Resumé

This paper presents how the tool TetaSARTS can be used to support the development of embedded hard real-time systems written in Java using the emerging Safety Critical Java (SCJ) profile. TetaSARTS facilitates control-flow sensitive schedulability analysis of a set of real-time tasks, and features a pluggable platform specification allowing analysis of systems including the hosting execution environment. This is achieved by approaching the analysis as a model checking problem by modelling the system using the Timed Automata formalism of the model checking tool Uppaal. The resulting Timed Automata model facilitates easy adjustment of a wide variety of parameters that may be of interest such as processor frequency.

This paper demonstrates that TetaSARTS can be used for tuning processor frequency, for conducting control-flow sensitive Worst Case Response Time analysis, and for conducting processor utilisation and idle time analysis.
OriginalsprogEngelsk
TidsskriftWiP Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium
Sider (fra-til)41-44
Antal sider4
StatusUdgivet - 2013
Begivenhed19th IEEE Real-Time and Embedded Technology and Applications Symposium - Hyatt Regency Philadelphia at Penn's Landing, Philadelphia, Pennsylvania, USA
Varighed: 10 apr. 201311 apr. 2013
Konferencens nummer: 19
http://www.cister.isep.ipp.pt/rtas2013/

Konference

Konference19th IEEE Real-Time and Embedded Technology and Applications Symposium
Nummer19
LokationHyatt Regency Philadelphia at Penn's Landing
LandUSA
ByPhiladelphia, Pennsylvania
Periode10/04/201311/04/2013
Internetadresse

Emneord

  • Real-time
  • Temporal correctness
  • Real-time Java
  • Safety Critical Java
  • model checking
  • Analysis Tools

Citer dette

@inproceedings{151febac420f475184574e0944287005,
title = "Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS",
abstract = "This paper presents how the tool TetaSARTS can be used to support the development of embedded hard real-time systems written in Java using the emerging Safety Critical Java (SCJ) profile. TetaSARTS facilitates control-flow sensitive schedulability analysis of a set of real-time tasks, and features a pluggable platform specification allowing analysis of systems including the hosting execution environment. This is achieved by approaching the analysis as a model checking problem by modelling the system using the Timed Automata formalism of the model checking tool Uppaal. The resulting Timed Automata model facilitates easy adjustment of a wide variety of parameters that may be of interest such as processor frequency.This paper demonstrates that TetaSARTS can be used for tuning processor frequency, for conducting control-flow sensitive Worst Case Response Time analysis, and for conducting processor utilisation and idle time analysis.",
keywords = "Real-time, Temporal correctness, Real-time Java, Safety Critical Java, model checking, Analysis Tools",
author = "Luckow, {Kasper S{\o}e} and Thomas B{\o}gholm and Bent Thomsen",
year = "2013",
language = "English",
pages = "41--44",
journal = "WiP Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium",

}

Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS. / Luckow, Kasper Søe; Bøgholm, Thomas; Thomsen, Bent.

I: WiP Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013, s. 41-44.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

TY - GEN

T1 - Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS

AU - Luckow, Kasper Søe

AU - Bøgholm, Thomas

AU - Thomsen, Bent

PY - 2013

Y1 - 2013

N2 - This paper presents how the tool TetaSARTS can be used to support the development of embedded hard real-time systems written in Java using the emerging Safety Critical Java (SCJ) profile. TetaSARTS facilitates control-flow sensitive schedulability analysis of a set of real-time tasks, and features a pluggable platform specification allowing analysis of systems including the hosting execution environment. This is achieved by approaching the analysis as a model checking problem by modelling the system using the Timed Automata formalism of the model checking tool Uppaal. The resulting Timed Automata model facilitates easy adjustment of a wide variety of parameters that may be of interest such as processor frequency.This paper demonstrates that TetaSARTS can be used for tuning processor frequency, for conducting control-flow sensitive Worst Case Response Time analysis, and for conducting processor utilisation and idle time analysis.

AB - This paper presents how the tool TetaSARTS can be used to support the development of embedded hard real-time systems written in Java using the emerging Safety Critical Java (SCJ) profile. TetaSARTS facilitates control-flow sensitive schedulability analysis of a set of real-time tasks, and features a pluggable platform specification allowing analysis of systems including the hosting execution environment. This is achieved by approaching the analysis as a model checking problem by modelling the system using the Timed Automata formalism of the model checking tool Uppaal. The resulting Timed Automata model facilitates easy adjustment of a wide variety of parameters that may be of interest such as processor frequency.This paper demonstrates that TetaSARTS can be used for tuning processor frequency, for conducting control-flow sensitive Worst Case Response Time analysis, and for conducting processor utilisation and idle time analysis.

KW - Real-time

KW - Temporal correctness

KW - Real-time Java

KW - Safety Critical Java

KW - model checking

KW - Analysis Tools

M3 - Conference article in Journal

SP - 41

EP - 44

JO - WiP Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium

JF - WiP Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium

ER -