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.

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

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.
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.
6
Some Applications Addressed
Avionics UAVs
Automotive
Automotive
Systems Biology
Networked Embedded Systems
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

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

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

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

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

12
Todays DistributedAgenda
QI Hybrid Systems/Control
QII Model-Based Design and Analysis
QIII Advanced Tool Architectures
QIV Applications