Foundations for Hybrid and Embedded Systems
This National Science Foundation Information Technology Research ITR project is aimed at developing the foundations of a modern systems science that is simultaneously computational and physical; it remarries time, concurrency, robustness, continuums, and resource management to computation. The project is a consortium of the Center for Hybrid and Embedded Software Systems (CHESS) at the University of California at Berkeley (UCB), the Institute for Software Integrated Systems (ISIS) at Vanderbilt (VU), and the Department of Mathematical Sciences at the University of Memphis (UM). The research program has four focus areas: hybrid systems theory, model-based design, advanced tool architectures, and experimental research. 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.
The figure shows the Model-Integrated Computing perspective on the project. Embedded Computing Applications are defined by Application Specific and Platform Specific Models and are deployed on embedded computing platforms. Implementation platforms typically include RTOS, middleware services and customizable library components. Application development is supported by Domain Specific Tool environments, which are an integrated suite of Modeling and Analysis tools and Model-based Generators. Domain-Specific Tool environments are composed of Domain Independent tools by using Meta-Modeling and Meta-Generator technology and an Open Tool Integration Framework.