Modeling, analysis and implementation of infrastructure for model-based integration and testing

To reduce the integration and test effort for 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. In the presented approach, a model of the infrastructure design is included during model-based system analysis. Subsequently, a corresponding model-based integration infrastructure is used to integrate and test combined models and realizations. Applications of this approach to examples of typical interaction types and to a realistic industrial case study prove to be rather straightforward, allowing proper analysis of system and infrastructure properties, which remain valid during model-based integration and system testing