Am 9. Januar 2013 fand das Kick-Off des Projektes VASCO statt. VASCO ist eine von OFFIS eingeworbene Direktbeauftragung der ESA. In Kooperation mit Astrium Bremen und dem belgischen SME Symbio wird während der Projektlaufzeit eine Methode zur formalen Verifikation von Aspekten der Interaktion zwischen Mensch und Automation im Raumfahrtbereich entwickelt.

Das Projekt verfolgt einen holistischen Ansatz der Systemanalyse, bei dem die oft als „weich“ betrachteten Fragestellungen zur Interaktion zwischen Mensch und Maschine durch formale Modelle konkretisiert werden, um sie schließlich mit automatisierten Verifikationsmethoden zu untersuchen. Während der einjährigen Projektlaufzeit sollen die Möglichkeiten und Grenzen eines solchen Ansatzes untersucht werden und anhand eines bereits im Betrieb befindlichen Subsystems des Columbus-Moduls der Internationalen Raumstation ISS  evaluiert werden.