references.bib

@book{adams1995hitchhiker,
  title={The Hitchhiker's Guide to the Galaxy},
  author={Adams, D.},
  isbn={9781417642595},
  url={http://books.google.com/books?id=W-xMPgAACAAJ},
  year={1995},
  publisher={San Val}
}
@book{leeseshia,
  title={Introduction to Embedded Systems},
  author={Edward Ashford {Lee} and Saijit Arunkumar {Seshia}},
  isbn={9780557708574},
  url={http://leeseshia.org},
  year={2011},
  publisher={LuLu}
}

@book{OOAD,
  title={Object-oriented Analysis and Design with Applications},
  author={Krzysztof Czarnecki and Ulrich W. Eisenecker},
  isbn={0201309777},
  year={2000},
  publisher={Addison-Wesley}
}
@book{generative,
  title={Generative Programming},
  author={Grady {Booch}},
  isbn={085353402},
  year={1998},
  publisher={Addison-Wesley}
}
@book{tanenbaum,
  title={Operating Systems: Design and Implementation},
  author={Andrew S. {Tanenbaum}},
  isbn={0136386776},
  year={1997},
  publisher={Prentice Hall}
}
@book{realtime,
  title={Real-Time Concepts for Embedded Systems},
  author={Qing {Li}},
  isbn={1578201241},
  year={2003},
  publisher={CMP Books}
}
@techreport{tarcisio,
    author    = "Tarcísio Fischer",
    title     = "Transparência Arquitetural de Sistemas Embarcados: 8 a 64 Bits",
    institution = "UFSC",
    year      = "2013",
    month    = "December",
}
@phdthesis{guto_thesis,
  title={Application-Oriented Operating Systems},
  author="Augusto Ant\^{o}nio Medeiros {Fr\"{o}hlich}",
  year={2001},
  school={Technische Universit\"{a}t Berlin}
}
@phdthesis{gio,
  title={Real-Time Operating System Support for
Multicore Applications},
  author="Giovani {Gracioli}",
  year={2014},
  school={Universidade Federal de Santa Catarina}
}

@manual{ug585,
  title={Zynq-7000 Technical Reference Manual},
  year={2013},
  month={September},
  edition={UG585 (v1.6.1)}
}
@manual{ug585.1.7,
  title={Zynq-7000 Technical Reference Manual},
  year={2014},
  month={February},
  edition={UG585 (v1.7)}
}
@inproceedings{hw_mediators,
  title={Hardware Mediators: A Portability Artifact for Component-Based Systems},
  author={Fauze Val\'{e}rio {Polpeta} and Ant\^{o}nio Augusto {Fr\"{o}hlich}},
  booktitle={Embedded and Ubiquitous Computing},
  year={2004}
}

@manual{armarm,
  title={ARM Architecture Reference Manual, ARM v7-A and ARM v7-R edition, Errata markup},
  year={2011},
  month={December},
  edition={ARM DDI 0406B\_errata\_2011\_Q3 (ID120611)}
}
@manual{data_sheet,
  title={Zynq-7000 Data Sheet},
  year={2014},
  month={January},
  edition={DS187 (v1.10)},
  howpublished={http://www.xilinx.com/support/documentation/data_sheets/ds187-XC7Z010-XC7Z020-Data-Sheet.pdf}
}

@manual{product_table,
  title={Zynq-7000 Combined Product Table},
  year={2013},
  howpublished={http://www.xilinx.com/publications/prod_mktg/zynq7000/Zynq-7000-combined-product-table.pdf}
}
@manual{technical_reference,
	title="Cortex-A9 MPCore Technical Reference Manual",
	edition="ARM DDI 0407G. Rev r3p0",
	year={2011},
	howpublished={http://infocenter.arm.com/help/topic/com.arm.doc.ddi0407g/DDI0407G_cortex_a9_mpcore_r3p0_trm.pdf}
}
@manual{zed_manual,
	title="ZedBoard, Hardware's User Guide",
	edition="Version 2.2",
	year={2014},
}
@manual{gic,
	title="ARM Generic Interrupt Controller, Architecture Specification",
	edition="Version 1.0",
	year={2008},
}
@www{epos_user_guide,
  title={EPOS User Guide},
  url={http://epos.lisha.ufsc.br/EPOS+User+Guide},
  year=2014
}
@www{zedboard,
  title={Zedboard},
  url={http://www.zedboard.org},
  year=2014
}
@www{xilinx,
  title={Xilinx.com},
  url={http://www.xilinx.com/products/silicon-devices/soc/zynq-7000/silicon-devices/index.htm},
  year=2014
}
@www{mmutheory,
	title={Embedded Bits},
	url={http://www.embedded-bits.co.uk/2011/mmutheory/},
  year=2014
}

@www{UBM,
  title={UBM},
  url={http://e.ubmelectronics.com/2013EmbeddedStudy/index.html},
  year=2013
}

@www{nat,
  title={National Instruments},
  url={http://www.ni.com/white-paper/3938/pt/},
  year=2014
}
@www{EPOS,
  title={EPOS Builtin Mode},
  url={http://www.lisha.ufsc.br/teaching/dos/exercises/builtin.html},
  year=2013
}
@www{linux_magazine,
  title={Linux Magazine},
  url={http://www.linux-magazine.com/Online/News/Ubuntu-10.04-Alpha-2-Removes-HAL},
  year=2010
}
@www{halsectomy,
  title={Ubuntu Wiki},
  url={https://wiki.ubuntu.com/Halsectomy},
  year=2014
}