Real-Time and Embedded Systems

Instructors Insup Lee

Textbooks and Reading Material

Embedded Systems Design, Steve Heath, Newnes, 2003.
Practical Statecharts in C/C++: Quantum Programming for Embedded Systems, Miro Samek, CMP Books, 2002.
PIC Microcontroller: An Introduction to Software & Hardware Interfacing. Han-Way Huang. Thomson, 2005.
Selected Papers.

Course Description

Ever increasing availability of inexpensive processors connected by a communication network has motivated the development of numerous concepts and paradigms for distributed real-time embedded systems. The primary objectives of this course are to study the principles and concepts of real-time embedded computing and to provide students hands-on experience in developing distributed embedded applications. This course covers the concepts and theory necessary to understand and program distributed embedded real-time systems. This includes:

concepts and theory for real-time systems,
programming, operating systems, and middleware for embedded systems, and
concepts, technologies, and protocols for distributed embedded real-time systems.

The lecture will cover a variety of existing systems and technologies as case studies, e.g., the MicroC kernel, the PICOS18 kernel, the Time-Triggered Architecture (TTA), FTT-CAN, sensor networks, Esterel, and Giotto. The lab provides the playground to learn by example what it really means to program an embedded system. After introductory exercises to get a full picture and get to know the hardware, we expect attendees to team up and solve future exercises together.

Download lectures ppt

Lectures

Introduction to Embedded and Real-time Systems
Programming Embedded Systems (Part I)

Programming Embedded Systems (Part II)

Introduction to Formal Models

Programming Embedded Systems (Part III)

Formal Methods (ACSR)

Introduction to System on Chip

Real-time System Scheduling

Schedule Validation with ACSR

Wireless Sensor Networks & RI-EDF

Introduction to Sensor Networks