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

doi:10.1007/s11334-012-0185-4

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 journal › Journal article › Research › peer-review

6 Citations (Scopus)

Abstract

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 language	English
Journal	Innovations in Systems and Software Engineering
Volume	9
Issue number	1
Pages (from-to)	17-28
Number of pages	12
ISSN	1614-5046
DOIs	https://doi.org/10.1007/s11334-012-0185-4
Publication status	Published - 2013

Access to Document

10.1007/s11334-012-0185-4

AUB Link

Search for the material in Aalborg University Library's search engine

6 Citations
1 PhD thesis

Platforms and Model-Based Analyses for Real-Time Java
Luckow, K. S., 2014, Department of Computer Science, Aalborg University.
Research output: PhD thesis

Cite this

@article{c717444792e34216a39678182932bba0,

title = "Towards harnessing theories through tool support for hard real-time Java programming",

abstract = "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.",

author = "Thomas B{\o}gholm and Christian Frost and Hansen, {Rene Rydhof} and Jensen, {Casper Svenning} and Luckow, {Kasper S{\o}e} and Ravn, {Anders Peter} and Hans S{\o}ndergaard and Bent Thomsen",

year = "2013",

doi = "10.1007/s11334-012-0185-4",

language = "English",

volume = "9",

pages = "17--28",

journal = "Innovations in Systems and Software Engineering",

issn = "1614-5046",

publisher = "Springer",

number = "1",

}

TY - JOUR

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

AU - Bøgholm, Thomas

AU - Frost, Christian

AU - Hansen, Rene Rydhof

AU - Jensen, Casper Svenning

AU - Luckow, Kasper Søe

AU - Ravn, Anders Peter

AU - Søndergaard, Hans

AU - Thomsen, Bent

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

U2 - 10.1007/s11334-012-0185-4

DO - 10.1007/s11334-012-0185-4

M3 - Journal article

SN - 1614-5046

VL - 9

SP - 17

EP - 28

JO - Innovations in Systems and Software Engineering

JF - Innovations in Systems and Software Engineering

IS - 1

ER -

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

Abstract

Access to Document

AUB Link

Research output

Platforms and Model-Based Analyses for Real-Time Java

Cite this