Center for Hybrid and Embedded Software Systems

1. Center for Hybrid andEmbedded Software Systems Jonathan Sprinkle Executive Director, CHESSCenter for Hybrid and Embedded Software SystemsUC Berkeley On behalf of, and with input from, the CHESS Directors Edward A. LeeAlberto Sangiovanni-VincentelliS. Shankar SastryClaire J. Tomin

2. National Research Council ReportEmbedded 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.” Jonathan Sprinkle, "Introduction", CHESS Winter Meeting

3. 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 Jonathan Sprinkle, "Introduction", CHESS Winter Meeting

4. 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. Jonathan Sprinkle, "Introduction", CHESS Winter Meeting

5. 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 • DistributedSoftware 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. Jonathan Sprinkle, "Introduction", CHESS Winter Meeting

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

7. 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 Jonathan Sprinkle, "Introduction", CHESS Winter Meeting

8. 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 Jonathan Sprinkle, "Introduction", CHESS Winter Meeting

9. 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 Jonathan Sprinkle, "Introduction", CHESS Winter Meeting

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

11. 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 Jonathan Sprinkle, "Introduction", CHESS Winter Meeting

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