1. http://chess.eecs.berkeley.edu/ February 11, 2016 Center for Hybrid and Embedded Software Systems Organization Faculty Edward A. Lee, EECS Alberto Sangiovanni-Vincentelli, EECS Shankar Sastry, EECS Claire J. Tomlin, EECS Karl Hedrick, ME Sanjit Seshia, EECS Masayoshi Tomizuka, ME Staff Christopher Brooks, EECS Elizabeth Coyne, EECS Yulia Golubovskaya, EECS Mary Stewart, EECS Stavros Tripakis, EECS Affiliated faculty Aviral Shrivastava, Arizona State 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 Mission The goal of the Center is to provide an environment for graduate research on the design issues necessary for supporting next-generation embedded software systems. The research focus is on developing model- based and tool-supported design methodologies for real-time fault-tolerant software on heterogeneous distributed platforms. 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 Design of 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 gen.) 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 Software Examples of CHESS software include: CapeCode, a development environment for Actors and Iot 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 Precision Timed ( PRET ) Architecture Simulator. PTARM, a precision timed soft core Ptolemy II, a software laboratory for concurrent models of computation Triquetrum, an Eclipse project using Ptolemy II as an execution engine. 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. The research laboratory: software frameworks and test systems such as the STARMAC Quadrotor Aircraft (Prof. Tomlin) The Problem: intensive use of embedded software in complex physical systems, such as aircraft. An overview of the CHESS Center Berkeley EECS Annual Research Symposium The research laboratory: PTIDES: Programming Temporally Integrated Distributed Embedded Systems The PTIDES project focuses on model- based design principles for event- triggered real-time distributed systems. The Problem: High speed printing presses require millisecond timing over 100 meters The Solution: PTIDES is used to generate code for different microcontrollers. The Center for Hybrid and Embedded Software Systems (CHESS) is supported by Denso, National Instruments and Toyota. The National Science Foundation currently provides support via #1446619 (Mathematical Theory of CPS), #1329759 (COSMOI) and #0931843 (ActionWebs). Previously, CHESS was supported by Agilent, Bosch, General Motors, Hewlett-Packard, HSBC, Infineon, Lockheed Martin, Microsoft and Thales, NSF #0720882 (CSR-EHS: PRET), NSF #1035672 (CPS: Medium: Timing Centric Software), The Air Force Research Laboratory (FA8750-08-2-0001 and FA8750-11-C-0023), The Army Research Laboratory under Cooperative (W911NF-07-2-0019 and W911NF-11-2-0038), The Naval Research Laboratory (NRL N0013-12-1-G015)