TASA: Toolchain-Agnostic Static Software randomisation for critical real-time systems

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 randomisat...

Full description

Bibliographic Details

Published in:	Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design pp. 1 - 8
Main Authors:	Kosmidis, Leonidas, Vargas, Roberto, Morales, David, Quinones, Eduardo, Abella, Jaume, Cazorla, Francisco J.
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.11.2016
Subjects:	Automotive engineering Hardware Probabilistic logic Program processors Timing
ISSN:	1558-2434
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!