WCET Analysis of ARM Processors using Real-Time Model Checking

Martin Toft, Mads Christian Olesen, Andreas Dalsgaard, Kim Guldstrand Larsen, Rene Rydhof Hansen

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

374 Downloads (Pure)

Abstrakt

This paper presents a flexible method that utilises real-time model checking to determine safe and sharp WCETs for processes running on hardware platforms featuring pipelining and caching.
OriginalsprogEngelsk
TidsskriftRWTH Aachen, Dept. of Computer Science
Udgave nummer14
Sider (fra-til)4-6
ISSN0935-3232
StatusUdgivet - 2009
BegivenhedDoctoral Symposium on Systems Software Verification (DS SSV'09) : Real Software, Real Problems, Real Solutions - Aachen, Tyskland
Varighed: 22 jun. 200924 jun. 2009
Konferencens nummer: 4

Konference

KonferenceDoctoral Symposium on Systems Software Verification (DS SSV'09) : Real Software, Real Problems, Real Solutions
Nummer4
LandTyskland
ByAachen
Periode22/06/200924/06/2009

Bibliografisk note

Udgivelsesdato: juni

Citationsformater