The mission of the Unified System Construction project is to advance the state of the art in system-level design automation by means of the following:

•  training design automation researchers for careers in academia and industry,
• developing formal models for system design that support communication of the problems being approached and verification of the design software produced, and
• demonstrating the use of the formal models in synthesis and prediction tools.