Chess - Center for Hybrid and Embedded Software Systems

Time 2020-10-11 04:02:53

Web Name: Chess - Center for Hybrid and Embedded Software Systems

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

ID:77758

Keywords:

for,Hybrid,Chess,

Description:

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. May 15, 2018: The CHESS project is formally over the site has been moved to an archival location. December 17, 2014: Ptolemy II 10.0.1 online demonstrations, documentation and software released. June 6, 2014: Denso has joined CHESS, see the denso workgroup. April 8th, 2013: The First Workshop on Cyber-Physical Systems Education was held in Philadelphia, Pennsylvania. March 10, 2013: JFMI 1.0.1, a Java Wrapper for the Functional Mock-up Interface was released. The Functional Mock-up Interface (FMI) is an emerging standard with the objective to make it easy to share modeling components between various simulation tools and environments. 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. June 18, 2012: JFMI-1.0, a Java Wrapper for the Functional Mock-up Interface was released. The Functional Mock-up Interface (FMI) is an emerging standard with the objective to make it easy to share modeling components between various simulation tools and environments. January 27, 2012: Pt1588: an open source implementation of IEEE 1588-2008 made available. Dr. Patricia Derler has been awarded her degree sub auspiciis Praesidentis rei publicae (under the auspices of the President of Austria). Wikipedia's Latin Honors page says that only one out of 2500 doctoral graduates per year achieve this honor. Dr. Derler was awarded a golden honorary ring of Austria by Heinz Fischer, the president of Austria. Dr. Derler is a postdoctoral visitor focusing on the PTIDES effort. (Original Article Translation) November 6, 2011: The UC Berkeley team (Michael Zimmer and Baruch Sterin) tied for first place at the CADathalon@ICCAD. "In the spirit of the long-running ACM programming contest, the CADathlon challenges students in their CAD knowledge, and their problem solving, programming, and teamwork skills." The CADathlon was 9 hours long. Slobodan Matic has placed in the top four winners in Siemens' Smart Grid Innovation Contest. The final ranking will be announced on September 14. Dr. Matic's idea and white paper is "Integrated Architecture and Programming Model for Distribution and Microgrid Automation." The US Army Research Laboratory has funded the Disciplined Design of System of Systems (DDOSOS) project. This project includes research into Multiform Models of Time, Temporal Isolation, Hybrid Models, Correct Composition, Linking Behaviors to Implementation, and Design Drivers. June 1, 2011: Siemens has funded Dr Patricia Derler's "T-REX: Triggered Real-Time Events on XMOS" project. May 25, 2011: PTARM Simulator v1.0 released. PTARM is a simulator for a Precision Timed (PT)ARM Architecture. October 28, 2010: Ptolemy II 8.0.1 online demonstrations, documentation and software released. February 11, 2010: 2009 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. November 5, 2009: The Multiscale Systems Center (MuSyC) held its kickoff meeting. From CHESS, Professor Alberto Sangiovanni-Vincentelli is leading the Distributed Sense and Control Systems thrust. Professor Edward A. Lee is also participating. November 4, 2009: Dr. Doug Densmore's Clotho project tied for "Best Software Tool" at MIT's International Genetically Engineered Machine (iGEM) competition. Clotho which uses many ideas from Platform-based design, a key idea from Professor Alberto Sangiovanni-Vincentelli. Clotho includes development of actors and automated assembly processes for the Kepler scientific workflow management system. September 15, 2009: The NSF funded ActionWebs project starts. This project, lead by Professor Claire Tomlin will develop a theory of "ActionWebs", that is, "networked embedded sensor-rich systems, which are taskable for coordination of multiple decision-makers." July 17, 2009: UC Berkeley Professors Robert K. Brayton, Richard Rudell, Alberto Sangiovanni-Vincentelli, and Albert R. Wang will be the first recipients of the ACM/IEEE A. Richard Newton Technical Impact Award in Electronic Design Automation (EDA). The award will be presented at this year's DAC conference in San Francisco. May 12, 2009: The U.S. House of Representatives passed H.R. 2020, the Networking and Information Technology Research and Development Act of 2009, which, among several things, "creates a task force to explore mechanisms for carrying out collaborative R&D activities in cyber-physical systems;" February 12, 2009: 2009 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. January 30, 2009: CHESS 2009 Prospectus released. This 20 page brochure covers recent and on-going CHESS activities. Printed copies are available by request from chessadmin. January 26, 2009: Precision Timed (PRET) Architecture Simulator 1.0 available. The goal of the PRET Project is to reintroduce timing predictability and repeatability by judiciously adopting architectural optimization techniques to deliver performance enhancements without sacrificing timing predictability and repeatability. December 8, 2008: Stochastic Hybrid Systems: Theory and Applications Pre-Conference Workshop, 47th IEEE Conference on Decision and Control. November 14, 2008: Professor Alberto Sangiovanni-Vincentelli has won the 2009 IEEE/RSE Wolfson James Clerk Maxwell Award with the following citation: "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) Dr. Doug Densmore's Clotho project won a gold medal in MIT's International Genetically Engineered Machine (iGEM) competition. Clotho which uses many ideas from Platform-based design, a key idea from Professor Alberto Sangiovanni-Vincentelli. Clotho also won "best software tool" at iGEM. October 31, 2008 Clotho released by Dr. Doug Densmore's group. Clotho is a software implementation of platform-based design for synthetic biological systems. Don Winter (Boeing) and others testify in front of the House Science and technology committee about Cyber-Physical Systems (CPS) and other topics. See the Cyber-physical Systems Page for details. 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 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. 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. February 7, 2008: Ptolemy II 7.0.beta online demonstrations, documentation and software released. 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. Professor Edward A. Lee and Professor Stephen Edwards have been awarded a three-year National Science Foundation grant titled ""PRET: Precision Timed Architectures . 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. 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 9, 2007: Viptos 1.0.2 source code released. Viptos is an interface between TinyOS 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. 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. 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 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. 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. 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. 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. 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. March 4, 2005: HyVisual 5.0-alpha, a block-diagram editor and simulator for continuous-time and hybrid systems. 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.". 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. 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: VisualSense 4.0.1 Visual editor and simulator for wireless sensor network system released. 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. 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 On January 31, 2003, we released HyVisual 2.2, a block-diagram editor and simulator for continuous-time and hybrid systems.

TAGS:for Hybrid Chess 

<<< Thank you for your visit >>>

Hot Websites