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
Abstract
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 2009
- Accession Number
- ADA501858
Entities
People
- Bruce H. Krogh
- Claire J. Tomlin
- Edmund M. Clarke
- Edward A. Lee
- G. Karsai
- J. Sztipanovits
- S. Sastry
- Stephen Boyd
Organizations
- Vanderbilt University