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 journalConference article in JournalResearchpeer-review

307 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 languageEnglish
JournalRWTH Aachen, Dept. of Computer Science
Issue number14
Pages (from-to)4-6
ISSN0935-3232
Publication statusPublished - 2009
EventDoctoral Symposium on Systems Software Verification (DS SSV'09) : Real Software, Real Problems, Real Solutions - Aachen, Germany
Duration: 22 Jun 200924 Jun 2009
Conference number: 4

Conference

ConferenceDoctoral Symposium on Systems Software Verification (DS SSV'09) : Real Software, Real Problems, Real Solutions
Number4
CountryGermany
CityAachen
Period22/06/200924/06/2009

Cite this