ULISSE is an on-going FP7 integrated project aiming at establishing a knowledge-enabled, service oriented framework for the acquisition, access, sharing, collaboration and use of heterogeneous data sourced from space experiments. The data in ULISSE is described using Topic Maps, and lately 9 domain specific Topic Maps ontologies were created by Space Application Services and the different domain experts.

Our role in this project is in the design of model checking algorithms for automatic verification of on board procedures.