Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems. Multi-University Research Initiative on High-Confidence Design for Distributed Embedded Systems

摘要

This project aims to develop a comprehensive approach to the model- based design of high-confidence distributed embedded systems. We will take advantage and fully leverage a shared theoretical foundation and technology infrastructure in four focus areas: hybrid and embedded systems theory, model- based software design, composable tool architectures and experimental testbeds. The objectives of our research in the focus areas are the following: (1) Develop theory of deep composition of hybrid systems with attributes of computational and communication platforms. (2) Develop foundations of model- based software design for high-confidence, networked embedded systems applications. (3) Develop composable tool architecture that supports high-level reusability of modeling, model-analysis, verification and testing tools in domain-specific tool chains. (4) Demonstrate the overall effort by creating an end-to-end design tool chain prototype for the model-based generation and verification of embedded controller code for experimental platforms.