WCET derivation under single core equivalence with explicit memory budget assignment

Renato Mancuso; Rodolfo Pellizzoni; Neriman Tokcan; Marco Caccamo

doi:10.4230/LIPIcs.ECRTS.2017.3

WCET derivation under single core equivalence with explicit memory budget assignment

Renato Mancuso
, Rodolfo Pellizzoni
, Neriman Tokcan
, Marco Caccamo

Mathematics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	29th Euromicro Conference on Real-Time Systems, ECRTS 2017
Editors	Marko Bertogna
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages	31-323
Number of pages	293
ISBN (Electronic)	9783959770378
DOIs	https://doi.org/10.4230/LIPIcs.ECRTS.2017.3
State	Published - Jun 1 2017
Event	29th Euromicro Conference on Real-Time Systems, ECRTS 2017 - Dubrovnik, Croatia Duration: Jun 28 2017 → Jun 30 2017

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	76
ISSN (Print)	1868-8969

Conference

Conference	29th Euromicro Conference on Real-Time Systems, ECRTS 2017
Country/Territory	Croatia
City	Dubrovnik
Period	6/28/17 → 6/30/17

ASJC Scopus Subject Areas

Software

Keywords

Certification
Dram management
Real-time multicore
Single-core equivalence
WCET

Access to Document

10.4230/LIPIcs.ECRTS.2017.3

Cite this

Mancuso, R., Pellizzoni, R., Tokcan, N., & Caccamo, M. (2017). WCET derivation under single core equivalence with explicit memory budget assignment. In M. Bertogna (Ed.), 29th Euromicro Conference on Real-Time Systems, ECRTS 2017 (pp. 31-323). (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 76). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECRTS.2017.3

WCET derivation under single core equivalence with explicit memory budget assignment. / Mancuso, Renato; Pellizzoni, Rodolfo; Tokcan, Neriman et al.
29th Euromicro Conference on Real-Time Systems, ECRTS 2017. ed. / Marko Bertogna. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017. p. 31-323 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 76).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Mancuso, R, Pellizzoni, R, Tokcan, N & Caccamo, M 2017, WCET derivation under single core equivalence with explicit memory budget assignment. in M Bertogna (ed.), 29th Euromicro Conference on Real-Time Systems, ECRTS 2017. Leibniz International Proceedings in Informatics, LIPIcs, vol. 76, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, pp. 31-323, 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, Dubrovnik, Croatia, 6/28/17. https://doi.org/10.4230/LIPIcs.ECRTS.2017.3

Mancuso R, Pellizzoni R, Tokcan N, Caccamo M. WCET derivation under single core equivalence with explicit memory budget assignment. In Bertogna M, editor, 29th Euromicro Conference on Real-Time Systems, ECRTS 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2017. p. 31-323. (Leibniz International Proceedings in Informatics, LIPIcs). doi: 10.4230/LIPIcs.ECRTS.2017.3

Mancuso, Renato ; Pellizzoni, Rodolfo ; Tokcan, Neriman et al. / WCET derivation under single core equivalence with explicit memory budget assignment. 29th Euromicro Conference on Real-Time Systems, ECRTS 2017. editor / Marko Bertogna. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017. pp. 31-323 (Leibniz International Proceedings in Informatics, LIPIcs).

@inproceedings{f7dea29306054ea59809b93169717a9a,

title = "WCET derivation under single core equivalence with explicit memory budget assignment",

keywords = "Certification, Dram management, Real-time multicore, Single-core equivalence, WCET",

author = "Renato Mancuso and Rodolfo Pellizzoni and Neriman Tokcan and Marco Caccamo",

note = "Publisher Copyright: {\textcopyright} Renato Mancuso, Rodolfo Pellizzoni, Neriman Tokcan, and Marco Caccamo; licensed under Creative Commons License CC-BY.; 29th Euromicro Conference on Real-Time Systems, ECRTS 2017 ; Conference date: 28-06-2017 Through 30-06-2017",

year = "2017",

month = jun,

day = "1",

doi = "10.4230/LIPIcs.ECRTS.2017.3",

language = "English",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

pages = "31--323",

editor = "Marko Bertogna",

booktitle = "29th Euromicro Conference on Real-Time Systems, ECRTS 2017",

}

TY - GEN

T1 - WCET derivation under single core equivalence with explicit memory budget assignment

AU - Mancuso, Renato

AU - Pellizzoni, Rodolfo

AU - Tokcan, Neriman

AU - Caccamo, Marco

N1 - Publisher Copyright: © Renato Mancuso, Rodolfo Pellizzoni, Neriman Tokcan, and Marco Caccamo; licensed under Creative Commons License CC-BY.

PY - 2017/6/1

Y1 - 2017/6/1

KW - Certification

KW - Dram management

KW - Real-time multicore

KW - Single-core equivalence

KW - WCET

UR - https://www.scopus.com/pages/publications/85037745750

UR - https://www.scopus.com/pages/publications/85037745750#tab=citedBy

U2 - 10.4230/LIPIcs.ECRTS.2017.3

DO - 10.4230/LIPIcs.ECRTS.2017.3

M3 - Conference contribution

AN - SCOPUS:85037745750

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 31

EP - 323

BT - 29th Euromicro Conference on Real-Time Systems, ECRTS 2017

A2 - Bertogna, Marko

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

T2 - 29th Euromicro Conference on Real-Time Systems, ECRTS 2017

Y2 - 28 June 2017 through 30 June 2017

ER -

WCET derivation under single core equivalence with explicit memory budget assignment

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this