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)

Abstrakt

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.
OriginalsprogEngelsk
TidsskriftInnovations in Systems and Software Engineering
Vol/bind9
Udgave nummer1
Sider (fra-til)17-28
Antal sider12
ISSN1614-5046
DOI
StatusUdgivet - 2013

Citationsformater