SimSoC: A full system simulation software for embedded systems

Claude Helmstetter 1 Vania Joloboff 2 Hui Xiao 2
1 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 FORMES - Formal Methods for Embedded Systems
LIAMA - Laboratoire Franco-Chinois d'Informatique, d'Automatique et de Mathématiques Appliquées, Inria Paris-Rocquencourt
Abstract : The development of embedded systems requires the development of increasingly complex software and hardware platforms. Full system simulation makes it possible to run the exact binary embedded software including the operating system on a totally simulated hardware platform. Whereas most simulation environments do not support full system simulation, or do not use any hardware modeling techniques, or have combined different types of technology, SimSoC is developing a full system simulation architecture with an integrated approach relying only upon SystemC hardware modeling and transaction level modeling abstractions (TLM) for communications. To simulate processors at reasonably high speed, SimSoC integrates instruction set simulators (ISS) as SystemC modules with TLM interfaces to the other platform components. The ISS's use a variant approach of dynamic translation to run binary code. The paper describes the overall architecture of the SimSoC full system simulator, a description of the ISS implementation and integration with some other components. The final section reports results obtained, in particular simulation of an existing System On Chip that can run the Linux operating system.
Type de document :
Communication dans un congrès
IEEE. 2009 International Workshop on Open-source Software for Scientific Computation (OSSC-2009), Sep 2009, Guiyang, China. 7 p., 2009
Liste complète des métadonnées


https://hal.inria.fr/inria-00435247
Contributeur : Vania Joloboff <>
Soumis le : mardi 12 janvier 2010 - 07:15:00
Dernière modification le : mercredi 24 mai 2017 - 01:10:16
Document(s) archivé(s) le : mardi 16 octobre 2012 - 14:45:59

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00435247, version 1

Citation

Claude Helmstetter, Vania Joloboff, Hui Xiao. SimSoC: A full system simulation software for embedded systems. IEEE. 2009 International Workshop on Open-source Software for Scientific Computation (OSSC-2009), Sep 2009, Guiyang, China. 7 p., 2009. <inria-00435247>

Partager

Métriques

Consultations de
la notice

755

Téléchargements du document

755