An automated semantic based approach for creating task structures Diese Arbeit ist im Bereich der sicherheitskritischen eingebetteten Systeme angesiedelt und stellt ein automatisiertes formal fundiertes Verfahren vor um aus einem Simulink Modell eine optimierte Task Struktur zu erstellen. Auf Basis eines erweiterten Tasknetzwerk Formalismus wird dazu zunächst eine formale Übersetzungsvorschrift auf Simulink Block Ebene definiert. Da die so entstehenden Tasks sehr feingranular und unausgewogen hinsichtlich ihres benötigten Rechenbedarfs (sogenanntes Taskgewicht) sind wird in einem zweiten Schritt eine optimierte Task Struktur gebildet indem Tasks miteinander verschmolzen werden. Dabei wird als Optimierungsziel die Kommunikation zwischen Tasks minimiert und die Taskgewichte balanciert. Zudem wird formal nachgewiesen dass sowohl die Übersetzung als auch die Verschmelzung von Tasks die Ausführungssemantik von Simulink erhält. Der komplette Ansatz wurde in Form einer automatisierten Werkzeugkette implementiert und anhand einer Fallstudie evaluiert. <dt.> This work is settled in the area of safety critical embedded systems and presents a formally funded approach for automatically creating an optimized task structure from a Simulink model. Based on an extended task network formalism in a first step a formal translation scheme on Simulink block level is defined. Because the resulting tasks are very fine grained and unbalanced with respect to their required computation demand (denoted as task weight) in a second step an optimized task structure is created by formally merging tasks with each other. Here the optimization goal is to minimize inter task communication and to balance the weights of tasks. Additionally it is formally proven that both the translation and the merging of tasks preserves the formal execution semantics of Simulink. The whole approach was implemented as an automated tool chain and evaluated with the help of a case study. <engl.>