Specification and generation of adapters for system integration

Large systems-of-systems are developed by integrating several smaller systems that have been developed independently. System integration often requires adaptation mechanisms for bridging any technical incompatibilities between the systems. In order to develop adapters in a faster way, we study ways to generate adapters from a model-based specification. In particular, we consider techniques from the fields of control theory and database theory. We illustrate and evaluate these techniques using an example from the domain of maritime safety and security