Showing 1–2 of 2 results for author: Marugán, P G d A

Timed Automata for Modelling Caches and Pipelines

Authors: Franck Cassez, Pablo González de Aledo Marugán

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. 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. △ Less

Submitted 13 November, 2015; originally announced November 2015.

Comments: In Proceedings MARS 2015, arXiv:1511.02528

Journal ref: EPTCS 196, 2015, pp. 37-45

Fast Trace Generation of Many-Core Embedded Systems with Native Simulation

Authors: David Castells-Rufas, Jordi Carrabina, Pablo González de Aledo Marugán, Pablo Sánchez Espeso

Abstract: Embedded Software development and optimization are complex tasks. Late availably of hardware platforms, their usual low visibility and controllability, and their limiting resource constraints makes early performance estimation an attractive option instead of using the final execution platform. With early performance estimation, software development can progress although the real hardware is not ye… ▽ More Embedded Software development and optimization are complex tasks. Late availably of hardware platforms, their usual low visibility and controllability, and their limiting resource constraints makes early performance estimation an attractive option instead of using the final execution platform. With early performance estimation, software development can progress although the real hardware is not yet available or it is too complex to interact with. In this paper, we present how the native simulation framework SCoPE is extended to generate OTF trace files. Those trace files can be later visualized with trace visualization tools, which recently were only used to optimize HPC workloads in order to iterate in the development process. △ Less

Submitted 18 June, 2014; originally announced June 2014.

Comments: Proceedings of HIP3ES Workshop, Vienna, January, 21st 2014

ACM Class: B.8.2; C.4