Development of a systems-level design language

Abstract

This project will result in design tools and technologies that will facilitate the creation of complex, heterogeneous systems that meet requirements. From a more pure-research perspective, this project will also lay the foundation for further work into modeling language development and the application of verification and validation techniques to system design.