Course

Lecture Notes

Assignment Sheets

The Project

Embedded Systems _{Lecture Notes}

Lecture #1, October 19, 2010

• Introduction, Overview Embedded Systems, Cyber Physical Systems
• Slides: pdf

Lecture #2, October 21, 2010

• Requirements, StateCharts
• Slides: pdf
• References:
  Harel (1987): StateCharts: A visual formalism for complex systems
  
  Harel/Naamad (1996): The STATEMATE semantics of StateCharts

Lecture #3, October 26, 2010

• MATLAB, Simulink, Harmonic oscillator
• Slides: pdf
• Resources:
  Monte Carlo based approximation of pi: m
  
  Harmonic oscillator: mdl
  
  Damped harmonic oscillator: mdl

Lecture #4, October 28, 2010

• StateCharts, Petri Nets
• Slides: pdf
• Reference: Petri Nets World

Lecture #5, November 2, 2010

• Scheduling introduction, Aperiodic scheduling
• Slides: pdf
• Annotated slides: pdf

Lecture #6, November 4, 2010

• Esterel Scade
• Slides: pdf
• Reference: Semantics of Safe State Machine

Lecture #7, November 9, 2010

• Aperiodic scheduling review, Scade review, Petri nets
• Slides: pdf
• Annotated slides: pdf

Lecture #8, November 11, 2010

• Petri nets, SDL
• Slides: pdf
• Annotated slides: pdf

Lecture #9, November 16, 2010

• MSCs, Kahn networks, SDF
• Slides: pdf
• Annotated slides: pdf
• Reference: SDL Forum Society
• Reference: Tutorial on SDL
• Reference: Tutorial on MSC
• Reference: Original Kahn paper

Lecture #10, November 18, 2010

• Scheduling with precedence constraints, Periodic scheduling
• Annotated slides: pdf

Lecture #11, November 23, 2010

• SDF
• Slides: pdf
• Annotated slides: pdf
• Reference: Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
• The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems.
  The focus is on assembly of concurrent components.
  The key underlying principle in the project is the use of well-defined models of computation that govern the interaction between components.

Lecture #12, November 25, 2010

• SDF
• Slides: pdf
• Annotated slides: pdf

Lecture #13, November 30, 2010

• VHDL
• Slides: pdf
• Annotated slides: pdf
• The Hamburg VHDL archive offers VHDL documentation, models, and tools (public-domain or shareware).

Lecture #14, December 2, 2010

• Schedulability, Rate Monotonic Scheduling, Task Dependencies
• Slides: pdf

Lecture #15, December 7, 2010

• VHDL
• Slides: pdf
• Annotated slides: pdf

Lecture #16, December 9, 2010

• VHDL
• Slides: pdf
• Annotated slides: pdf
• VHDL Tutorial
• The Electronic Design Automation (EDA) one-stop resource on the WWW. (Tools, Standards, … ): http://www.vhdl.org/

Lecture #17, December 14, 2010

• VHDL-AMS, System C
• Slides: pdf
• Annotated slides: pdf
• VHDL-AMS
• SystemC

Lecture #18, January 4, 2011

• A/D converters, Hardware architectures
• Slides: pdf

Lecture #19, January 6, 2011

• Hardware architectures
• Slides: pdf
• Annotated slides: pdf

Lecture #20, January 11, 2011

• Automotive embedded systems, Model-based design (EAST-ADL, AUTOSAR), Safety (ISO 26262), FlexRay
• Guest lecture by Dr. Eric Armengaud from the Virtual Vehicle Competence Center, Graz
• Slides: pdf

Lecture #21, January 13, 2011

• Hardware architectures
• Slides: pdf

Lecture #22, January 18, 2011

• Scheduling with shared resources – slides: pdf
• Introduction to timing analysis – slides: pdf
• Cache WCET analysis – slides: pdf

Lecture #23, January 20, 2011

• Scheduling with shared resources – slides: pdf
• Introduction to timing analysis – slides: pdf
• Cache WCET analysis – slides: pdf

Lecture #24, January 25, 2011

• Architecture Synthesis: ASAP Scheduling, ALAP Scheduling, List Scheduling, Integer Linear Programming, Force-directed scheduling
• Slides: pdf
• Annotated slides: pdf
• References:
  Paulin/Knight (1989): Scheduling and Binding Algorithms for High-Level Synthesis

Lecture #25, January 27, 2011

• Hardware/Software Codesign: Flow, Partitioning, Cosimulation
• Slides: pdf
• References:
  Kernighan/Lin (1970): An Efficient Heuristic Procedure for Partitioning Graphs

Lecture #26, February 01, 2011

• Power Aware Computing: Estimation, Optimization
• Slides: pdf
• References:
  Dagstuhl Seminar: Power-aware Computing Systems
  Steger/Neffe/Rothbart/Muehlberger/Rieger/Weiss (2005): Methodologies for Designing Power-Aware Smart Card Systems

Lecture #27, February 03, 2011

• Real Time: Timed Automata, Model Checking, Region Abstraction, FlexRay, Timed Games
• Slides: pdf

Lecture #28, February 08, 2011

• Power Aware Computing: Dynamic Power Management (Voltage/Frequency Scaling, ACPI), Wireless Sensor Networks
• Slides: pdf

Slides include material by Eric Armengaud (Graz), Martin Fränzle (Oldenburg), Peter Marwedel (Dortmund), and Christoph Scholl (Freiburg).