Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications

Nermin Kajtazovic, Peter Hödl, Georg Macher

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Abstract

Ensuring traceability between software code and its runtime memory is a required design measure in a number of application fields to achieve functional safety targets. For mixed-critical systems, where a code with different levels of criticality may coexist, this aspect is of particular importance. In the course of safety audits for example, this information may serve to build an evidence that safety-critical code/data is sufficiently isolated from non-critical parts. Unfortunately, addressing the evidence for every byte in memory is not supported by modern compilers. In this paper, we introduce a method where the compiler pipeline is instrumented to recover traceability links between the code and runtime memory. We qualify our proposal on a real-world industrial use case in which the C/C++ code is synthesised for ARM Cortex-M3 controllers. Our experimental results suggest that such an accurate traceability support may serve as a solid basis when analysing memories for mixed-critical applications.
Originalspracheenglisch
TitelProceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
Redakteure/-innenMarco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng
Herausgeber (Verlag)IEEE Xplore
Seiten73-78
Seitenumfang6
ISBN (elektronisch)9781728198705
DOIs
PublikationsstatusVeröffentlicht - 12 Okt 2020
Veranstaltung31st International Symposium on Software Reliability Engineering: 2020 ISSRE - Virtual, Coimbra, Portugal
Dauer: 12 Okt 202012 Okt 2020
http://2020.issre.net/

Konferenz

Konferenz31st International Symposium on Software Reliability Engineering
KurztitelISSREW 2020
LandPortugal
OrtVirtual, Coimbra
Zeitraum12/10/2012/10/20
Internetadresse

ASJC Scopus subject areas

  • Software
  • !!Safety, Risk, Reliability and Quality

Fingerprint

Untersuchen Sie die Forschungsthemen von „Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren