Worst-Case Memory Consumption Analysis for SCJ

Jeppe Lunde Andersen; Mikkel Todberg; Andreas Engelbredt Dalsgaard; Rene Rydhof Hansen

doi:10.1145/2512989.2513000

Worst-Case Memory Consumption Analysis for SCJ

Jeppe Lunde Andersen, Mikkel Todberg, Andreas Engelbredt Dalsgaard, Rene Rydhof Hansen

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

7 Citations (Scopus)

Abstract

Safety-Critical Java is designed to be used for safety-critical and hard real-time systems. To ensure predictable behaviour garbage collection has been replaced by a scope based memory model. This model currently requires bounds on memory usage of scopes to be specified by developers. These bounds have to be strict worst-case memory bounds to ensure correct behaviour of these systems. Currently, common methods are measurement based or by careful inspection of the applications Java bytecode. Not only is this a cumbersome approach it is also potentially unsafe. In this paper we present a worst-case memory consumption tool for Safety-Critical Java and evaluate it on existing usecases and a new usecase building on the Cubesat Space Protocol.

Original language	English
Title of host publication	Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Number of pages	9
Publisher	Association for Computing Machinery
Publication date	2013
Pages	2-10
ISBN (Print)	978-1-4503-2166-2
DOIs	https://doi.org/10.1145/2512989.2513000
Publication status	Published - 2013
Event	The 11th International Workshop on Java Technologies for Real-Time and Embedded Systems - Karlsruhe, Germany Duration: 9 Oct 2013 → 10 Oct 2013 Conference number: 11

Workshop

Workshop	The 11th International Workshop on Java Technologies for Real-Time and Embedded Systems
Number	11
Country/Territory	Germany
City	Karlsruhe
Period	09/10/2013 → 10/10/2013

Series	Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems
ISSN	2154-056X

Access to Document

10.1145/2512989.2513000

http://dl.acm.org/citation.cfm?id=2513000

AUB Link

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

CJ4ES: Certifiable Java for Embedded Systems
Hansen, R. R., Ravn, A. P. & Larsen, K. G.
Forskningsrådet for Teknologi og Produktion
01/03/2011 → 28/02/2014
Project: Research

Cite this

Andersen, Jeppe Lunde ; Todberg, Mikkel ; Dalsgaard, Andreas Engelbredt et al. / Worst-Case Memory Consumption Analysis for SCJ. Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, 2013. pp. 2-10 (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

@inproceedings{a9c9b94aee5745e99f049433f3fa0168,

title = "Worst-Case Memory Consumption Analysis for SCJ",

abstract = "Safety-Critical Java is designed to be used for safety-critical and hard real-time systems. To ensure predictable behaviour garbage collection has been replaced by a scope based memory model. This model currently requires bounds on memory usage of scopes to be specified by developers. These bounds have to be strict worst-case memory bounds to ensure correct behaviour of these systems. Currently, common methods are measurement based or by careful inspection of the applications Java bytecode. Not only is this a cumbersome approach it is also potentially unsafe. In this paper we present a worst-case memory consumption tool for Safety-Critical Java and evaluate it on existing usecases and a new usecase building on the Cubesat Space Protocol.",

author = "Andersen, {Jeppe Lunde} and Mikkel Todberg and Dalsgaard, {Andreas Engelbredt} and Hansen, {Rene Rydhof}",

year = "2013",

doi = "10.1145/2512989.2513000",

language = "English",

isbn = "978-1-4503-2166-2",

series = "Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems",

pages = "2--10",

booktitle = "Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems",

publisher = "Association for Computing Machinery",

address = "United States",

note = "The 11th International Workshop on Java Technologies for Real-Time and Embedded Systems ; Conference date: 09-10-2013 Through 10-10-2013",

}

Andersen, JL, Todberg, M, Dalsgaard, AE & Hansen, RR 2013, Worst-Case Memory Consumption Analysis for SCJ. in Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems, pp. 2-10, The 11th International Workshop on Java Technologies for Real-Time and Embedded Systems, Karlsruhe, Germany, 09/10/2013. https://doi.org/10.1145/2512989.2513000

Worst-Case Memory Consumption Analysis for SCJ. / Andersen, Jeppe Lunde; Todberg, Mikkel; Dalsgaard, Andreas Engelbredt et al.
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, 2013. p. 2-10 (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Worst-Case Memory Consumption Analysis for SCJ

AU - Andersen, Jeppe Lunde

AU - Todberg, Mikkel

AU - Dalsgaard, Andreas Engelbredt

AU - Hansen, Rene Rydhof

N1 - Conference code: 11

PY - 2013

Y1 - 2013

N2 - Safety-Critical Java is designed to be used for safety-critical and hard real-time systems. To ensure predictable behaviour garbage collection has been replaced by a scope based memory model. This model currently requires bounds on memory usage of scopes to be specified by developers. These bounds have to be strict worst-case memory bounds to ensure correct behaviour of these systems. Currently, common methods are measurement based or by careful inspection of the applications Java bytecode. Not only is this a cumbersome approach it is also potentially unsafe. In this paper we present a worst-case memory consumption tool for Safety-Critical Java and evaluate it on existing usecases and a new usecase building on the Cubesat Space Protocol.

AB - Safety-Critical Java is designed to be used for safety-critical and hard real-time systems. To ensure predictable behaviour garbage collection has been replaced by a scope based memory model. This model currently requires bounds on memory usage of scopes to be specified by developers. These bounds have to be strict worst-case memory bounds to ensure correct behaviour of these systems. Currently, common methods are measurement based or by careful inspection of the applications Java bytecode. Not only is this a cumbersome approach it is also potentially unsafe. In this paper we present a worst-case memory consumption tool for Safety-Critical Java and evaluate it on existing usecases and a new usecase building on the Cubesat Space Protocol.

U2 - 10.1145/2512989.2513000

DO - 10.1145/2512989.2513000

M3 - Article in proceeding

SN - 978-1-4503-2166-2

T3 - Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems

SP - 2

EP - 10

BT - Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems

PB - Association for Computing Machinery

T2 - The 11th International Workshop on Java Technologies for Real-Time and Embedded Systems

Y2 - 9 October 2013 through 10 October 2013

ER -

Andersen JL, Todberg M, Dalsgaard AE, Hansen RR. Worst-Case Memory Consumption Analysis for SCJ. In Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery. 2013. p. 2-10. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems). doi: 10.1145/2512989.2513000

Worst-Case Memory Consumption Analysis for SCJ

Abstract

Workshop

Access to Document

AUB Link

Fingerprint

Projects

CJ4ES: Certifiable Java for Embedded Systems

Cite this