Sistemas Embarcados
Ementa |
Métodos, processos e ferramentas; Especificação, projeto, desenvolvimento e testes; Técnicas de simulação, verificação e validação; Ferramentas de codificação manual e automática.
|
Bibliografia |
Edited by Richard Zurawski. The Embedded Systems Handbook. CRC Press – Industrial Information Technology Series, 2005. ISBN 084932241. 1160 pages.
Edited by Nicolas Navet and Francoise Simonot-Lion. Automotive Embedded Systems Handbook. CRC Press / Taylor & Fancis – Industrial Information Technology Series, 2008. ISBN 978-0849380266. 488 pages. Edited by Richard Zurawski. Embedded Systems Design and Verification, vol. 1 – Embedded Systems Handbook 2nd edition.. CRC Press – Industrial Information Technology Series, 2009. Catalog no. K10385, ISBN 978-1-4398-0755-2. 636 pages. Edited by Richard Zurawski. Networked Embedded Systems, vol. 2 – Embedded Systems Handbook 2nd edition.. CRC Press – Industrial Information Technology Series, 2009. Catalog no. K10386, ISBN 978-1-4398-0761-3. 808 pages. Raj Kamal. Embedded Systems: Architecture Programming and Design – 2nd edition. Tata MCcGraw-Hil, 2008. ISBN 978-0-07-066764-8. 668 pages. Gabriela Nicolescu and Pieter J. Mosterman. Model-Based Design for Embedded Systems – 1st Edition. CRC Press / Taylor & Fancis, 2009. ISBN-10: 1420067842 | ISBN-13: 978-1420067842. 719 pages. www.mathworks.com . www.dspace.com e www.vector.com |