naa a22 4500 510791085 CHVBK 20180411083320.0 cr unu---uuuuu 180411e20130301xx s 000 0 eng 10.1007/s11334-012-0185-4 doi (NATIONALLICENCE)springer-10.1007/s11334-012-0185-4 Towards harnessing theories through tool support for hard real-time Java programming [Elektronische Daten] [Thomas Bøgholm, Christian Frost, René Hansen, Casper Jensen, Kasper Luckow, Anders Ravn, Hans Søndergaard, Bent Thomsen] 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. Springer-Verlag London Limited, 2012 Java nationallicence Real-time systems nationallicence Safety-critical nationallicence Static analysis nationallicence Model checking nationallicence Bøgholm Thomas Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut Frost Christian Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut Hansen René Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut Jensen Casper Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut Luckow Kasper Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut Ravn Anders Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut Søndergaard Hans VIA University College, Chr. M. Østergaards Vej 4, 8700, Horsens, Denmark aut Thomsen Bent Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut Innovations in Systems and Software Engineering Springer-Verlag 9/1(2013-03-01), 17-28 1614-5046 9:1<17 2013 9 11334 https://doi.org/10.1007/s11334-012-0185-4 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11334-012-0185-4 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Bøgholm Thomas Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut NATIONALLICENCE 700 1- Frost Christian Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut NATIONALLICENCE 700 1- Hansen René Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut NATIONALLICENCE 700 1- Jensen Casper Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut NATIONALLICENCE 700 1- Luckow Kasper Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut NATIONALLICENCE 700 1- Ravn Anders Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut NATIONALLICENCE 700 1- Søndergaard Hans VIA University College, Chr. M. Østergaards Vej 4, 8700, Horsens, Denmark aut NATIONALLICENCE 700 1- Thomsen Bent Department of Computer Science, Aalborg University, SelmaLagerlöfs Vej 300, 9220, Aalborg East, Denmark aut NATIONALLICENCE 773 0- Innovations in Systems and Software Engineering Springer-Verlag 9/1(2013-03-01), 17-28 1614-5046 9:1<17 2013 9 11334 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer