MIC Tools for Exploration Systems (MICTES)

PI: Gabor Karsai

Sponsor: NASA

This NASA-supported project investigates the use of model-integrated computing techniques for building software for spacecraft systems. The main focus is on the application of model-based tools in software construction and the verification of model transformations and code generators. (2006-)