Courses

EE 124. Introduction to Embedded Systems

Current Schedule (Spring 2008)

• EE 124: Edward A. Lee; Sanjit A. Seshia, MW 9-1030A, 293 Cory [course homepage]

Description

EECS 124 is a new course, being offered on a pilot basis in Spring 2008, intended to introduce students to the design and analysis of computational systems that interact with physical processes. Applications of such systems include medical devices and systems, consumer electronics, toys and games, assisted living, traffic control and safety, automotive systems, process control, energy management and conservation, environmental control, aircraft control systems, communications systems, instrumentation, critical infrastructure control (electric power, water resources, and communications systems for example), robotics and distributed robotics (telepresence, telemedicine), defense systems, manufacturing, and smart structures.

A major theme of this course will be on the interplay of practical design with formal models of systems, including both software components and physical dynamics. A major emphasis will be on building high confidence systems with real-time and concurrent behaviors.

For more information, see the course web page.