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

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (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.
Original languageEnglish
JournalInnovations in Systems and Software Engineering
Issue number1
Pages (from-to)17-28
Number of pages12
Publication statusPublished - 2013

Cite this