Foundations of Hybrid and Embedded Software and Systems

Foundations of Hybrid and Embedded Software and Systems University of California, Berkeley, CHESS Vanderbilt University, ISIS Memphis State, Mathematics

NSF-ITR Investigators Alex Aiken, Ras Bodik, Bella Bollobas, Gautam Biswas, Tom Henzinger, Kenneth Frampton, Gabor Karsai, Kurt Keutzer, Edward Lee, George Necula, Alberto Sangiovanni Vincentelli, Shankar Sastry, Janos Sztipanovits, Pravin Varaiya.

ITR-Center Mission n The goal of the ITR is to provide an environment for graduate research on the design issues necessary for supporting next-generation embedded software systems. n The research focus is on developing model-based and toolsupported design methodologies for real-time fault-tolerant software on heterogeneous distributed platforms. n The Center maintains a close interaction between academic research and industrial experience. n A main objective is to facilitate the creation and transfer of modern, "new economy" software technology methods and tools to "old economy" market sectors in which embedded software plays an increasingly central role, such as aerospace, automotive, and consumer electronics.

Key Properties of Hybrid & Embedded Software Systems n Computational systems n but not first-and-foremost a computer n Integral with physical processes n sensors, actuators n Reactive n at the speed of the environment n Heterogeneous n hardware/software, mixed architectures n Networked n adaptive software, shared data, resource discovery

The Embedded Software Challenge Problem indicators: Process D M A m. C Embedded Software FPGA DSP ROM Process • Integration cost is too high (40 -50%) • Cost of change is too high • Design productivity crisis Root cause of problems is the emerging new role of embedded software systems: • exploding integration role • new functionalities • expected source of flexibility in systems PROBLEM: lack of Design Technology aligned with the new role.

Embedded Software: Today’s Techniques Won’t Do Largely missing: • • Abstraction (especially time) Compositionality Inheritance & polymorphism Portability & reusability Connectivity Verifiability & reliability Robustness

Project Approach n Model-Based Design (the view from above) n principled frameworks for design n merging specification, modeling, and design n manipulable (mathematical) models n enabling analysis and verification n enabling effective synthesis of implementations n Platform-Based Design (the view from below) n exposing key resource limitations n hiding inessential implementation details n Tools n concrete realizations of design methods

Foundational Research n The science of computation has systematically abstracted away the physical world. The science of physical systems has systematically ignored computational limitations. Embedded software systems, however, engage the physical world in a computational manner. n We believe that it is time to construct an Integrated Systems Science (ISS) that is simultaneously computational and physical. Time, concurrency, robustness, continuums, and resource management must be remarried to computation. n Mathematical foundation: Hybrid Systems Theory: Modern Integrated Systems Science.

… and Embedded Software Research n Models and Tools: Model-based design (platforms, interfaces, meta-models, virtual machines, abstract syntax and semantics, etc. ) n Tool-supported design (simulation, verification, code generation, inter-operability, etc. ) n n Applications: Flight control systems n Automotive electronics n National experimental embedded software platform n n From resource-driven to requirements-driven embedded software development.

Some Current Research Focus Areas n Software architectures for actor-oriented design n Interface theories for component-based design n Virtual machines for embedded software n Semantic models for time and concurrency n Design transformation technology (code generation) n Visual syntaxes for design n Model checking hybrid systems n Autonomous helicopters n Automotive systems design • Mobies • SEC • Fresco • Ptolemy • Metropolis • BEAR

“Center” Organization n Funding Sources Large NSF ITR n Other federal (NSF, DARPA, MURI, etc. ) n Industrial (Participating Member Companies): IT and applications (automotive, aerospace, consumer electronics) n n Outreach Curriculum development n Community colleges (EECS 20) n SUPERB program n SIPHER program n n National Experimental Platform for Hybrid and Embedded Systems and Software

NSF ITR Organization n PI: Shankar Sastry n co. PIs: Tom Henzinger, Edward Lee, Alberto Sangiovanni. Vincentelli, Janos Sztipanovits n Participating Institutions: UCB, Vanderbilt, Memphis State n Five Thrusts: n Hybrid Systems Theory (Henzinger) n Model-Based Design (Sztipanovits) n Tool-Supported Architectures (Lee) n Experimental Applications: automotive (ASV), aerospace (Sastry) n Education and Outreach (Karsai, Lee, Varaiya) n Five year project: kick-off meeting November 14, 2002 Run up planning: development of cooperative agreement n Weekly seminar series n

Thrust 1 Hybrid Systems n Deep Compositionality n Assume Guarantee Reasoning for Hybrid Systems n Practical Hybrid System Modeling Language n Interface Theory for hybrid components n Robust Hybrid Systems n Bundle Properties for hybrid systems n Topologies for hybrid systems n Stochastic hybrid systems n Computational hybrid systems n Approximation techniques for H-J equations n Synthesis of safe and live controllers for hybrid systems n Phase Transitions

Thrust II: Model Based Design n Composition of Domain Specific Modeling Languages Meta Modeling n Components to manipulate meta-models n Integration of meta-modeling with hybrid systems n n Modal Synthesis Using Design Patterns n Pattern Based Modal Synthesis n Models of Computation n Design Constraints and Patterns for MMOC n Model Transformation n Meta Generators n Scalable Models n Construction of Embeddable Generators

Thrust III: Advanced Tool Architectures n Syntax and Synthesis n Semantic Composition n Visual Concrete Syntaxes n Modal Models n Interface Theories n Virtual Machine Architectures n Components for Embedded Systems

Thrust IV: Applications n Embedded Control Systems n Avionics n Veitronics n Wireless Embedded Systems n Embedded Systems for National/Homeland Security Air Traffic Control n UAVs/UGVs n n Networks of Distributed Sensors n Hybrid Models in Structural Engineering n Active Noise Control n Vibration damping of complex structures

Thrust V: Education and Outreach n Curriculum Development for MSS n Lower Division n Upper Division n Graduate Courses n Undergrad Course Insertion and Transfer n Goals and ABET requirement n New courses for partner institutions n Introduction of new courses n New elective courses n Expansion of SUPERB program n Summer Internship Program in Embedded Software Research (SIPHER)

Management Plan n Executive Board (Pis and co-Pis) n Thrust Leaders n Hybrid Systems: Henzinger n Model Based Tool Design: Sztipanovits n Integrated Tool Architectures: Lee n Applications: Sangiovanni-Vincentelli n Education: Lee, Varaiya n Outreach: Karsai, Williams n Scientific Advisory Board n Industry n NSF and Darpa PMs n Other Academia: Stanford, Penn, CMU, Artiste

Success Metrics n Research n Model Based Design Methodologies n Open Source Tools n National Security n Homeland Security n Education n Undergrad + SUPERB n Graduate n Outreach to Community Colleges n Outreach to Research n Industry Outreach n NEPHEST n Avionics n Veitronics n Consumer Electronics