February 21, 2008 Center for Hybrid and Embedded Software Systems

http://chess.eecs.berkeley.edu/

Organization

Board of Directors

Edward A. Lee, UC Berkeley EECSThomas Henzinger, UC Berkeley EECSAlberto Sangiovanni-Vincentelli, UC Berkeley EECSShankar Sastry, UC Berkeley EECSClaire J. Tomlin, UC Berkeley EECS

Other key faculty

Dave Auslander, UC Berkeley MEAhmad Bahai, UC Berkeley EECSRuzena Bajcsy, UC Berkeley EECSRas Bodik, UC Berkeley EECSKarl Hedrick, UC Berkeley MEKurt Keutzer, UC Berkeley EECSGeorge Necula, UC Berkeley EECSKoushik Sen, UC Berkeley EECSSanjit Seshia, UC Berkeley EECSMasayoshi Tomizuka, UC Berkeley EECSPravin Varaiya, UC Berkeley EECS

Staff

Christopher Brooks, UC BerkeleyTracey Richards, UC BerkeleyMary Stewart, UC Berkeley

Affiliated faculty

Janos Sztipanovits, Vanderbilt, ECEGautam Biswas, Vanderbilt, Computer ScienceBela Bollobas, University of Memphis, MathematicsGabor Karsai, Vanderbilt, ECEJonathan 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

MissionThe goal of the center is to provide an environment for graduate research in cyber-physical systems (CPS) by developing model-based and tool-supported design methodologies for real-time, fault tolerant software on heterogeneous distributed platforms that interact with the physical world.

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.

Research• Cyber-Physical Systems• 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

generation)• Verification of temporal and safety properties of software• Visual syntaxes for system design

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.

Embedded software architecture tomorrow will

be built on sound principles that reflect the

interaction of the software with the physical world.

Chess SoftwareExamples of Chess software include:

• HyVisual, a block-diagram editor and simulator for continuous-time and hybrid systems (shown at the left)

• Metropolis, a design environment for heterogeneous systems

• MetroII, enhancements to Metropolis: heterogeneous IP import, orthogonalization of performance from behavior, and design space exploration

• CHIC, a modular verifier for behavioral compatibility of software and hardware component interfaces.

• 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.

Hybrid system model of Newton’s Cradle, built using HyVisual.

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.

PlatformDesign-Space

Export

PlatformMapping

Architectural Space

Application SpaceApplication Instance

Platform Instance

SystemPlatform (HW and SW)

The research laboratory: software frameworks and test systems such as the Berkeley Aerobot Team (BEAR) helicopters.

The Problem: intensive use of embedded software in complex physical systems, such as aircraft.