Timed automata for modelling caches and pipelines

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

doi:10.4204/EPTCS.196.4

Timed automata for modelling caches and pipelines

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

School of Computing

Research output: Contribution to journal › Conference paper › peer-review

4 Citations (Scopus)

Abstract

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 language	English
Pages (from-to)	37-45
Number of pages	9
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	196
DOIs	https://doi.org/10.4204/EPTCS.196.4
Publication status	Published - 8 Nov 2015
Event	1st Workshop on Models for Formal Analysis of Real Systems, MARS 2015 - Suva, Fiji Duration: 23 Nov 2015 → 23 Nov 2015

Access to Document

10.4204/EPTCS.196.4Licence: Unspecified

Cite this

@article{e5521b70fc9b469980b4099ee868a2aa,

title = "Timed automata for modelling caches and pipelines",

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

author = "Franck Cassez and \{De Aledo Marug{\'a}n\}, \{Pablo Gonz{\'a}lez\}",

year = "2015",

month = nov,

day = "8",

doi = "10.4204/EPTCS.196.4",

language = "English",

volume = "196",

pages = "37--45",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "1st Workshop on Models for Formal Analysis of Real Systems, MARS 2015 ; Conference date: 23-11-2015 Through 23-11-2015",

}

TY - JOUR

T1 - Timed automata for modelling caches and pipelines

AU - Cassez, Franck

AU - De Aledo Marugán, Pablo González

PY - 2015/11/8

Y1 - 2015/11/8

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

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

UR - https://www.scopus.com/pages/publications/84957712242

U2 - 10.4204/EPTCS.196.4

DO - 10.4204/EPTCS.196.4

M3 - Conference paper

AN - SCOPUS:84957712242

SN - 2075-2180

VL - 196

SP - 37

EP - 45

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 1st Workshop on Models for Formal Analysis of Real Systems, MARS 2015

Y2 - 23 November 2015 through 23 November 2015

ER -

Timed automata for modelling caches and pipelines

Abstract

Access to Document

Other files and links

Fingerprint

Cite this