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

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

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

Original language	English
Journal	RWTH Aachen, Dept. of Computer Science
Issue number	14
Pages (from-to)	4-6
ISSN	0935-3232
Publication status	Published - 2009
Event	Doctoral Symposium on Systems Software Verification (DS SSV'09) : Real Software, Real Problems, Real Solutions - Aachen, Germany Duration: 22 Jun 2009 → 24 Jun 2009 Conference number: 4

Conference

Conference	Doctoral Symposium on Systems Software Verification (DS SSV'09) : Real Software, Real Problems, Real Solutions
Number	4
Country/Territory	Germany
City	Aachen
Period	22/06/2009 → 24/06/2009

Access to Document

Dsssv09Final published version, 141 KB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

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