|
|
Chess: Center for Hybrid and Embedded
Software Systems
|
|
Key
Resources:
|
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:
|
|
|
| |
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:
|
|