Simulator Generation Using an Automaton Based Pipeline Model for Timing Analysis. - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Simulator Generation Using an Automaton Based Pipeline Model for Timing Analysis.

Résumé

Hardware simulation is an important part of the design of embedded and/or real-time systems. It can be used to compute the Worst Case Execution Time (WCET) and to provide a mean to run software when final hardware is not yet available. Building a simulator is a long and difficult task, especially when the architecture of processor is complex. This task can be alleviated by using a Hardware Architecture Description Language and generating the simulator. In this article we focus on a technique to generate an automata based simulator from the description of the pipeline. The description is transformed into an automaton and a set of resources which, in turn, are transformed into a simulator. The goal is to obtain a cycle-accurate simulator to verify timing characteristics of embedded real-time systems. An experiment compares an Instruction Set Simulator with and without the automaton based cycle-accurate simulator.
Fichier principal
Vignette du fichier
KBBTS08.pdf (185.81 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00486839 , version 1 (26-05-2010)

Identifiants

  • HAL Id : hal-00486839 , version 1

Citer

Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet, Guillaume Savaton. Simulator Generation Using an Automaton Based Pipeline Model for Timing Analysis.. International Multiconference on Computer Science and Information Technology (IMCSIT), International Workshop on Real Time Software (RTS'08)., Oct 2008, Wisla, Poland. pp.657-664. ⟨hal-00486839⟩
333 Consultations
361 Téléchargements

Partager

More