Modellbasierte Absicherung von GENIVI-Schnittstellen

Da in Multi-Vendor-Plattformen wie GENIVI einzelne Komponenten von unterschiedlichen Zulieferern stammen können, müssen die Schnittstellen bereits frühzeitig im Entwurfsprozess definiert und abgesichert werden. Dazu wird ein modellbasierter Ansatz vorgestellt, der eine Modellierung, Simulation und Überprüfung der Komponenten-Schnittstellen ermöglicht.