center for hybrid and embedded software systems
DESCRIPTION
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. - PowerPoint PPT PresentationTRANSCRIPT
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