Rupture of the Spleen in Infectious Mononucleosis

Abstract

To reduce the lead time and the costs of integrating and testing high-tech multi-disciplinary systems, we use formal and executable models of components for early system analysis and for early integration and testing with available component realizations. In this paper, we investigate the role of the infrastructure that establishes the interaction between the components. We include a model of the infrastructure for early system analysis and we implement a corresponding integration infrastructure to integrate and test models and realizations. Application of this approach to examples of typical interaction types proves to be rather straightforward, allowing proper analysis of system and infrastructure properties, which remain valid during model-based integration and system testing.