: Zur Beherrschung der komplexen vernetzten und verteilten Funktionen von Automotive-Software ist eine Beschreibung des zu erstellenden Systems auf verschiedenen Abstraktionsebenen und schrittweise ¨Uberg¨ange zwischen diesen Ebenen notwendig. Neben der Definition geeigneter Ebenen werden zur Unterst¨utzung echtzeitkritischer Systemanteile ein einheitliches Berechnungsmodell, ebenenspezifische Beschreibungstechniken, sowie methodische Regeln f¨ur diese Abstraktionsebenen eingef¨uhrt und in den Werkzeugprototypen AutoFOCUS integriert. 1 Einleitung Die st¨andig zunehmende Gesamtkomplexit¨at von Elektronikfunktionen im Automobil, verbunden mit dem steigenden Vernetzungsgrad von urspr¨unglich isolierten Funktionen, stellt hohe Anforderungen an eine Entwicklungsmethodik f¨ur Automotive-Software. Dabei sollte die Interoperabilit¨at von Funktionen bereits in fr¨uhen Stadien der Entwicklung evaluiert werden k¨onnen. Hierzu ist eine explizite Modellierung der Abh¨angigkeiten zwis...