Fraunhofer Center for Experimental Software Engineering Maryland (FC-MD)1, Johns Hopkins University Applied Physics Laboratory Space Department Ground Applications Group (APL)2, Goddard Space Flight Center (GSFC)3,
Systems often collaborate to form a system-of-systems (SoS) and together fulfill some larger task. Correctness and performance issues in the interaction between participating systems are frequent occurrences and decrease the reliability of the entire SoS. We are currently developing an analysis framework to automatically compare a model of the desired interaction behavior (specification) to a model that is retrieved from the system execution and detect deviations between the two. The specification, the observed interaction behavior, and the evaluation result are presented in behavioral diagrams to be analyzed by the user.