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

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

6 Citationer (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.

Originalsprog	Engelsk
Tidsskrift	Innovations in Systems and Software Engineering
Vol/bind	9
Udgave nummer	1
Sider (fra-til)	17-28
Antal sider	12
ISSN	1614-5046
DOI	https://doi.org/10.1007/s11334-012-0185-4
Status	Udgivet - 2013

Adgang til dokumentet

10.1007/s11334-012-0185-4

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

6 Citationer
1 Ph.d.-afhandling

Platforms and Model-Based Analyses for Real-Time Java
Luckow, K. S., 2014, Department of Computer Science, Aalborg University.
Publikation: Ph.d.-afhandling

Citationsformater

@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

Adgang til dokumentet

AUB Link

Publikation

Platforms and Model-Based Analyses for Real-Time Java

Citationsformater