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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design S. 1 - 8
Hauptverfasser:	Kosmidis, Leonidas, Vargas, Roberto, Morales, David, Quinones, Eduardo, Abella, Jaume, Cazorla, Francisco J.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.11.2016
Schlagworte:	Automotive engineering Hardware Probabilistic logic Program processors Timing
ISSN:	1558-2434
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!