Compiling for time predictability

Peter Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch

Research output: Chapter in Book/Report/Conference proceedingConference contribution

27 Citations (Scopus)

Abstract

Within the T-CREST project we work on hardware/software architectures and code-generation strategies for time-predictable embedded and cyber-physical systems. In this paper we present the single-path code generation approach that we plan to explore and implement in a compiler prototype for a time- predictable processor. Single-path code generation produces code that forces every execution to follow the same trace of instructions, thus supporting time predictability and simplifying the worst-case execution-time analysis of code. The idea of the single-path generation and details about the code-generation rules of the compiler can be found in this work.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Nature
Pages382-391
Number of pages10
Volume7613 LNCS
ISBN (Print)9783642336744
DOIs
Publication statusPublished - 2012
EventWorkshop on Computer Safety, Reliability, and Security, SAFECOMP 2012 - Magdeburg, Germany
Duration: 25 Sept 201228 Sept 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7613 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

ConferenceWorkshop on Computer Safety, Reliability, and Security, SAFECOMP 2012
Country/TerritoryGermany
CityMagdeburg
Period25/09/1228/09/12

Keywords

  • compilers
  • real-time systems
  • time predictability
  • worst-case execution-time analysis

Fingerprint

Dive into the research topics of 'Compiling for time predictability'. Together they form a unique fingerprint.

Cite this