Home
Highlights
Research
Charter

People
Workgroups
Papers
Conferences
Education
Projects
Presentations
Seminar
Links

Calendar

FAQ
Downloads
Search


Chess: Center for Hybrid and Embedded Software Systems

Key Resources:

Mission statement and organizational overview.
Resources for Chess researchers (presentation and poster templates, etc.).
Visitor parking, transportation, directions, lodging .
This center is aimed at developing model-based and tool-supported design methodologies for real-time fault tolerant software on heterogeneous distributed platforms. We are bridging the gap between computer science and systems science by developing the foundations of a modern systems science that is simultaneously computational and physical. This represents a major departure from the current, separated structure of computer science (CS), computer engineering (CE), and electrical engineering (EE): it reintegrates information and physical sciences. The center is funded in part by an Information Technology Research (ITR) project from the National Science Foundation (NSF). It operates cooperatively with the Institute for Software Integrated Systems (ISIS) at Vanderbilt University, and the Department of Mathematical Sciences at the University of Memphis.

What Are Cyber-Physical Systems?

The Center for Hybrid and Embedded Software Systems (CHESS) is building foundational theories and practical tools for systems that combine computation, networking, and physical dynamics. In such systems, embedded computers and networks monitor and control physical processes in feedback loops where physical processes affect computations and vice versa. For the last 30 years or so, computers have been increasingly embedded in stand-alone, self-contained products. We are poised, however, for a revolutionary transformation as these embedded computers become networked. The transformation is analogous to the enormous increment in the utility of personal computers with the advent of the web. Just as personal computers changed from word processors to global communications devices and information portals, embedded computers will change from small self-contained boxes to cyber-physical systems, which sense, monitor and control our intrinsically distributed human environment.

Cyber-Physical Systems (CPS) are integrations of computation, networking, and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedback loops where physical processes affect computations and vice versa. The economic and societal potential of such systems is vastly greater than what has been realized, and major investments are being made worldwide to develop the technology. There are considerable challenges, particularly because the physical components of such systems introduce safety and reliability requirements qualitatively different from those in general-purpose computing. Moreover, the standard abstractions used in computing do not fit the physical parts of the system well.

Applications of CPS arguably have the potential to dwarf the 20th century IT revolution. They include high confidence medical devices and systems, assisted living, traffic control and safety, advanced automotive systems, process control, energy conservation, environmental control, avionics, instrumentation, critical infrastructure control (electric power, water resources, and communications systems for example), distributed robotics (telepresence, telemedicine), defense systems, manufacturing, and smart structures. It is easy to envision new capabilities, such as distributed micro power generation coupled into the power grid, where timing precision and security issues loom large. Transportation systems could benefit considerably from better embedded intelligence in automobiles, which could improve safety and efficiency. Networked autonomous vehicles could dramatically enhance the effectiveness of our military and could offer substantially more effective disaster recovery techniques. Networked building control systems (such as HVAC and lighting) could significantly improve energy efficiency and demand variability, reducing our dependence on fossil fuels and our greenhouse gas emissions. In communications, cognitive radio could benefit enormously from distributed consensus about available bandwidth and from distributed control technologies. Financial networks could be dramatically changed by precision timing. Large scale services systems leveraging RFID and other technologies for tracking of goods and services could acquire the nature of distributed real-time control systems. Distributed real-time games that integrate sensors and actuators could change the (relatively passive) nature of on-line social interactions. The positive economic impact of any one of these applications areas would be enormous.

 

Upcoming Events:

June 30, 2008: 2007-2008 Annual Report Due.
For previous annual reports, see our highlights page.

 

News:

April 21, 2008: Workshop: From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs, St. Louis, MO.

April 11, 2008: Jonathan Sprinkle is featured in a University of Arizona news article, "Engineering Prof Builds Brains for Robotic Cars" that discusses some of his Berkeley efforts such as the DARPA Urban Challenge.
April 4, 2008: Ptolemy II 7.0.1 online demonstrations, documentation and software released.
Mar 17, 2008: PTIDES is participating in the Google Summer of Code!

