Statement of Work

Center for Hybrid Embedded Software Systems ("Chess")

ABSTRACT

The attached statement of work and timeline of the progress to be made on the ITR is a first draft for the cooperative agreement to be executed between NSF and the University of California, Berkeley. We expect to refine the statement of work and deliverables during the course of a 3-month planning period prior to the kick off of the project. Before the kickoff of the ITR we expect to have the different advisory bodies for the project and the centers at Berkeley and Vanderbilt to be appointed and appropriate intellectual property agreements worked out with industrial partners. The general principle guiding the intellectual property agreements is based on the research on this project being open source. We expect to work with the NSF Program Manager to finalize these details during the planning period.

The proposed research program has four focus areas: hybrid systems theory, model-based design, advanced tool architectures, and experimental research. Hybrid systems theory will build the mathematical foundation of Moderns Systems Science (MSS). This foundation needs to be grounded both in the continuous mathematics of physical processes and the discrete mathematics of computational processes. Model-based design will build a scalable methodology for systems design and analysis based on hybrid systems theory. Model-based design controls complexity by supporting the manipulation and integration of models for multiple design aspects. Advanced tool architectures will provide software support for model-based design. An open software infrastructure will accommodate design and analysis tools as inter-operating components. Experimental research will guide the theory and tool development. Special emphasis will be on applications with societal impact, such as networked embedded systems for environmental monitoring and embedded control systems that address national and homeland security needs. The overarching theme in our research is compositionality. We will pursue compositionality in hybrid system theory, we will use composable models and model manipulation methods in model-based design, and we will investigate composable tool architectures that enable the rapid integration of domain-specific design environments. Compositionality enables the separation of orthogonal concerns, and the integration and reuse of solutions (theories, models, tools), and thus makes the significant objectives of this project feasible.