CHESS: Center for Hybrid and Embedded Software Systems
CHESS Logo
Key Resources:
The CHESS Center operated from 2002 through 2017. See Industrial Cyberphysical Systems (iCyPhy) for more recent research. The CHESS website is no longer active.
The CHESS center was 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 was initially funded in part by an Information Technology Research (ITR) project from the National Science Foundation (NSF) and now receives funding from government and industry.
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.
News:
denso workgroup.
JFMI is a Java wrapper for FMI.
This release fixes a bug involving reading booleans and adds a facility that builds shared libraries at runtime.
(Original Article | Translation)
"For pioneering innovation and leadership in electronic design automation that have enabled the design of modern electronics systems and their industrial implementation"Previous winners of this illustrious award are Sir Timothy Berners-Lee (2008) and Irwin M. Jacobs & Andrew J Viterbi (2007)
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.
hsbc2 workgroup
to coordinate this work.
Christopher Brooks will be the new CHESS Executive Director.
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.
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.
Program Presentations
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.
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.
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.
Program Presentations
Program Presentations
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.
Project Papers and Posters
Program Presentations
Program Presentations
Project Papers and Posters
Program Presentations
CHESS in the news:
UC Berkeley Campus News, September 25, 2002.
New York Times, September 26, 2002. (Free Registration required)