Mar 7, 2008: The UC Berkeley EECS web page says:
The U.S. Army Research Laboratory has established a Collaborative Technology Alliance in the area of Micro Autonomous Systems and Technology (MAST). The Berkeley MAST team includes EECS Profs. Michel Maharbiz, Clark Nguyen, Kris Pister, Ronald Fearing, Claire Tomlin, and Shankar Sastry, and includes 8 other universities and NASA's Jet Propulsion Lab. The goal of the MAST project is to enable the autonomous operation of a collaborative ensemble of multifunctional, mobile microsystems. The MAST project, including options, provides funding of up to $89 million over the next 10 years.

Mar 1, 2008: HSBC Bank has joined CHESS! We will be using the hsbc2 workgroup to coordinate this work.

February 21, 2008: 2008 Berkeley EECS Annual Research Symposium (BEARS). A poster session by students, faculty, and postdoctoral scholars, in the area of embedded software and systems. Areas covered include hybrid systems, control, autonomous systems, modeling and computation, as well as tools and applications in these areas. The posters are available as Publications.

January 24, 2008: We've been posting Embedded Systems Calls For Papers (CFPs).

September 6, 2007: Joint Review Meeting of MURI Projects on High-Confidence Design for Distributed Embedded Systems with the Caltech Specification, Design and Verification of Distributed Embedded Systems MURI and the High-Confidence Design for Distributed Embedded Systems MURI was held at Berkeley. The HCDDES Presentations are available.

August 9, 2007: Dr. George Anwar and Gabe Hoffman presented their research at National Instruments' NI Week 08. Video of their presentation is available. Dr. Anwar mentions Embedded Systems curriculum at Berkeley, CHESS, Professor Tomlin and the Ptolemy project. Gabe demos the Starmac Quadrotor helicopter. The Ptolemy project is a part of the High-Confidence Design for Distributed Embedded Systems (HCDDES) MURI that is using the Starmac as a target platform.
July 19, 2007: Shankar Sastry has named Dean of the UC Berkeley College of Engineering.
July 11, 2007: The EU-US Workshop on Wirelessly Networked Embedded Systems occurred on July 10, 2007 in Edinburgh. This workshop is the fourth in the series of themed EU-US workshops after Paris (2005), Washington (March 2006) and Helsinki (June 2006). The theme of the Edinburgh workshop is “Cyber-Physical Systems and Beyond".

June 30, 2007: Professor Edward A. Lee and Professor Stephen Edwards have been awarded a three-year National Science Foundation grant titled ""PRET: Precision Timed Architectures".

June 17, 2007: The 2007 Annual Report is available.

June 6, 2007: Stephen Edwards' Precision Timed (PRET) Machines talk at DAC is mentioned in the EETimes article, "Designers pitch 'wild and crazy' ideas at DAC."

May 9, 2007: Professor Ahmad Bahai has joined the CHESS faculty

April 11, 2007: Jonathan Sprinkle, the current CHESS Executive Director, will be starting at his faculty position at University of Arizona in July.
Christopher Brooks will be the new CHESS Executive Director.

March 2007: Professor Alberto L. Sangiovanni-Vincentelli's article, "Quo Vadis SLD: Reasoning about Trends and Challenges of System-Level Design," is the opening paper of a special issue of the Proceedings of the IEEE.

February 15, 2007: 2007 Berkeley EECS Annual Research Symposium (BEARS). A poster session by students, faculty, and postdoctoral scholars, in the area of embedded software and systems. Areas covered include hybrid systems, control, autonomous systems, modeling and computation, as well as tools and applications in these areas.

