Certifiable Java for Embedded Systems

Project Details

AcronymCJ4ES
StatusActive
Effective start/end date01/03/2011 → …

Funding

  • Forskningsrådet for Teknologi og Produktion

Keywords

  • safety critical java
  • embedded systems

Research Output

  • 5 Article in proceeding

Certifiable Java for Embedded Systems

Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S. E., Ravn, A. P., Rivas, J. R. R., Strøm, T. B. & Søndergaard, H., 2014, Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, p. 10-19 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)

A Test Suite for Safety-Critical Java using JML

Ravn, A. P. & Søndergaard, H., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, p. 80-88 (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

4 Citations (Scopus)

Worst-Case Memory Consumption Analysis for SCJ

Andersen, J. L., Todberg, M., Dalsgaard, A. E. & Hansen, R. R., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, p. 2-10 9 p. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 6 Citations (Scopus)