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

Nermin Kajtazovic, Peter Hödl, Georg Macher

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review


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.
Original languageEnglish
Title of host publicationProceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020
EditorsMarco Vieira, Henrique Madeira, Nuno Antunes, Zheng Zheng
PublisherIEEE Xplore
Number of pages6
ISBN (Electronic)9781728198705
Publication statusPublished - 12 Oct 2020
Event31st International Symposium on Software Reliability Engineering: 2020 ISSRE - Virtual, Coimbra, Portugal
Duration: 12 Oct 202012 Oct 2020


Conference31st International Symposium on Software Reliability Engineering
Abbreviated titleISSRE 2020
CityVirtual, Coimbra
Internet address


  • C/C++
  • code and memory analysis
  • compiler engineering
  • mixed-critical applications

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality


Dive into the research topics of 'Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications'. Together they form a unique fingerprint.

Cite this