Timed automata for modelling caches and pipelines

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

Research output: Contribution to journalConference paperpeer-review

4 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
Event1st Workshop on Models for Formal Analysis of Real Systems, MARS 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