In dieser Diplomarbeit wird eine Spezifikation einer CAN-Bus gesteuerten Kraftfahrzeugt"ure in der formalen Beschreibungssprache SDL erstellt. Diese Spezifikation erfolgt mit Hilfe der Entwicklungsumgebung ObjectGEODE®. Am Beispiel dieser steuerungstechnischen Aufga- benstellung wird die Spezifikationssprache SDL auf ihre Eignung zur Beschreibung allgemei- ner technischer Prozesse untersucht. Es werden die Vor- und Nachteile von SDL und dem verwendeten Werkzeug f"ur den gegebenen Anwendungsfall getrennt betrachtet. Die Spezifikation wird durch die Simulation im verwendeten Framework validiert. Die Schnitt- stellen zur Umgebung und die zeitlichen Randbedingungen werden in Form von Use Cases in MSC erstellt und bilden eine Testumgebung f"ur die Spezifikation der Kraftfahrzeugt"ure. Aus der Spezifikation der Kraftfahrzeugt"ure wird mit Hilfe der Entwicklungsumgebung C Code generiert. Dieser C Code wird auf seine Strukturierung, Weiterverwendbarkeit und Effizienz untersucht. Die Durchf"uhrung der Diplomarbeit erfolgt nach dem IAS-Vorgehensmodell.