Search Results

Car infotainment systems feature an increasing number of functions to keep pace with consumer needs. The GENIVI Alliance aims to facilitate this evolution of infotainment systems by developing a common baseline where services of different suppliers can easily be integrated on a single hardware platform. Since the huge number of services creates more dependencies and interactions, more effort is required to ensure the same level of quality. We present a novel approach and effective tooling to reduce the effort for the interface verification of in-vehicle software components. Our models create different views of the system. Consistency checks and automated transformations between the views reduce the modeling effort and ensure compatible interactions of distributed software components. Layered reference models separate the description of the structure and the behavior of the services' communication.