February 14, 2007: Chess Winter Meeting
February 13, 2007: The Seventh Biennial Ptolemy Miniconference and ptutorial.
February 9, 2007: Viptos 1.0.2 source code released. Viptos is an interface between TinyOS and Ptolemy II. TinyOS is an event-driven operating system designed for sensor network nodes that have very limited resources (e.g., 8K bytes of program memory, 512 bytes of RAM). TinyOS, is used, for example, on the Berkeley MICA motes, which are small wireless sensor nodes.
February 4, 2007: Ptolemy II 6.0.2 online demonstrations, documentation and software released.
January 14, 2007: Ptplot 5.6 released
January 11, 2007: Chess faculty member Thomas Henzinger is now an ACM Fellow!
October 30, 2006: Viptos 1.0.beta source code released.
October 13, 2006: Metropolis 1.1.2 released.
Metropolis consists of an infrastructure, a tool set, and design methodologies for various application domains. The infrastructure provides a mechanism such that heterogeneous components of a system can be represented uniformly and tools for formal methods can be applied naturally. Metropolis-1.1.2 includes support for SystemC-2.1 and Windows.

September 20, 2006: Claire Tomlin, UC Berkeley EECS Associate Professor and CHESS Prinicipal Investigator won a MacArthur Genius Award!

October 4, 2006: Fall ITR Review, Alexandria, VA.

August 23, 2006: The SUPERB Program ended on August 4, and CHESS proudly sponsored Dominique Duncan (University of Chicago), Nandita Mitra (Rutgers University), Nashlie Sephus (Mississippi State University) and Heather Taylor (University of Vermont). These students worked with individual mentors throughout the summer performing research and supporting activities in the area of hybrid and embedded systems. The mentors for the summer were Saurabh Amin, Elaine Cheong, Alex Kurzhanskiy, and Todd Templeton. Each student performed an individual project, culminating in a research paper and poster presentation.

May 31, 2006: The 2006 Annual Report is available.

May 8, 2006: The May 2006 IEEE Computer Magazine contains a cover feature by Edward A. Lee: "The Problem with Threads"

For concurrent programming to become mainstream, we must discard threads as a programming model. Nondeterminism should be judiciously and carefully introduced where needed, and it should be explicit in programs.
March 15, 2006: COSI: the COmmunication Synthesis Infrastructure released. The COSI project aims at providing an infrastructure to assist designer in the difficult task of interconnecting components.
The BEARS Chess Open House was held on Thursday, February 23, 2006, from 3:00-5:00 pm. Posters available online.

February 21-22, 2006: CHESS researchers, Profs. Gabor Karsai, T. John Koo, Shankar Sastry and Janos Sztipanovits, were invited to give lectures at the workshop on Hybrid and Embedded Systems: Technologies and Applications. The workshop was jointly organized by the Hong Kong Science and Technology Parks Corporation and the Department of Automation and Computer-aided Engineering, the Chinese University of Hong Kong, held at the Hong Kong Science and Technology Parks. Chess researchers also participated in an Open Forum moderated by the Dr. OnChing Yue, Science Advisor of the Innovation and Technology Commission, the Government of the Hong Kong Special Administrative Region, on many important issues ranging from the scientific research to application development of Hybrid and Embedded Systems in the Greater China Region.

