Towards harnessing theories through tool support for hard real-time Java programming

Thomas Bøgholm, Christian Frost, Rene Rydhof Hansen, Casper Svenning Jensen, Kasper Søe Luckow, Anders Peter Ravn, Hans Søndergaard, Bent Thomsen

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

6 Citationer (Scopus)


We present a rationale for a selection of tools that assist developers of hard real-time applications to verify that programs conform to a Java real-time profile and that platform-specific resource constraints are satisfied. These tools are specialised instances of more generic static analysis and model checking frameworks. The concepts are illustrated by two case studies, and the strengths and the limitations of the tools are discussed.
TidsskriftInnovations in Systems and Software Engineering
Udgave nummer1
Sider (fra-til)17-28
Antal sider12
StatusUdgivet - 2013