The Embedded Systems Laboratory was founded in 2003 with the mission of providing tools and methodologies to support the design, development, verification and sustainment of mission-critical embedded systems. This is to be accomplished by leveraging formal methods and system-on-chip methodologies, thereby shaping academic thought and industry outlook through collaborative efforts, technical publications and education. Prof. Lundqvist and her students are working on three primary research areas: system-on-chip design approaches, verification and validation of mission critical software systems, and operating systems. The laboratory collaborates extensively with industry, including NASA, Draper Laboratories, and Ford. Lately, the Embedded Systems Laboratory has been developing the Timed Abstract State Machine (TASM) Language and Toolset, a novel specification language for embedded real-time systems.

ESL consists of young, energetic, and highly talented faculty and students from the Departments of Aeronautics and Astronautics as well as Electrical Engineering and Computer Science at MIT.