Timed automata for modelling caches and pipelines

Franck Cassez, Pablo González De Aledo Marugán

Research output: Contribution to journalConference paperpeer-review

3 Citations (Scopus)


In this paper, we focus on modelling the timing aspects of binary programs running on architectures featuring caches and pipelines. The objective is to obtain a timed automaton model to compute tight bounds for the worst-case execution time (WCET) of the programs using model-checking tehcniques.

Original languageEnglish
Pages (from-to)37-45
Number of pages9
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Publication statusPublished - 8 Nov 2015
EventWorkshop on Models for Formal Analysis of Real Systems (1ST : 2015) - Suva, Fiji
Duration: 23 Nov 201523 Nov 2015


Dive into the research topics of 'Timed automata for modelling caches and pipelines'. Together they form a unique fingerprint.

Cite this