Embedded systems sense, actuate, compute, and communicate to accomplish tasks in domains such as medical, automotive, and industrial controls. Informal methods of hacking together embedded systems are at odds with the criticality of their applications. This course will introduce recent developments toward more rigorous modeling and verification of embedded and cyber-physical systems.

This course introduces the theoretical foundations of embedded systems, with a focus on applications in the domains of medical devices and other low-power systems. The topics covered will include modeling, scheduling, analysis and verification of systems with discrete, continuous, and hybrid dynamics. Course is intended for graduate students and senior undergraduates.

A graduate version of E&C-Eng 570 which includes additional readings from research papers on embedded operating systems concepts,

This course provides an introduction to software systems with emphasis on operating system design and implementation. A key aspect is computer architecture and system software interaction. Topics include: process management, threading, synchronization, deadlocks, scheduling, security, IO systems, and distributed systems. Prerequisites: E&C-ENG 232 and 242

This is the first semester of a two-semester project where a student works with a faculty adviser on a project. The project can be design, experimental, simulation, or theoretical. Although the overall project requires a proposal, a final report, and a final presentation, the first semester requires only a proposal and satisfactory progress toward final completion.

This course is the second part of a two semester project that is started in E&C-Eng 688F. The project can be design, experimental, simulation, or theoretical. The overall project grade is based on the project proposal, a final report, and a final presentation.

Students must have taken E&C-ENG 688F in order to enroll in this course.

To explore concepts related to the design, analysis, and construction of microwave systems. This course will discuss the fundamental tradeoffs governing system design: the hardware components and technologies that comprise working systems, the models used for characterizing the transmission and reception of signals, the physics of wave propagation and interaction, and estimation theory which seeks to separate signals from sources of error and guide algorithms for extracting information from received signals.

Introduces key concepts in biosensors and bioelectronics.The course starts from the basics of molecular and cellular biology, followed by discussions on important biomedical devices and system in electrical, optical, magnetic and mechanical domains.

With lab. Semiconductor instructional processing laboratory (SIPL) and lectures. Principles and practice of modern microelectronic silicon device processing. Theory and practice of basic processing technology including photo-lithography, oxidation, diffusion, thin film deposition, ion implantation, packaging, yield, and process integration. State-of-the-art laboratory fabrication of working microelectronic devices and process simulation techniques. Prerequisite: E&C-ENG 344.

With lab. Semiconductor instructional processing laboratory (SIPL) and lectures. Principles and practice of modern microelectronic silicon device processing. Theory and practice of basic processing technology including photo-lithography, oxidation, diffusion, thin film deposition, ion implantation, packaging, yield, and process integration. State-of-the-art laboratory fabrication of working microelectronic devices and process simulation techniques. Prerequisite: E&C-ENG 344.