Elements of Model-Based Design

Elements of Model-Based Design is dedicated to the understanding and analysis of cyber-physical systems, which are networks of sensors, actuators, and embedded computers that interact with the physical world. We propose a design methodology that produces reliable, verifyable, trustworthy systems through the use of physical modeling, simulation, and models of computation (formal models for software design).

Examples of cyber-physical systems include cars, consumer appliances (laundry machines, vacuum cleaners, home heating and cooling), consumer electronics (handheld music players, smartphones, car entertainment systems), robotics, and medical devices (pacemakers, insulin pumps). The integration of cyber-physical systems in our everyday life has given us access to more information about the world around us, helped us solve difficult problems, and even saved lives.

This site documents work towards the completion of a Masters of Science in Electrical Engineering and Computer Science at he University of California, Berkeley.

This work was supported in part by the Center for Hybrid and Embedded Software Systems (CHESS) at the University of California at Berkeley, which receives support from the National Science Foundation (NSF awards #CCR- 0225610 (ITR),#0720882 (CSR-EHS: PRET), #0647591 (CSR-SGER), and #0720841 (CSR-CPS)), the U. S. Army Research Office (ARO #W911NF-07- 2-0019), the U. S. Air Force Office of Scientific Research (MURI #FA9550- 06-0312 and AF-TRUST #FA9550-06-1-0244), the Air Force Research Lab (AFRL), the State of California Micro Program, and the following companies: Agilent, Bosch, Lockheed Martin, National Instruments, Thales and Toyota.