Organization

1
Organization Board of Directors Edward A. Lee, UC
Berkeley EECS Thomas Henzinger, UC Berkeley
EECS Alberto Sangiovanni-Vincentelli, UC Berkeley
EECS Shankar Sastry, UC Berkeley EECSClaire J.
Tomlin, UC Berkeley EECS Other key faculty Dave
Auslander, UC Berkeley ME Ahmad Bahai, UC
Berkeley EECS Ruzena Bajcsy, UC Berkeley EECS Ras
Bodik, UC Berkeley EECS Karl Hedrick, UC Berkeley
ME Kurt Keutzer, UC Berkeley EECS George Necula,
UC Berkeley CS Koushik Sen, UC Berkeley CS Sanjit
Seshia, UC Berkeley EEC Masayoshi Tomizuka, UC
Berkeley EECS Pravin Varaiya, UC Berkeley
EECS Staff Christopher Brooks, UC Berkeley
EECS Jessica Gamble, UC Berkeley EECS Tracey
Richards, UC Berkeley EECS Mary Stewart, UC
Berkeley EECS Affiliated faculty Janos
Sztipanovits, Vanderbilt, ECE Gautam Biswas,
Vanderbilt, Computer Science Bela Bollobas,
University of Memphis, Mathematics Gabor Karsai,
Vanderbilt, ECE Jonathan Sprinkle, University of
Arizona, ECE
Cyber-Physical Systems "A cyber-physical system
(CPS) integrates computing and communication
capabilities with monitoring and / or control of
entities in the physical world dependably,
safely, securely, efficiently and in real-time."
- S. Shankar Sastry Mission The goal of the
Center is to provide an environment for graduate
research on the design issues necessary for
supporting next-generation embedded software
systems. The research focus is on developing
model-based and tool-supported design
methodologies for real-time fault-tolerant
software on heterogeneous distributed
platforms. CHESS provides industry with
innovative software methods, design methodology
and tools while helping industry solve real-world
problems. CHESS is defining new areas of
curricula in engineering and computer science
which will result in solving societal issues
surrounding aerospace, automotive, consumer
electronics and medical devices.
Hybrid system model of Newtons Cradle, built
using HyVisual.

• Chess Software
• Examples of Chess software include
• HyVisual, a block-diagram editor and simulator
  for continuous-time and hybrid systems (shown at
  the left)
• Clotho - Platform-based Design of synthetic
  biological systems
• CHIC, a modular verifier for behavioral
  compatibility of software and hardware component
  interfaces.
• Metropolis, a design environment for
  heterogeneous systems
• MetroII, enhancements to Metropolis
  heterogeneous IP import, orthogonalization of
  performance from behavior
• Precision Timed (PRET) Architecture Simulator.
• Ptolemy II, a software laboratory for concurrent
  models of computation
• VisualSense, a visual editor and simulator for
  wireless sensor network systems.
• Viptos, a block-diagram editor and simulator for
  TinyOS Systems.
• .

The Problem intensive use of embedded software
in complex physical systems, such as aircraft.
The Problem intensive use of embedded software
in complex physical systems, such as cars.
The research laboratory software frameworks and
test systems such as the Toyota test cell for
engine control technology.
The research laboratory software frameworks and
test systems such as the Berkeley Aerobot Team
(BEAR) helicopters.
Software engineering today is based on principles
that abstract away key semantic properties
embedded systems, such as time. The result is
ad-hoc architectures and brittle systems.

• Research
• Hybrid systems theory and practice
• Programming models for embedded control systems
• Semantics of modeling languages and methods
• Applications in automotive, avionics, sensor
  networks, and biology
• Embedded virtual machines for portable, mobile
  real-time code
• Experimental software platforms (Ptolemy,
  Metropolis, Giotto, etc.)
• Design transformation technology (component
  specialization, code gen.)
• Verification of temporal and safety properties of
  software
• Visual syntaxes for system design

Embedded software architecture tomorrow will be
built on sound principles that reflect the
interaction of the software with the physical
world.