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.
Bøgholm, T., Frost, C., Hansen, R. R., Jensen, C. S., Luckow, K. S., Ravn, A. P., Søndergaard, H., & Thomsen, B. (2013). Towards harnessing theories through tool support for hard real-time Java programming. Innovations in Systems and Software Engineering, 9(1), 17-28. https://doi.org/10.1007/s11334-012-0185-4