License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECRTS.2018.21
URN: urn:nbn:de:0030-drops-89822
URL: http://drops.dagstuhl.de/opus/volltexte/2018/8982/
Go to the corresponding LIPIcs Volume Portal


Fellmuth, Joachim ; Göthel, Thomas ; Glesner, Sabine

Instruction Caches in Static WCET Analysis of Artificially Diversified Software

pdf-format:
LIPIcs-ECRTS-2018-21.pdf (0.5 MB)


Abstract

Artificial Software Diversity is a well-established method to increase security of computer systems by thwarting code-reuse attacks, which is particularly beneficial in safety-critical real-time systems. However, static worst-case execution time (WCET) analysis on complex hardware involving caches only delivers sound results for single versions of the program, as it relies on absolute addresses for all instructions. To overcome this problem, we present an abstract interpretation based instruction cache analysis that provides a safe yet precise upper bound for the execution of all variants of a program. We achieve this by integrating uncertainties in the absolute and relative positioning of code fragments when updating the abstract cache state during the analysis. We demonstrate the effectiveness of our approach in an in-depth evaluation and provide an overview of the impact of different diversity techniques on the WCET estimations.

BibTeX - Entry

@InProceedings{fellmuth_et_al:LIPIcs:2018:8982,
  author =	{Joachim Fellmuth and Thomas G{\"o}thel and Sabine Glesner},
  title =	{{Instruction Caches in Static WCET Analysis of Artificially Diversified Software}},
  booktitle =	{30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
  pages =	{21:1--21:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-075-0},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{106},
  editor =	{Sebastian Altmeyer},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/8982},
  URN =		{urn:nbn:de:0030-drops-89822},
  doi =		{10.4230/LIPIcs.ECRTS.2018.21},
  annote =	{Keywords: WCET, static analysis, abstract interpretation, artificial diversity, cache analysis}
}

Keywords: WCET, static analysis, abstract interpretation, artificial diversity, cache analysis
Seminar: 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Issue Date: 2018
Date of publication: 20.06.2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI