Veranstalter |
Dr. Kai Huang |
Assistent |
M.Sc Biao Hu, M.Sc Long Cheng |
Modul |
IN8014 |
Typ |
Vorlesung |
Semester |
WS/SS 2013/2014 |
ECTS |
5.0 |
SWS |
2V+1Ü |
Hörerkreis |
Studenten der Munich School of Engineering |
Zeit & Ort |
Di 14:30 - 17:30 0.01.17, Hochbrück Hörsaal 2 (8102.EG.117) |
Schein |
erfolgreiche Teilnahme an Klausur |
Aktuelles
*
No lecture at 15.10.2013!
*
Exam day at 07.03.2014
*
new ubuntu image has been uploaded
*
Please download the quartus web edition 12.1
Beschreibung
Eingebettete Vernetzte Systeme
Introduction of concepts and techniques for hardware/software/analysis for Embedded Systems and Cyber Physical Systems
Material
Date |
Lecture 14:45-16:30 |
Exercise 16:30-17:15 |
22.10.2013 |
slides: Overview, Concept |
N/A |
29.10.2013 |
slides: Methodology publications: Kienhuis, Lee, Keutzer, Ebert |
N/A |
05.11.2013 |
slides: Specification and modeling (1) publications: HarelStatecharts, HarelStatechartsSemantics, LeeProblemWithThreads, OderskyDeprecatingObservers |
C recap |
12.11.2013 |
slides: Specification and modeling (2) publications: KahnProcessNetworks, LeeParksDataflow,LeeSynchronousDataflow,ParksThesis |
C-Session2, Ubuntu virtual image Pthreads, How to mount files to ubuntu,Pthread solution |
19.11.2013 |
slides: Embedded hardware (1) |
C Advance-1, Source codes |
26.11.2013 |
slides: Embedded hardware (2) |
C Advance-2 |
03.12.2013 |
slides: Communication (1) publications: bolotinNoCcosts.pdf |
Atmel AVR Experiment,Source code,Light flow source code |
10.12.2013 |
slides: Communication (2) publications: CANbus |
Continue the Atmel AVR exercise,buttons control leds |
17.12.2013 |
slides: Communication (3), publications: Kopetz_TTE2005.pdf, FischmeisterAtacama2013.pdf, AlbertEmbeddedworld04 |
Atmel AVR: Interrupt ,Polling_vs_interrupt,avrboard datasheet,avr-libc,PPT for exercise |
07.01.2013 |
slides: Embedded Software (1), publications: ADAPriorityInheritance |
AVR Atmel Exercise,Instruction Document,Source Code,Datasheet1,Datasheet2 |
14.01.2013 |
slides: Embedded Software (2); Analysis (1) |
FPGA: Basics Download Page (Please download Quartus 12.1), Tutorial,Control Panel,Source Code |
21.01.2013 |
slides: Analysis (2) publications: WandelerThesis Huangtecs2012 |
FPGA: Interrupt interrupt ppt,Source Code |
28.01.2013 |
slides: Analysis (3) publications: HuangDPMOffline2009 |
FPGA: PWM/H-bridge for Vehicles PWM ppt, H-Bridge, source code |
04.02.2014 |
slides: Case study: Electric Vehicle |
|
Literaturhinweise
* Peter Marwedel, Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, 2nd ed., Springer, 2010
* E. A. Lee and S. A. Seshia, Introduction to Embedded Systems -- A Cyber-Physical Systems Approach, LeeSeshia.org, 2011, available as a free PDF download.
* Embedded System Design: Modeling, Synthesis and Verification. Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner