WCET Analysis of ARM Processors using Real-Time Model Checking

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

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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

482 Downloads (Pure)

Abstract

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.

Originalsprog	Engelsk
Tidsskrift	RWTH Aachen, Dept. of Computer Science
Udgave nummer	14
Sider (fra-til)	4-6
ISSN	0935-3232
Status	Udgivet - 2009
Begivenhed	Doctoral Symposium on Systems Software Verification (DS SSV'09) : Real Software, Real Problems, Real Solutions - Aachen, Tyskland Varighed: 22 jun. 2009 → 24 jun. 2009 Konferencens nummer: 4

Konference

Konference	Doctoral Symposium on Systems Software Verification (DS SSV'09) : Real Software, Real Problems, Real Solutions
Nummer	4
Land/Område	Tyskland
By	Aachen
Periode	22/06/2009 → 24/06/2009

Bibliografisk note

Udgivelsesdato: juni

Adgang til dokumentet

Dsssv09Forlagets udgivne version, 141 KB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{ea55cb501c6511dfab29000ea68e967b,

title = "WCET Analysis of ARM Processors using Real-Time Model Checking",

abstract = "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.",

author = "Martin Toft and Olesen, {Mads Christian} and Andreas Dalsgaard and Larsen, {Kim Guldstrand} and Hansen, {Rene Rydhof}",

note = "Udgivelsesdato: juni; Doctoral Symposium on Systems Software Verification (DS SSV'09) : Real Software, Real Problems, Real Solutions ; Conference date: 22-06-2009 Through 24-06-2009",

year = "2009",

language = "English",

pages = "4--6",

journal = "RWTH Aachen, Dept. of Computer Science",

issn = "0935-3232",

number = "14",

}

TY - GEN

T1 - WCET Analysis of ARM Processors using Real-Time Model Checking

AU - Toft, Martin

AU - Olesen, Mads Christian

AU - Dalsgaard, Andreas

AU - Larsen, Kim Guldstrand

AU - Hansen, Rene Rydhof

N1 - Conference code: 4

PY - 2009

Y1 - 2009

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

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

M3 - Conference article in Journal

SN - 0935-3232

SP - 4

EP - 6

JO - RWTH Aachen, Dept. of Computer Science

JF - RWTH Aachen, Dept. of Computer Science

IS - 14

T2 - Doctoral Symposium on Systems Software Verification (DS SSV'09) : Real Software, Real Problems, Real Solutions

Y2 - 22 June 2009 through 24 June 2009

ER -