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

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

Research output: Contribution to journalConference article in JournalResearchpeer-review


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.
Original languageEnglish
JournalWiP Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium
Pages (from-to)41-44
Number of pages4
Publication statusPublished - 2013
Event19th IEEE Real-Time and Embedded Technology and Applications Symposium - Hyatt Regency Philadelphia at Penn's Landing, Philadelphia, Pennsylvania, United States
Duration: 10 Apr 201311 Apr 2013
Conference number: 19


Conference19th IEEE Real-Time and Embedded Technology and Applications Symposium
LocationHyatt Regency Philadelphia at Penn's Landing
CountryUnited States
CityPhiladelphia, Pennsylvania
Internet address

Cite this