Moderne software-intensive Anwendungen im Automobilbereich existieren in vielen verschiedenen Varianten. Dies erfordert Modellierungs-, Implementierungs-, und Analysetechniken, welche die Variabilität des Systems in allen Entwicklungsphasen angemessen behandeln können. In meinem Vortrag präsentiere ich die delta-orientierte Modellierung von variantenreichen Systemen. Eine delta-orientierte Produktlinie wird durch ein Kernprodukt und eine Menge von Produktdeltas repräsentiert, die das Kernprodukt modifizieren, um weitere Produktvarianten zu realisieren. Die delta-orientierte Modellierung kann in einen durchgängenen modellbasierten Entwicklungsprozess für variantenreiche Systeme integriert werden, den ich anhand des Architekturentwurfs und der anschließenden Komponentenimplementierung illustriere. Unter Verwendung der Programmiersprache DeltaJava demonstriere ich die generative Erzeugung von Programmvarianten und deren syntaktischeKonsistenzprüfung durch ein constraint-basiertes Typsystem. Für die effiziente Analyse von funktionalen Systemeigenschaften stelle ich inkrementelle und kompositionale Verifikationstechniken vor.