Technische Universität München Robotics and Embedded Systems
 

TeachingWs2013MSE

 
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