000099223 001 __ 99223
000099223 003 __S-BaUAB
000099223 005 __20141210224324.0
000099223 007 __r |||||||||||
000099223 008 __10913s----    spcd|||fsm||||0|| 0 eng|c
000099223 020 __ $a 9788469419861
000099223 024 8_ $9 tesisuab $9 primocentral $9 driver $a oai:ddd.uab.cat:99223
000099223 035 __ $a catuab-b1843884
000099223 035 __ $a (ES-BaCBU)b51388340
000099223 035 __ $a oai:www.tdx.cat:10803/32099
000099223 041 __ $a eng
000099223 080 __ $a (043)
000099223 100 1_ $a Montón i Macián, Màrius
000099223 245 10 $a Checkpointing for virtual platforms and SystemC-TLM-2.0 $c presentada per Màrius Montón i Macián ; i dirigida per Mark Burton i Jordi Carrabina i Bordoll $h [Recurs electrònic] /
000099223 260 __ $a Bellaterra: $b Universitat Autònoma de Barcelona, $c DL 2011
000099223 300 __ $a 1 recurs electrònic (118, cxxxix p.)
000099223 500 __ $a Descripció del recurs: el 13 setembre 2011
000099223 502 __ $a Tesi doctoral - Universitat Autònoma de Barcelona. Escola d'Enginyeria. Departament de Microelectrònica i Sistemes Electrònics, 2010
000099223 520 __ $a Un dels avantatges d'usar plataformes virtuals o prototipat virtual enlloc del maquinari real pel desenvolupament de programari encastat és la capacitat d'alguns simuladors de fer captures del seu estat. Si el model del sistema complet és prou detallat, pot tardar uns quants minuts (inclús hores) per simular l'engegada d'un Sistema Operatiu. Si es pren una captura just després de que ha acabat d'engegar, cada cop que calgui corre el programari encastat, els dissenyadors poden simplement recuperar la captura i continuar-la. Recuperar una captura normalment porta pocs segons. Aquest guany es trasllada en una major productivitat, especialment quan es treballa amb sistemes encastat, amb programari complex sobre Sistemes Operatius com en els dispositius actuals. En aquesta tesi es presenta en primer lloc el treball realitzat per afegir un llenguatge de descripció de sistemes anomenat SystemC a dues plataformes virtuals diferents. Aquesta tasca es realitzà per una eina comercial i desprès es traslladà a una plataforma de codi obert. També es presenta una sèrie de modificacions al llenguatge SystemC per suportar la captura d'instantànies. Aquestes modificacions faran possible poder agafar l'estat de la simulació en SystemC i salvar-les al disc. Més tard, la simulació es pot recuperar en el mateix estat on es trobava, sense canvis en els seus components. Aquestes millores ajudaran al llenguatge SystemC a ser més àmpliament usat en el món de les Plataformes Virtuals.
000099223 520 __ $a One advantage of using a virtual platform or virtual prototype over real hardware for embedded software development and testing is the ability of some simulators to take checkpoints of their state. If the entire system model is detailed enough, it might take several minutes (or even hours) to simulate booting the O.S. If a snapshot of the simulation is saved just after it has finished booting, each time it is necessary to run the embedded software, designers can simply restore the snapshot and go. Restarting a checkpoint typically takes a few seconds. This can translate into a major productivity gain, especially when working with embedded system with complex SW stacks and O.S. like modern embedded devices. In this dissertation we present in firstly our work on adding a description level language as SystemC to two Virtual Platforms. This work was done for a commercial Virtual Platform, and later translated to a open-sourced Platform. This thesis also presents a set of modifications to SystemC language to support checkpointing. These modifications will make it possible to take the state of a SystemC running simulation and save it to disk. Later, the same simulation can be restored to the same point it was before, without any change to the simulated modules. These changes would help SystemC to be suitable for use by Virtual Platforms as a description language.
000099223 540 __ $a ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs. $u http://www.europeana.eu/rights/rr-f/
000099223 546 __ $a Anglès.
000099223 650 _4 $a SystemC (Llenguatge de programació)
000099223 650 _4 $a Disseny de sistemes
000099223 650 _4 $a Simulació per ordinador
000099223 650 04 $a Transacció (Sistemes d'ordinador), Sistemes de
000099223 655 _4 $a Tesis i dissertacions electròniques
000099223 655 _4 $a info:eu-repo/semantics/doctoralThesis
000099223 700 __ $a Carrabina i Bordoll, Jordi $e dir. $u Universitat Autònoma de Barcelona. Departament de Microelectrònica i Sistemes Electrònics
000099223 700 __ $a Burton, Mark $e dir.
000099223 710 1_ $9 470 $a Universitat Autònoma de Barcelona. $b Departament de Microelectrònica i Sistemes Electrònics
000099223 730 0_ $a TDX
000099223 856 41 $3 Adreça alternativa $u http://hdl.handle.net/10803/32099
000099223 856 40 $p 139 $s 1780387 $u http://ddd.uab.cat/pub/tesis/2011/hdl_10803_32099/mmm1de1.pdf
000099223 907 __ $a .b18438842 $b 14-09-11 $c 14-09-11
000099223 936 __ $a Lliure
000099223 940 __ $a UAB
000099223 980 __ $a TESIS $b UAB
000099223 998 __ $a adu $b 14-09-11 $c m $d q $e - $f eng $g spc $h 0 $i 0