TetaSARTS: A tool for modular timing analysis of safety critical Java systems

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

6 Citationer (Scopus)

Abstrakt

We describe the design and the capabilities of the static timing analysis tool TetaSARTS that assists in temporal verification of Safety Critical Java (SCJ) systems. The primary functionality of TetaSARTS is schedulability analysis, which takes into account the scheduling policy and task interactions. TetaSARTS also facilitates analysing processor utilisation and idle time, Worst Case Execution Time, Worst Case Response Time, and Worst Case Blocking Time.

In the analyses, TetaSARTS accounts for the execution environment hosting the analysed system; both hardware implementations of the Java Virtual Machine as well as software implementations hosted on common embedded hardware are supported. Several parameters of the execution environment can be adjusted prior to performing the analyses e.g. the clock frequency of the hardware.

The enabling technology for supporting the analyses and for achieving high flexibility is model checking. In a process resembling the stages of an optimising compiler, TetaSARTS translates the SCJ system into a Network of Timed Automata amenable to model checking using the Uppaal model checker.
OriginalsprogEngelsk
TitelProceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Antal sider10
ForlagAssociation for Computing Machinery
Publikationsdato2013
Udgave11
Sider11-20
ISBN (Trykt)978-1-4503-2166-2
DOI
StatusUdgivet - 2013
BegivenhedThe 11th International Workshop on Java Technologies for Real-Time and Embedded Systems - Karlsruhe, Tyskland
Varighed: 9 okt. 201310 okt. 2013
Konferencens nummer: 11

Workshop

WorkshopThe 11th International Workshop on Java Technologies for Real-Time and Embedded Systems
Nummer11
LandTyskland
ByKarlsruhe
Periode09/10/201310/10/2013
NavnProceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems
ISSN2154-056X

Emneord

  • model checking
  • uppaal
  • real-time
  • java
  • program analysis
  • timing analysis

Citationsformater

Luckow, K. S., Bøgholm, T., Thomsen, B., & Larsen, K. G. (2013). TetaSARTS: A tool for modular timing analysis of safety critical Java systems. I Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems (11 udg., s. 11-20). Association for Computing Machinery. Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems https://doi.org/10.1145/2512989.2512992