center for hybrid and embedded software systems

Center for Hybrid andEmbedded Software Systems

Jonathan SprinkleExecutive 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

214 February 2007 Jonathan Sprinkle, "Introduction", CHESS Winter Meeting

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.”

314 February 2007 Jonathan 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

414 February 2007 Jonathan 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.

514 February 2007 Jonathan 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.

614 February 2007 Jonathan Sprinkle, "Introduction", CHESS Winter Meeting

Some Applications Addressed

Automotive

Avionics: UAVs

Networked Embedded Systems

Systems Biology

Automotive

714 February 2007 Jonathan 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

814 February 2007 Jonathan 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

914 February 2007 Jonathan 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

1014 February 2007 Jonathan 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

1114 February 2007 Jonathan 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

1214 February 2007 Jonathan Sprinkle, "Introduction", CHESS Winter Meeting

Today’s DistributedAgenda

QI: Hybrid Systems/ControlQII: Model-Based Design and Analysis

QIII: Advanced Tool Architectures QIV: Applications

08:30Introduction

09:15Claire Tomlin

10:30Alberto Sangiovanni-Vincentelli11:30

Abhijit Davare

12:30Tom Henzinger

13:30J. Karl Hedrick

15:00Edward A. Lee

08:45Jonathan Sprinkle

14:15Shankar Sastry