Paper Info
Title
TASA: toolchain-agnostic static software randomisation for critical real-time systems.
Abstract
Measurement-Based Probabilistic Timing Analysis (MBPTA) derives WCET estimates for tasks running on processors comprising high-performance features such as caches. MBPTA's correct application requires the system to exhibit certain timing properties, which can be achieved by injecting randomisation in the timing behaviour of the task under analysis. However, existing software-randomisation techniques require costly modifications in the industrial production toolchain (compiler, linker, runtime or hardware) in terms of development and certification. In this paper we present TASA, a new software randomisation tool that relies on source-code transformations of the application (i) requiring no changes in existing toolchains, which heavily reduces tool qualification and implementation costs; and (ii) achieving competitive WCET estimates that we assess on a gcc- and a llvm-based compilation toolchain on a real board.
Year
DOI
Venue
2016
10.1145/2966986.2967078
ICCAD
Keywords
Field
DocType
TASA,toolchain-agnostic static software randomisation,critical real-time systems,measurement-based probabilistic timing analysis,MBPTA,WCET estimates,high-performance features,task under analysis,software-randomisation techniques,industrial production toolchain,source-code transformations,gcc-based compilation toolchain,llvm-based compilation toolchain
Industrial production,Efficient energy use,Computer science,Electronic engineering,Compiler,Real-time computing,Software,Probabilistic logic,Probabilistic timing analysis,Certification,Toolchain,Embedded system
Conference
ISSN
ISBN
Citations 
1933-7760
978-1-5090-3421-5
5
PageRank 
References 
Authors
0.42
15
6
Name
Order
Citations
PageRank
Leonidas Kosmidis141828.48
Roberto Vargas2372.39
David Morales3202.04
Eduardo Quiñones452831.18
Jaume Abella5104676.34
Francisco J. Cazorla6130495.50