Home
/
Área Acadêmica
/
Disciplinas
/
Sistemas Embarcados

Sistemas Embarcados

Publicado 4/27/2017, 4:07:33 PM, última modificação 4/27/2017, 4:07:57 PM
 
 
 

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