10 likes | 130 Vues
This document summarizes key findings and developments in hybrid and embedded software systems as part of the collaborative research between the Center for Hybrid and Embedded Software Systems at UC Berkeley, the Institute for Software Integrated Systems at Vanderbilt University, and the Mathematical Sciences Institute at the University of Memphis. Led by distinguished principal investigators such as Thomas A. Henzinger and Edward A. Lee, the research explores innovative methodologies and applications in software systems. This review was presented during the NSF ITR Program review in Berkeley, CA on November 21, 2005.
E N D
Foundations of Hybrid and Embedded Software Systems UC Berkeley—Center for Hybrid and Embedded Software Systems (CHESS) and Vanderbilt University—Institute for Software Integrated Systems (ISIS) and University of Memphis—Mathematical Sciences Institute (MSI) Principal Investigators: Thomas A. Henzinger (UC Berkeley, EECS) Edward A. Lee (UC Berkeley, EECS) Alberto Sangiovanni-Vincentelli (UC Berkeley, EECS) Shankar Sastry (UC Berkeley, EECS) Janos Sztipanovits (Vanderbilt, ECE) Claire J. Tomlin (UC Berkeley, EECS) Faculty Investigators: Raz Bodik (UC Berkeley, CS) David Auslander (UC Berkeley, ME) Ruzena Bajcsy (UC Berkeley, EECS) Gautam Biswas (Vanderbilt, CSS) Bela Bollobas (University of Memphis, Mathematics) Kenneth Frampton (Vanderbilt, ME) Karl Hedrick (UC Berkeley, ME) Gabor Karsai (Vanderbilt, ECE) Kurt Keutzer (UC Berkeley, EECS) Masayoshi Tomizuka (UC Berkeley, ME) David Messerschmitt (UC Berkeley, EECS) George Necula (UC Berkeley, EECS) Pravin Varaiya (UC Berkeley, EECS) NSF ITR Program Review November 21, 2005 Berkeley, CA