English

Timed Automata for Modelling Caches and Pipelines

Formal Languages and Automata Theory 2015-11-16 v1 Logic in Computer Science
Authors: Franck Cassez , Pablo González de Aledo Marugán
View on arXiv ↗ PDF ↗ DOI ↗

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

Keywords

scheduling pipeline optimization automata theory

Cite

@article{arxiv.1511.04172,
  title  = {Timed Automata for Modelling Caches and Pipelines},
  author = {Franck Cassez and Pablo González de Aledo Marugán},
  journal= {arXiv preprint arXiv:1511.04172},
  year   = {2015}
}

Comments

In Proceedings MARS 2015, arXiv:1511.02528

Related papers

View all related →
Software Engineering · Computer Science
Timed Games for Computing Worst-Case Execution-Times
Franck Cassez
2010-06-11
Programming Languages · Computer Science
Model Checking of Cache for WCET Analysis Refinement
Valentin Touzeau, Claire Maïza, David Monniaux
2017-07-07
Formal Languages and Automata Theory · Computer Science
Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour
Omar Al-Bataineh, Mark Reynolds, Tim French
2016-11-01
Programming Languages · Computer Science
On Systematic Testing for Execution-Time Analysis
Daniel Bundala, Sanjit A. Seshia
2015-06-22
Systems and Control · Electrical Eng. & Systems
Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources
Zhenyu Bai, Hugues Cassé, Thomas Carle, Christine Rochange
2022-07-18
Formal Languages and Automata Theory · Computer Science
Computing Maximal Expected Termination Time of Probabilistic Timed Automata
Omar Al-Bataineh, Michael Fisher, David Rosenblum
2018-03-23
Logic in Computer Science · Computer Science
An Introduction to Time-Constrained Automata
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
2010-10-28
Software Engineering · Computer Science
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages
Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand +1
2023-08-14
Software Engineering · Computer Science
Computation of WCET using Program Slicing and Real-Time Model-Checking
Jean-Luc Béchennec, Franck Cassez
2011-11-09
Machine Learning · Computer Science
Review of automated time series forecasting pipelines
Stefan Meisenbacher, Marian Turowski, Kaleb Phipps, Martin Rätz +3
2022-08-11
Software Engineering · Computer Science
A Brief Overview of the KTA WCET Tool
David Broman
2017-12-15
Logic in Computer Science · Computer Science
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho +1
2023-11-01
Software Engineering · Computer Science
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors
Martin Becker, Ravindra Metta, R Venkatesh, Samarjt Chakraborty
2018-06-13
Programming Languages · Computer Science
Constraint solving for high-level WCET analysis
Adrian Prantl, Jens Knoop, Markus Schordan, Markus Triska
2009-03-13
Logic in Computer Science · Computer Science
A Formal Model For Real-Time Parallel Computation
Peter Hui, Satish Chikkagoudar
2013-01-03
Systems and Control · Electrical Eng. & Systems
Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control
Daniel Arnström, David Broman, Daniel Axehill
2023-04-25
Software Engineering · Computer Science
Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages
Jaekwon Lee, Seung Yeob Shin, Lionel Briand, Shiva Nejati
2023-08-14
Logic in Computer Science · Computer Science
Timed Automata Robustness Analysis via Model Checking
Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
2023-06-22
Machine Learning · Computer Science
Automated Evolutionary Approach for the Design of Composite Machine Learning Pipelines
Nikolay O. Nikitin, Pavel Vychuzhanin, Mikhail Sarafanov, Iana S. Polonskaia +5
2021-09-09
Programming Languages · Computer Science
How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics
Julien Henry, Mihail Asavoae, David Monniaux, Claire Maïza
2014-06-02
Formal Languages and Automata Theory · Computer Science
Towards an Efficient Tree Automata based technique for Timed Systems
S. Akshay, Paul Gastin, Shankara Narayanan Krishna, Ilias Sarkar
2017-07-11
Software Engineering · Computer Science
Execution Time Analysis for Industrial Control Applications
Stefan Stattelmann, Manuel Oriol, Thomas Gamer
2014-04-04
Cryptography and Security · Computer Science
Timed automata as a formalism for expressing security: A survey on theory and practice
Johan Arcile, Étienne André
2022-06-08
Formal Languages and Automata Theory · Computer Science
Real-Time Systems Modeling and Analysis
Lakhan Shiva Kamireddy
2018-11-27
Hardware Architecture · Computer Science
Influence of Memory Hierarchies on Predictability for Time Constrained Embedded Software
Lars Wehmeyer, Peter Marwedel
2011-11-09
R2 v1 2026-06-22T11:44:14.876Z