The NSF Third Year ITR Site Visit was held on Monday, November 21, 2005.
Program Presentations
October 7, 2005: HyVisual 5.0.1 released.
Hybrid systems are systems with continuous-time dynamics, discrete events, and discrete mode changes. This visual modeler supports construction of hierarchical hybrid systems. It uses a block-diagram representation of ordinary differential equations (ODEs) to define continuous dynamics. It uses a bubble-and-arc diagram representation of finite state machines to define discrete behavior.
HyVisual-5.0-alpha includes better support for combining continuous-time signals and discrete events, include multiple discrete events that occur at the same time.
October 5, 2005: Ptolemy II 5.0.1 released.
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying principle in the project is the use of well-defined models of computation that govern the interactions between components. This release includes improved modeling of hybrid systems, a Dynamic Dataflow dowmain and a Heterochronous Dataflow domain.
August 25, 2005: The Chess server is on new hardware. If you manage a Chess workgroup using CVS, you will need to change CVS servers. See the FAQ for details.
July 21, 2005: Ptolemy II 5.0 released.
June 6, 2005: SUPERB-IT.
The Chess Center sponsored 6 undergraduates for the summer, as part of the SUPERB-IT program at Berkeley. Meet them, and learn about their research, at the Chess SUPERB-IT website.
May 11, 2005: Ptolemy III 5.0-beta released.
May 11, 2005: The Chess Review was held on the UC Berkeley Campus.
Program Presentations
March 4, 2005: HyVisual 5.0-alpha, a block-diagram editor and simulator for continuous-time and hybrid systems.
February 18, 2005: Metropolis 1.0.2 released.
T. John Koo, Chess alumnus and Assistant Professor at Vanderbilt University has received an NSF Faculty Early Career Development Award of $0.4M spanning April 1, 2005 - March 31, 2010 in support of his research on "Computation Platform for the Design of Hybrid Systems.".
February 10, 2005: Open House in association with Berkeley EECS Annual Research Symposium (BEARS)
November 18-19, 2004: The 2004 NSF Second Year ITR Site Visit was held at UC Berkeley.
Program Presentations
October 28, 2004: Giotto 1.0.1 released.
The Giotto system is a programming methodology for embedded control systems running on possibly distributed platforms. The Giotto system consists of a time-triggered programming language, a compiler, and a runtime system. Giotto aims at hard real-time applications with periodic behavior.
October 28, 2004: HyVisual 4.0.2, a block-diagram editor and simulator for continuous-time and hybrid systems.
September 20, 2004: Metropolis 1.0 released.
The Summer Undergraduate Program in Engineering Research at Berkeley - Information Technology (SUPERB-IT) took place from June 14 - August 6 2004.
Project Papers and Posters
August 4, 2004: Ptolemy II 4.0.1 released.
August 4, 2004: VisualSense 4.0.1 Visual editor and simulator for wireless sensor network system released.
June 4, 2004: Metropolis 1.0-beta released to Chess website members.
May 10, 2004: The Chess Review was held on the UC Berkeley Campus.
Program Presentations
February 27, 2004: Open house at UC Berkeley held in association with BEARS.
January 26, 2004: Kepler: A System for Scientific Workflows, is a cross-project collaboration to develop open source tools for Scientific Workflows and is currently based on the Ptolemy II system for heterogeneous concurrent modeling and design.
December 3rd, 2003: NSF Onsite Review was held at UC Berkeley.
Program Presentations
On August 21, 2003, we released Ptolemy II 3.0.2, a block diagram editor and simulator for continuous-time, hybrid and data flow systems.
The Summer Undergraduate Program in Engineering Research at Berkeley - Information Technology (SUPERB-IT) took place from June 16-August 8 2003.
Project Papers and Posters
Annual Report 2003 for the Foundations of Hybrid and Embedded Systems and Software, NSF/ITR Project.
May 8, 2003: The Chess Review was held at The Claremont Hotel in Berkeley.
Program Presentations
On February 27, 2003, Prof. Edward Lee gave an overview of Chess at the CITRIS Founding Corporate Members Meeting at UC Davis. View the video (350Kbps Real Stream). Download Real Networks player. Get the slides as Powerpoint. Get the slides as PDF.
On January 31, 2003, we released HyVisual 2.2, a block-diagram editor and simulator for continuous-time and hybrid systems.
On January 14, 2003, we relased CHIC, Checker for Interface Compatibility.

Chess in the news:

Soft Walls project gets media attention: ABC TV News (12/03) and Slashdot (1/04).
NSF gives $13 million for UC Berkeley-led project bridging computer software and systems science
UC Berkeley Campus News, September 25, 2002.
National Science Foundation Announces Grant Winners
New York Times, September 26, 2002. (Free Registration required)