An overview of the CHESS Center
1
http://chess.eecs.berkeley.edu/ February 11, 2010 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, EECS Thomas Henzinger, EECS Alberto Sangiovanni-Vincentelli, EECS Shankar Sastry, EECS Claire J. Tomlin, EECS Other key faculty Dave Auslander, ME Ahmad Bahai, EECS Ruzena Bajcsy, EECS Ras Bodik, EECS Karl Hedrick, ME Kurt Keutzer, EECS George Necula, CS Koushik Sen, CS Sanjit Seshia, EECS Masayoshi Tomizuka, ME Pravin Varaiya, EECS Staff Christopher Brooks, EECS Charlotte M. Jones, EECS Gladys Khoury, EECS Mary Stewart, EECS Stavros Tripakis, EECS Affiliated faculty Janos Sztipanovits, Vanderbilt, ECE Gautam Biswas, Vanderbilt, Computer Science Bela Bollobas, University of Memphis, Mathematics Gabor Karsai, Vanderbilt, ECE Jonathan Sprinkle, University of Arizona, ECE Cyber-Physical Systems "A cyber-physical system (CPS) integrates computing and communication capabilities with monitoring and / or control of entities in the physical world dependably, safely, securely, efficiently and in real-time." - S. Shankar Sastry Mission The goal of the Center is to provide an environment for graduate research on the design issues necessary for supporting next-generation embedded software systems. The research focus is on developing model-based and tool- supported design methodologies for real-time fault-tolerant software on heterogeneous distributed platforms. CHESS provides industry with innovative software methods, design methodology and tools while helping industry solve real-world problems. CHESS is defining new areas of curricula in engineering and computer science which will result in solving societal issues surrounding aerospace, automotive, consumer electronics and medical devices. Research • Hybrid systems theory and practice • Programming models for embedded control systems • Semantics of modeling languages and methods • Applications in automotive, avionics, sensor networks, and biology • Embedded virtual machines for portable, mobile real-time code • Experimental software platforms (Ptolemy, Metropolis, Giotto, etc.) • Design transformation technology (component specialization, code gen.) • Verification of temporal and safety properties of software • Visual syntaxes for system design Software engineering today is based on principles that abstract away key semantic properties embedded systems, such as time. The result is ad-hoc architectures and brittle systems. Embedded software architecture tomorrow will be built on sound principles that reflect the interaction of the software with the physical world. CHESS Software Examples of CHESS software include: • HyVisual, a block-diagram editor and simulator for continuous-time and hybrid systems (shown at the left) • Clotho - Platform-based Design of synthetic biological systems • CHIC, a modular verifier for behavioral compatibility of software and hardware component interfaces. • Metropolis, a design environment for heterogeneous systems • MetroII, enhancements to Metropolis: heterogeneous IP import, orthogonalization of performance from behavior • Precision Timed (PRET) Architecture Simulator. • Ptolemy II, a software laboratory for concurrent models of computation • VisualSense, a visual editor and simulator for wireless sensor network systems. • Viptos, a block-diagram editor and simulator for TinyOS Systems. . Hybrid system model of Newton’s Cradle, built using HyVisual. The Problem: intensive use of embedded software in complex physical systems, such as cars. The research laboratory: software frameworks and test systems such as the Toyota test cell for engine control technology. Platform Design-Space Export Platform Mapping Architectural Space Application Space Application Instance Platform Instance System Platform (HW and SW) The research laboratory: software frameworks and test systems such as the Berkeley Aerobot Team (BEAR) helicopters. The Problem: intensive use of embedded software in complex physical systems, such as aircraft. An overview of the CHESS Center B erkeley E ECS A nnual R esearch S ymposium
-
Upload
graham-mcneil -
Category
Documents
-
view
12 -
download
0
description
Application Space. Application Instance. Platform Mapping. System. Platform (HW and SW). Platform Design-Space Export. Platform Instance. Architectural Space. B erkeley E ECS A nnual R esearch S ymposium. An overview of the CHESS Center. Organization Board of Directors - PowerPoint PPT Presentation
Transcript of An overview of the CHESS Center
http://chess.eecs.berkeley.edu/
February 11, 2010 Center for Hybrid and Embedded Software Systems
Organization
Board of Directors
Edward A. Lee, EECSThomas Henzinger, EECSAlberto Sangiovanni-Vincentelli, EECSShankar Sastry, EECSClaire J. Tomlin, EECS
Other key facultyDave Auslander, MEAhmad Bahai, EECSRuzena Bajcsy, EECSRas Bodik, EECSKarl Hedrick, MEKurt Keutzer, EECSGeorge Necula, CSKoushik Sen, CSSanjit Seshia, EECSMasayoshi Tomizuka, MEPravin Varaiya, EECS
StaffChristopher Brooks, EECSCharlotte M. Jones, EECSGladys Khoury, EECSMary Stewart, EECSStavros Tripakis, EECS
Affiliated facultyJanos Sztipanovits, Vanderbilt, ECEGautam Biswas, Vanderbilt, Computer ScienceBela Bollobas, University of Memphis, MathematicsGabor Karsai, Vanderbilt, ECEJonathan Sprinkle, University of Arizona, ECE
Cyber-Physical Systems"A cyber-physical system (CPS) integrates computing and communication capabilities with monitoring and / or control of entities in the physical world dependably, safely, securely, efficiently and in real-time." - S. Shankar Sastry
MissionThe goal of the Center is to provide an environment for graduate research on the design issues necessary for supporting next-generation embedded software systems. The research focus is on developing model-based and tool-supported design methodologies for real-time fault-tolerant software on heterogeneous distributed platforms.
CHESS provides industry with innovative software methods, design methodology and tools while helping industry solve real-world problems. CHESS is defining new areas of curricula in engineering and computer science which will result in solving societal issues surrounding aerospace, automotive, consumer electronics and medical devices.
Research• Hybrid systems theory and practice• Programming models for embedded control systems• Semantics of modeling languages and methods• Applications in automotive, avionics, sensor networks, and biology• Embedded virtual machines for portable, mobile real-time code• Experimental software platforms (Ptolemy, Metropolis, Giotto, etc.)• Design transformation technology (component specialization, code gen.)• Verification of temporal and safety properties of software• Visual syntaxes for system design
Software engineering today is based on principles that abstract away key semantic properties embedded systems, such as time. The result is ad-hoc architectures and brittle systems.
Embedded software architecture tomorrow will
be built on sound principles that reflect the
interaction of the software with the physical world.
CHESS SoftwareExamples of CHESS software include:
• HyVisual, a block-diagram editor and simulator for continuous-time and hybrid systems (shown at the left)
• Clotho - Platform-based Design of synthetic biological systems
• CHIC, a modular verifier for behavioral compatibility of software and hardware component interfaces.
• Metropolis, a design environment for heterogeneous systems
• MetroII, enhancements to Metropolis: heterogeneous IP import, orthogonalization of performance from behavior
• Precision Timed (PRET) Architecture Simulator.
• Ptolemy II, a software laboratory for concurrent models of computation
• VisualSense, a visual editor and simulator for wireless sensor network systems.
• Viptos, a block-diagram editor and simulator for TinyOS Systems.
.
Hybrid system model of Newton’s Cradle, built using HyVisual.
The Problem: intensive use of embedded software in complex physical systems, such as cars.
The research laboratory: software frameworks and test systems such as the Toyota test cell for engine control technology.
PlatformDesign-Space
Export
PlatformMapping
Architectural Space
Application SpaceApplication Instance
Platform Instance
SystemPlatform (HW and SW)
The research laboratory: software frameworks and test systems such as the Berkeley Aerobot Team (BEAR) helicopters.
The Problem: intensive use of embedded software in complex physical systems, such as aircraft.
An overview of the CHESS Center
Berkeley
EECS
Annual
Research
Symposium
