Embedded Systems

Today, there is computation in everything. Birthday cards can play songs, fireworks use microcontrollers rather than fuses for timing, homes and buildings are becoming "smart", and we wear many computers in our pockets and on our wrists. These systems are characterized by a tight coupling of hardware capabilities, software functionality, application requirements, and physical form factor. They raise many open questions in power management, networking, security, privacy, and administration. We look at new, fundamental ways to design these systems that will make them robust, secure, and long-lived.