logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-05132008-131818


Tipo di tesi
Tesi di laurea specialistica
Autore
AZZALI, MATTEO
URN
etd-05132008-131818
Titolo
Analisi, simulazione e verifica di un sistema embedded basato su processore ARM 9
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA ELETTRONICA
Relatori
Relatore Dott. Sechi, Francesco
Relatore Ing. De Marinis, Marco
Relatore Prof. Fanucci, Luca
Parole chiave
  • hardware-dependent
  • verification
  • soc
  • ARM
  • realtime
  • Linux
  • firmware
Data inizio appello
06/06/2008
Consultabilità
Non consultabile
Data di rilascio
06/06/2048
Riassunto
L`obiettivo del presente lavoro consiste nello sviluppo del codice
Hardware-Dependent, cioè legato intimamente alla piattaforma scelta, ed alla
verifica e debugging in contemporanea dello stesso codice e della
piattaforma mediante simulazione. Si mira quindi a preparare tutto il codice
che non costituisca l`applicazione vera e propria, analizzando i Datasheets
delle varie IP costituenti il nostro SoC, prendendo visione delle problematiche
interconnesse alla programmazione di dette periferiche sotto architettura ARM 9
ed elaborando una metodologia di debug che possa essere efficace anche in
assenza di costose apparecchiature dedicate.
Dopodiché si è passati ad analizzare l`introduzione di un sistema operativo
Linux realtime vero e proprio come piattaforma software per questo sistema, andando
a fare il porting del codice necessario e riutilizzando il più possibile le
conoscenze apprese ed il software già testato.
File