Center for Hybrid and Embedded Software Systems Jonathan Sprinkle Executive Director, CHESS Center for Hybrid and Embedded Software Systems UC Berkeley On behalf of, and with input from, the CHESS Directors Edward A. Lee Alberto Sangiovanni-Vincentelli S. Shankar Sastry Claire J. Tomin

2 14 February 2007Jonathan Sprinkle, "Introduction", CHESS Winter Meeting National Research Council Report Embedded Everywhere “Information technology (IT) is on the verge of another revolution. Driven by the increasing capabilities and ever declining costs of computing and communications devices, IT is being embedded into a growing range of physical devices linked together through networks and will become ever more pervasive as the component technologies become smaller, faster, and cheaper... These networked systems of embedded computers... have the potential to change radically the way people interact with their environment by linking together a range of devices and sensors that will allow information to be collected, shared, and processed in unprecedented ways.... The use of [these embedded computers] throughout society could well dwarf previous milestones in the information revolution.”

3 14 February 2007Jonathan Sprinkle, "Introduction", CHESS Winter Meeting Background on Chess Founded in 2002 National Science Foundation Funding with Partners: Vanderbilt (ISIS) University of Memphis Partners and Affiliates: Agilent Bosch RTC DGIST General Motors Hewlett-Packard Infineon Microsoft National Instruments Toyota

4 14 February 2007Jonathan Sprinkle, "Introduction", CHESS Winter Meeting Chess Leadership Board of Directors Edward A. Lee Alberto Sangiovanni-Vincentelli Shankar Sastry Claire Tomlin Executive Director Jonathan Sprinkle Other key faculty at Berkeley Dave Auslander Ruzena Bajcsy Raz Bodik Karl Hedrick Kurt Keutzer George Necula Masayoshi Tomizuka Pravin Varaiya This carefully constructed team blends domain experts (for example, in automotive systems, avionics, signal and image processing, and communications) with software technologists and computer scientists.

5 14 February 2007Jonathan Sprinkle, "Introduction", CHESS Winter Meeting Mission of Chess To provide an environment for graduate research on the design issues necessary for supporting next-generation embedded software systems. Model-based design Tool-supported methodologies For Real-time Fault-tolerant Robust Secure Heterogeneous Distributed Software The fate of computers lacking interaction with physical processes. We are on the line to create a “new systems science” that is at once computational and physical.

6 14 February 2007Jonathan Sprinkle, "Introduction", CHESS Winter Meeting Some Applications Addressed Automotive Avionics: UAVs Networked Embedded Systems Systems Biology Automotive

7 14 February 2007Jonathan Sprinkle, "Introduction", CHESS Winter Meeting Project Approach Model-Based Design (the view from above) principled frameworks for design specification, modeling, and design manipulable (mathematical) models enabling analysis and verification enabling effective synthesis of implementations Platform-Based Design (the view from below) exposing key resource limitations hiding inessential implementation details Tools concrete realizations of design methods

8 14 February 2007Jonathan Sprinkle, "Introduction", CHESS Winter Meeting Thrust I: Hybrid Systems Deep Compositionality Assume Guarantee Reasoning for Hybrid Systems Practical Hybrid System Modeling Language Interface Theory for hybrid components Robust Hybrid Systems Bundle Properties for hybrid systems Topologies for hybrid systems Stochastic hybrid systems Computational hybrid systems Approximation techniques for H-J equations Synthesis of safe and live controllers for hybrid systems Phase Transitions and Network Embedded Systems

9 14 February 2007Jonathan Sprinkle, "Introduction", CHESS Winter Meeting Thrust II: Model Based Design Composition of Domain Specific Modeling Languages Meta Modeling Components to manipulate meta-models Integration of meta-modeling with hybrid systems Model Synthesis Using Design Patterns Pattern Based Modal Synthesis Models of Computation Design Constraints and Patterns for MMOC Model Transformation Meta Generators Semantic Anchoring Construction of Embeddable Generators

10 14 February 2007Jonathan Sprinkle, "Introduction", CHESS Winter Meeting Thrust III: Advanced Tool Architectures Syntax and Synthesis Semantic Composition Visual Concrete Syntaxes Modal Models Interface Theories Virtual Machine Architectures Components for Embedded Systems

11 14 February 2007Jonathan Sprinkle, "Introduction", CHESS Winter Meeting Thrust IV: Applications Embedded Control Systems Avionics: F-22, F-35, UAV flight control, Open Control Platform Veitronics: Engine control, Braking control, architectures Embedded Systems for National/Homeland Security Air Traffic Control; Smart Walls, Sector Control UAVs: flight control, autonomous navigation, landing Networks of Distributed Sensors and Networked Embedded Systems Stochastic Hybrid Systems in Systems Biology Hybrid Models in Structural Engineering Active Noise Control Vibration damping of complex structures

12 14 February 2007Jonathan Sprinkle, "Introduction", CHESS Winter Meeting Today’s Distributed Agenda QI: Hybrid Systems/ControlQII: Model-Based Design and Analysis QIII: Advanced Tool ArchitecturesQIV: Applications 08:30 Introduction 09:15 Claire Tomlin 10:30 Alberto Sangiovanni- Vincentelli 11:30 Abhijit Davare 12:30 Tom Henzinger 13:30 J. Karl Hedrick 15:00 Edward A. Lee 08:45 Jonathan Sprinkle 14:15 Shankar Sastry